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.0936									12-02-15.1341									12-02-16.0031									12-02-16.0901									12-02-16.0927
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5611									-r5613									-r5621									-r5622									-r5623
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	86	1499.95	1306.48	1040.514	5.864	11	0	0	3.261	86	738.68	527.98	492.781	6.336	674	602	66	218.515	86	754.34	543.22	491.004	7.453	674	602	66	217.769	86	753.42	543.79	492.815	6.898	674	602	66	218.032	86	734.24	554.94	429.535	6.345	673	601	66	217.766
correct results	25	276.20	239.43	228.954	1.532	11	0	0	3.261	12	182.50	124.54	120.302	1.136	111	109	0	35.693	12	182.64	124.24	120.029	1.117	111	109	0	34.292	12	182.98	125.05	120.927	1.151	111	109	0	34.415	11	107.32	63.98	60.439	1.080	91	89	0	31.898
false negatives	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	2	3.32	1.89	1.380	0.006	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 (86 files, max score: 137)	31									14									14									14									12
pthread/fib_bench_BUG.cil.c	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	unknown	1.44	0.80	0.558s	0.001s	1	0	0	0.013s
pthread/fib_bench_longer_BUG.cil.c	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	unknown	1.60	0.97	0.740s	0.000s	1	0	0	0.012s
pthread/reorder_5_BUG.cil.c	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	-	-	-	safe	1.61	0.89	0.619s	0.004s	0	-	-	-
pthread/twostage_3_BUG.cil.c	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	-	-	-	safe	1.71	1.00	0.761s	0.002s	0	-	-	-
pthread/fib_bench.cil.c	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	unknown	1.33	0.77	0.530s	0.000s	1	0	0	0.013s
pthread/fib_bench_longer.cil.c	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	unknown	1.46	0.83	0.599s	0.000s	1	0	0	0.013s
ntdrivers-simplified/diskperf_simpl1.cil.c	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	safe	7.51	4.75	4.443s	0.076s	25	25	0	2.639s
ntdrivers/diskperf.i.cil.c	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	safe	17.75	13.40	13.084s	0.091s	20	20	0	10.570s
ntdrivers/floppy.i.cil.c	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	unknown	21.49	17.32	17.054s	0.052s	41	40	1	14.703s
ssh-simplified/s3_srvr_14_BUG.cil.c	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	unknown	2.14	1.10	0.849s	0.004s	4	3	1	0.150s
ssh-simplified/s3_srvr_6_BUG.cil.c	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	unsafe	9.41	5.99	5.708s	0.061s	16	15	0	3.200s
ssh-simplified/s3_srvr_1a.cil.c	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	unknown	2.12	1.20	0.922s	0.007s	8	7	1	0.154s
ssh-simplified/s3_srvr_1b.cil.c	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	unknown	1.62	0.95	0.689s	0.003s	6	5	1	0.076s
ssh-simplified/s3_srvr_1.cil.c	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	unknown	4.45	2.31	1.995s	0.034s	9	8	1	0.805s
ssh-simplified/s3_srvr_3.cil.c	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	unknown	3.85	1.95	1.685s	0.032s	9	8	1	0.555s
ssh-simplified/s3_srvr_4.cil.c	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	unknown	4.56	2.41	2.145s	0.035s	11	10	1	0.923s
ssh-simplified/s3_srvr_6.cil.c	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	safe	9.14	5.64	5.350s	0.063s	14	14	0	3.220s
ssh-simplified/s3_srvr_8.cil.c	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	unknown	4.59	2.22	1.930s	0.021s	10	9	1	0.798s
ssh/s3_clnt.blast.01.BUG.i.cil.c	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	unknown	8.41	5.55	5.262s	0.035s	13	12	1	3.875s
ssh/s3_clnt.blast.02.BUG.i.cil.c	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	unknown	7.72	4.70	4.418s	0.023s	12	11	1	2.976s
ssh/s3_clnt.blast.03.BUG.i.cil.c	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	unknown	8.10	5.32	5.055s	0.041s	13	12	1	3.671s
ssh/s3_clnt.blast.04.BUG.i.cil.c	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	unknown	7.63	4.73	4.441s	0.039s	12	11	1	3.017s
ssh/s3_srvr.blast.07.BUG.i.cil.c	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	unknown	4.00	2.20	1.954s	0.027s	7	6	1	0.828s
ssh/s3_srvr.blast.08.BUG.i.cil.c	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	unknown	8.24	5.30	5.024s	0.045s	12	11	1	3.565s
ssh/s3_srvr.blast.10.BUG.i.cil.c	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	unknown	8.96	5.92	5.597s	0.047s	12	11	1	4.118s
ssh/s3_srvr.blast.11.BUG.i.cil.c	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	unknown	4.00	2.37	2.056s	0.027s	6	5	1	0.802s
ssh/s3_srvr.blast.13.BUG.i.cil.c	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	unknown	4.16	2.60	2.250s	0.023s	7	6	1	0.900s
ssh/s3_srvr.blast.15.BUG.i.cil.c	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	unknown	7.58	5.10	4.833s	0.033s	11	10	1	3.347s
ssh/s3_clnt.blast.01.i.cil.c	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	unknown	9.28	6.55	6.216s	0.047s	13	12	1	4.616s
ssh/s3_clnt.blast.03.i.cil.c	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	unknown	21.86	18.12	17.848s	0.056s	18	17	1	16.109s
ssh/s3_clnt.blast.04.i.cil.c	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	unknown	8.93	5.96	5.583s	0.043s	13	12	1	4.191s
locks/test_locks_14.BUG.c	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	unknown	2.51	1.41	1.093s	0.012s	16	15	1	0.350s
locks/test_locks_15.BUG.c	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	unknown	2.67	1.42	1.171s	0.014s	17	16	1	0.387s
locks/test_locks_10.c	safe	11.33	9.26	8.856s	0.081s	0	-	-	-	safe	56.42	51.44	51.045s	0.293s	20	20	0	1.142s	safe	57.32	52.77	52.378s	0.305s	20	20	0	1.106s	safe	58.13	53.22	52.810s	0.284s	20	20	0	1.079s	unknown	65.56	61.06	60.703s	0.330s	20	20	0	1.285s
locks/test_locks_11.c	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	unknown	65.07	60.93	60.564s	0.234s	15	15	0	0.782s
heap-manipulation/bubble_sort_linux_BUG.cil.c	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	unknown	2.14	1.17	0.923s	0.003s	2	1	1	0.252s
heap-manipulation/merge_sort_BUG.cil.c	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	unknown	1.63	0.95	0.719s	0.005s	3	2	1	0.121s
heap-manipulation/sll_to_dll_rev_BUG.cil.c	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	unknown	2.70	1.75	1.507s	0.002s	2	1	1	0.900s
heap-manipulation/bubble_sort_linux.cil.c	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	unknown	2.20	1.18	0.934s	0.004s	2	1	1	0.252s
heap-manipulation/merge_sort.cil.c	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	unknown	1.64	0.96	0.709s	0.001s	3	2	1	0.109s
heap-manipulation/sll_to_dll_rev.cil.c	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	unknown	3.03	2.05	1.807s	0.001s	2	1	1	1.123s
list-properties/alternating_list.cil.c	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	unknown	1.38	0.85	0.629s	0.001s	2	1	1	0.068s
list-properties/list.cil.c	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	unknown	1.48	0.87	0.635s	0.001s	2	1	1	0.088s
list-properties/list_flag.cil.c	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	unknown	1.44	0.85	0.609s	0.002s	2	1	1	0.066s
list-properties/simple.cil.c	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	unknown	1.46	0.86	0.629s	0.003s	2	1	1	0.086s
list-properties/simple_built_from_end.cil.c	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	unknown	1.42	0.84	0.615s	0.002s	3	2	1	0.088s
list-properties/splice.cil.c	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	unknown	1.71	0.98	0.742s	0.003s	3	2	1	0.177s
systemc/token_ring.01.BUG.cil.c	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	unknown	3.18	1.92	1.678s	0.026s	12	11	1	0.812s
systemc/token_ring.02.BUG.cil.c	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	unknown	5.77	3.65	3.394s	0.037s	22	21	1	2.361s
systemc/token_ring.03.BUG.cil.c	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	unknown	8.32	5.68	5.422s	0.035s	29	28	1	4.222s
systemc/bist_cell.cil.c	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	unknown	2.50	1.39	1.151s	0.019s	6	5	1	0.404s
systemc/kundu.cil.c	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	unknown	14.88	11.53	11.243s	0.068s	20	19	1	9.321s
systemc/token_ring.01.cil.c	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	unknown	3.02	1.91	1.659s	0.020s	12	11	1	0.784s
systemc/token_ring.04.cil.c	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	unknown	10.88	7.91	7.628s	0.032s	32	31	1	6.381s
ldv-regression/rule60_list2.c-unsafe_1.cil.c	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	unknown	1.61	0.93	0.704s	0.002s	2	1	1	0.145s
ldv-regression/alias_of_return.c-safe.cil.c	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	unknown	1.34	0.75	0.526s	0.000s	2	1	1	0.027s
ldv-regression/alias_of_return.c-safe_1.cil.c	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	unknown	1.30	0.74	0.514s	0.000s	2	1	1	0.022s
ldv-regression/alias_of_return_2.c-safe.cil.c	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	unknown	1.33	0.76	0.525s	0.000s	2	1	1	0.028s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	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	unknown	1.30	0.75	0.523s	0.000s	2	1	1	0.023s
ldv-regression/ex3_forlist.c-safe.cil.c	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	unknown	1.74	1.02	0.791s	0.002s	4	3	1	0.211s
ldv-regression/rule60_list2.c-safe.cil.c	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	unknown	1.82	1.06	0.800s	0.001s	2	1	1	0.144s
ldv-regression/test_malloc-1-safe.cil.c	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	unknown	1.47	0.84	0.615s	0.001s	2	1	1	0.051s
ldv-regression/test_malloc-2-safe.cil.c	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	unknown	1.57	1.05	0.711s	0.001s	2	1	1	0.055s
ldv-regression/test_union_cast-2-safe.cil.c	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	unknown	1.37	0.79	0.562s	0.001s	2	1	1	0.045s
ldv-regression/volatile_alias.c-safe.cil.c	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	unknown	1.44	0.91	0.632s	0.000s	2	1	1	0.028s
ldv-regression/volatile_alias.c-safe_1.cil.c	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	unknown	1.34	0.77	0.542s	0.000s	2	1	1	0.030s
ddv-machzwd/ddv_machzwd_all_BUG.cil.c	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	unknown	5.35	3.63	3.380s	0.024s	9	8	1	2.110s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.c	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	unknown	3.90	2.39	2.159s	0.012s	4	3	1	1.049s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.c	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	unknown	3.48	2.07	1.812s	0.007s	3	2	1	0.735s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	14.01	10.40	10.149s	0.047s	8	7	0	8.204s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	18.69	11.34	11.075s	0.019s	3	2	1	7.207s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	13.30	11.20	10.949s	0.015s	7	6	1	9.867s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	10.83	8.79	8.545s	0.014s	6	5	1	7.388s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	19.19	17.83	17.540s	0.022s	7	6	1	15.709s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	16.55	19.07	18.813s	0.024s	11	10	1	17.176s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	6.86	4.90	4.649s	0.015s	5	4	1	3.350s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	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	safe	10.80	4.76	4.457s	0.026s	1	1	0	0.703s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	65.42	61.59	61.184s	0.180s	0	-	-	-	unknown	92.10	75.30	63.383s	3.757s	4	4	0	10.093s	unknown	106.38	89.91	61.280s	4.820s	4	4	0	10.180s	unknown	106.22	89.54	61.751s	4.205s	4	4	0	10.678s	timeout	119.62	102.35	-	3.496s	4	4	0	8.535s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	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	safe	4.23	2.20	1.922s	0.025s	1	1	0	0.417s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	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	safe	13.62	6.49	6.175s	0.034s	1	1	0	1.085s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	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	safe	8.11	3.45	3.066s	0.096s	1	1	0	0.463s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	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	unknown	6.88	5.29	5.033s	0.011s	5	4	1	4.082s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c	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	safe	8.03	4.37	3.891s	0.511s	2	2	0	0.816s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	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	safe	4.71	2.53	2.194s	0.050s	2	2	0	0.581s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	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	unknown	7.05	5.32	5.054s	0.008s	7	6	1	3.996s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	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	unknown	8.16	5.15	4.865s	0.054s	5	4	1	3.206s