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.1102									12-02-17.1332									12-02-17.1352									12-02-17.1414									12-02-19.0042
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5647									-r5654									-r5655									-r5656									-r5662
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	42	289.64	210.44	186.419	3.866	195	155	30	90.945	42	116.63	64.53	0.691	0.000	1	0	0	0.026	42	114.84	66.10	0.636	0.000	1	0	0	0.017	42	304.19	221.61	185.239	4.641	195	155	30	91.307	42	284.15	205.00	182.116	4.513	197	156	30	87.196
correct results	4	22.55	15.61	12.324	0.037	20	16	0	5.337	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	4	23.39	12.76	11.702	0.039	20	16	0	5.262	5	24.44	15.62	14.233	0.043	22	17	0	5.538
false negatives	1	2.06	3.15	1.602	0.003	2	2	0	0.133	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1.96	1.03	0.789	0.003	2	2	0	0.112	1	2.16	3.20	1.796	0.006	2	2	0	0.151
false positives	3	5.31	3.11	2.323	0.004	3	0	0	0.203	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	3.68	2.05	1.550	0.002	2	0	0	0.182	2	3.57	1.93	1.446	0.000	2	0	0	0.191
score (42 files, max score: 69)	-5									0									0									-3									-2
pthread/queue_BUG.cil.c	safe	2.06	3.15	1.602s	0.003s	2	2	0	0.133s	exception	1.84	1.03	-	-	-	-	-	-	exception	1.82	0.96	-	-	-	-	-	-	safe	1.96	1.03	0.789s	0.003s	2	2	0	0.112s	safe	2.16	3.20	1.796s	0.006s	2	2	0	0.151s
pthread/queue_ok.cil.c	safe	2.18	4.21	1.723s	0.004s	2	2	0	0.161s	exception	2.01	1.13	-	-	-	-	-	-	exception	1.75	0.95	-	-	-	-	-	-	safe	1.83	0.98	0.741s	0.000s	2	2	0	0.123s	safe	2.30	3.34	3.015s	0.004s	2	2	0	0.186s
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	7.44	5.23	4.954s	0.012s	13	12	0	3.464s	exception	2.77	1.47	-	-	-	-	-	-	exception	2.25	4.28	-	-	-	-	-	-	unsafe	7.04	4.74	4.493s	0.023s	13	12	0	3.213s	unsafe	7.62	5.26	4.958s	0.024s	13	12	0	3.657s
ntdrivers/parport.i.cil.c	unknown	14.46	10.19	9.919s	0.031s	12	11	1	7.858s	exception	11.33	8.19	-	-	-	-	-	-	exception	11.77	8.40	-	-	-	-	-	-	unknown	13.37	10.44	10.162s	0.025s	12	11	1	7.349s	unknown	14.40	10.50	10.227s	0.034s	12	11	1	8.254s
ssh/s3_clnt.blast.01.BUG.i.cil.c	unknown	8.97	6.04	5.741s	0.041s	13	12	1	4.246s	exception	2.06	1.12	-	-	-	-	-	-	exception	1.86	1.01	-	-	-	-	-	-	unknown	8.78	5.98	5.662s	0.047s	13	12	1	4.200s	unknown	8.34	5.64	5.364s	0.040s	13	12	1	3.914s
ssh/s3_clnt.blast.02.BUG.i.cil.c	unknown	8.36	5.43	5.146s	0.042s	12	11	1	3.495s	exception	1.92	1.04	-	-	-	-	-	-	exception	1.90	1.07	-	-	-	-	-	-	unknown	8.17	5.25	4.978s	0.055s	12	11	1	3.394s	unknown	7.84	5.01	4.751s	0.051s	12	11	1	3.301s
ssh/s3_clnt.blast.03.BUG.i.cil.c	unknown	7.99	5.23	4.902s	0.026s	13	12	1	3.482s	exception	2.00	1.06	-	-	-	-	-	-	exception	1.84	1.01	-	-	-	-	-	-	unknown	8.02	5.45	5.188s	0.037s	13	12	1	3.880s	unknown	7.98	5.28	4.992s	0.036s	13	12	1	3.656s
ssh/s3_clnt.blast.04.BUG.i.cil.c	unknown	7.90	5.17	4.908s	0.055s	12	11	1	3.379s	exception	1.88	1.03	-	-	-	-	-	-	exception	1.86	1.00	-	-	-	-	-	-	unknown	7.59	5.03	4.635s	0.036s	12	11	1	3.290s	unknown	7.82	4.88	4.620s	0.047s	12	11	1	3.130s
ssh/s3_clnt.blast.01.i.cil.c	unknown	9.68	6.57	6.249s	0.050s	13	12	1	4.686s	exception	2.03	1.10	-	-	-	-	-	-	exception	1.89	1.04	-	-	-	-	-	-	unknown	8.86	6.01	5.744s	0.058s	13	12	1	4.341s	unknown	8.34	5.51	5.264s	0.047s	13	12	1	4.066s
ssh/s3_clnt.blast.03.i.cil.c	unknown	21.49	17.72	17.466s	0.056s	18	17	1	15.735s	exception	2.10	1.14	-	-	-	-	-	-	exception	1.86	1.03	-	-	-	-	-	-	unknown	21.20	17.32	17.056s	0.061s	18	17	1	15.336s	unknown	19.14	15.63	15.377s	0.038s	18	17	1	13.992s
ssh/s3_clnt.blast.04.i.cil.c	unknown	8.72	5.77	5.454s	0.042s	13	12	1	4.000s	exception	1.74	0.99	-	-	-	-	-	-	exception	1.96	1.09	-	-	-	-	-	-	unknown	8.93	6.14	5.874s	0.031s	13	12	1	4.456s	unknown	8.41	5.63	5.370s	0.043s	13	12	1	4.105s
heap-manipulation/bubble_sort_linux_BUG.cil.c	unknown	2.64	1.44	1.165s	0.004s	2	1	1	0.292s	exception	2.13	1.10	-	-	-	-	-	-	exception	2.13	1.25	-	-	-	-	-	-	unknown	2.52	1.36	1.088s	0.001s	2	1	1	0.298s	unknown	2.33	1.19	0.951s	0.003s	2	1	1	0.287s
heap-manipulation/merge_sort_BUG.cil.c	unknown	1.92	1.03	0.791s	0.002s	3	2	1	0.124s	exception	1.87	1.04	-	-	-	-	-	-	exception	1.87	1.06	-	-	-	-	-	-	unknown	2.08	1.14	0.881s	0.000s	3	2	1	0.156s	unknown	1.97	1.02	0.748s	0.003s	3	2	1	0.121s
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	3.03	1.85	1.583s	0.003s	2	1	1	0.943s	exception	1.90	1.07	-	-	-	-	-	-	exception	1.65	0.96	-	-	-	-	-	-	unknown	2.90	1.77	1.527s	0.001s	2	1	1	0.898s	unknown	2.89	1.78	1.541s	0.008s	2	1	1	0.891s
heap-manipulation/bubble_sort_linux.cil.c	unknown	2.54	1.26	0.998s	0.002s	2	1	1	0.264s	exception	1.84	1.01	-	-	-	-	-	-	exception	1.98	1.03	-	-	-	-	-	-	unknown	2.46	1.25	0.977s	0.003s	2	1	1	0.282s	unknown	2.44	1.27	1.028s	0.007s	2	1	1	0.330s
heap-manipulation/merge_sort.cil.c	unknown	1.97	1.09	0.849s	0.000s	3	2	1	0.128s	exception	1.68	0.89	-	-	-	-	-	-	exception	1.72	0.91	-	-	-	-	-	-	unknown	1.90	0.97	0.740s	0.005s	3	2	1	0.120s	unknown	1.79	0.98	0.721s	0.003s	3	2	1	0.116s
heap-manipulation/sll_to_dll_rev.cil.c	unknown	3.26	2.08	1.833s	0.004s	2	1	1	1.188s	exception	1.78	0.98	-	-	-	-	-	-	exception	1.77	0.96	-	-	-	-	-	-	unknown	3.08	1.99	1.754s	0.003s	2	1	1	1.042s	unknown	3.12	1.95	1.718s	0.006s	2	1	1	1.066s
list-properties/alternating_list.cil.c	unknown	1.64	0.90	0.646s	0.001s	2	1	1	0.070s	exception	1.76	0.91	-	-	-	-	-	-	exception	1.74	0.99	-	-	-	-	-	-	unknown	1.56	0.85	0.620s	0.001s	2	1	1	0.074s	unknown	1.62	0.89	0.668s	0.000s	2	1	1	0.076s
list-properties/list.cil.c	unknown	1.71	0.94	0.692s	0.001s	2	1	1	0.089s	exception	1.67	0.94	-	-	-	-	-	-	exception	1.68	1.03	-	-	-	-	-	-	unknown	1.73	0.91	0.677s	0.003s	2	1	1	0.095s	unknown	1.73	0.89	0.669s	0.002s	2	1	1	0.095s
list-properties/list_flag.cil.c	unknown	1.74	1.00	0.768s	0.001s	2	1	1	0.095s	exception	1.65	0.95	-	-	-	-	-	-	exception	1.84	1.11	-	-	-	-	-	-	unknown	1.64	0.93	0.685s	0.003s	2	1	1	0.075s	unknown	1.68	0.88	0.640s	0.000s	2	1	1	0.080s
list-properties/simple.cil.c	unknown	1.64	0.90	0.653s	0.002s	2	1	1	0.089s	exception	1.62	0.94	-	-	-	-	-	-	exception	1.70	0.92	-	-	-	-	-	-	unknown	1.69	0.90	0.647s	0.003s	2	1	1	0.095s	unknown	1.73	0.94	0.713s	0.002s	2	1	1	0.098s
list-properties/simple_built_from_end.cil.c	unknown	1.66	0.97	0.715s	0.001s	3	2	1	0.086s	exception	1.61	0.85	-	-	-	-	-	-	exception	1.65	0.91	-	-	-	-	-	-	unknown	1.66	0.89	0.667s	0.002s	3	2	1	0.117s	unknown	1.68	0.90	0.670s	0.002s	3	2	1	0.095s
list-properties/splice.cil.c	unknown	1.99	1.13	0.876s	0.002s	3	2	1	0.210s	exception	1.71	0.99	-	-	-	-	-	-	exception	1.80	1.00	-	-	-	-	-	-	unknown	2.08	1.09	0.813s	0.002s	3	2	1	0.188s	unknown	2.07	1.12	0.833s	0.003s	3	2	1	0.194s
ldv-regression/fo_test.c-unsafe.cil.c	unknown	1.31	0.73	-	-	-	-	-	-	unknown	1.20	0.67	-	-	-	-	-	-	unknown	1.08	0.61	-	-	-	-	-	-	unknown	1.10	0.62	-	-	-	-	-	-	unsafe	1.74	0.90	0.665s	0.002s	2	1	0	0.058s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.61	0.92	0.677s	0.000s	2	0	0	0.025s	exception	1.56	0.84	-	-	-	-	-	-	exception	1.42	0.77	-	-	-	-	-	-	unsafe	1.58	0.87	0.634s	0.000s	2	0	0	0.024s	unsafe	1.56	0.90	0.672s	0.000s	2	0	0	0.023s
ldv-regression/alias_of_return.c-safe.cil.c	unknown	1.66	1.02	0.689s	0.000s	2	1	1	0.027s	exception	1.64	0.91	-	-	-	-	-	-	exception	1.54	0.77	-	-	-	-	-	-	unknown	1.56	0.88	0.610s	0.000s	2	1	1	0.033s	unknown	1.48	0.77	0.550s	0.001s	2	1	1	0.030s
ldv-regression/alias_of_return.c-safe_1.cil.c	unknown	1.79	1.08	0.733s	0.000s	2	1	1	0.031s	exception	1.62	0.84	-	-	-	-	-	-	exception	1.58	0.84	-	-	-	-	-	-	unknown	1.59	0.84	0.603s	0.001s	2	1	1	0.024s	unknown	1.47	0.78	0.550s	0.000s	2	1	1	0.023s
ldv-regression/alias_of_return_2.c-safe.cil.c	unknown	1.77	1.07	0.814s	0.000s	2	1	1	0.033s	exception	1.46	0.81	-	-	-	-	-	-	exception	1.52	0.86	-	-	-	-	-	-	unknown	1.49	0.84	0.555s	0.001s	2	1	1	0.030s	unknown	1.46	0.77	0.543s	0.000s	2	1	1	0.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	unknown	1.64	0.98	0.667s	0.000s	2	1	1	0.026s	exception	1.57	0.88	-	-	-	-	-	-	exception	1.56	0.79	-	-	-	-	-	-	unknown	1.67	0.86	0.613s	0.000s	2	1	1	0.030s	unknown	1.52	0.79	0.559s	0.000s	2	1	1	0.024s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unknown	1.83	1.14	0.819s	0.000s	2	0	0	0.027s	exception	1.54	0.87	-	-	-	-	-	-	exception	1.46	0.75	-	-	-	-	-	-	unknown	1.66	0.96	0.716s	0.001s	2	0	0	0.030s	unknown	1.54	0.87	0.647s	0.000s	2	0	0	0.028s
ldv-regression/nested_structure-safe.cil.c	unsafe	1.80	0.96	0.684s	0.000s	1	0	0	0.050s	exception	1.61	0.89	-	-	-	-	-	-	exception	1.44	0.79	-	-	-	-	-	-	unsafe	1.74	0.98	0.734s	0.001s	1	0	0	0.052s	unsafe	1.76	0.98	0.738s	0.000s	1	0	0	0.067s
ldv-regression/nested_structure.c-safe.cil.c	unsafe	1.70	1.09	0.823s	0.000s	1	0	0	0.019s	unknown	1.64	0.97	0.691s	0.000s	1	0	0	0.026s	unknown	1.53	0.86	0.636s	0.000s	1	0	0	0.017s	unknown	1.67	0.95	0.697s	0.000s	1	0	0	0.017s	unknown	1.54	0.82	0.590s	0.000s	1	0	0	0.019s
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	1.81	1.06	0.816s	0.004s	1	0	0	0.134s	exception	1.69	0.91	-	-	-	-	-	-	exception	1.47	0.77	-	-	-	-	-	-	unsafe	1.94	1.07	0.816s	0.001s	1	0	0	0.130s	unsafe	1.81	0.95	0.708s	0.000s	1	0	0	0.124s
ldv-regression/test_union_cast-2-safe.cil.c	unknown	1.55	0.81	0.577s	0.000s	2	1	1	0.043s	exception	1.59	0.88	-	-	-	-	-	-	exception	1.58	0.87	-	-	-	-	-	-	unknown	1.66	0.94	0.662s	0.000s	2	1	1	0.051s	unknown	1.75	0.97	0.682s	0.000s	2	1	1	0.058s
ldv-regression/test_union_cast.c-safe.cil.c	unknown	1.67	0.98	0.731s	0.000s	1	0	0	0.019s	exception	1.54	0.82	-	-	-	-	-	-	exception	1.55	0.81	-	-	-	-	-	-	unknown	1.74	0.96	0.713s	0.000s	1	0	0	0.020s	unknown	1.65	0.92	0.671s	0.000s	1	0	0	0.020s
ldv-regression/volatile_alias.c-safe.cil.c	unknown	1.53	0.80	0.567s	0.000s	2	1	1	0.034s	exception	1.52	0.83	-	-	-	-	-	-	exception	1.44	0.74	-	-	-	-	-	-	unknown	1.72	0.92	0.664s	0.000s	2	1	1	0.039s	unknown	1.58	0.80	0.573s	0.000s	2	1	1	0.034s
ldv-regression/volatile_alias.c-safe_1.cil.c	unknown	1.56	0.81	0.571s	0.000s	2	1	1	0.028s	exception	1.68	0.91	-	-	-	-	-	-	exception	1.50	0.83	-	-	-	-	-	-	unknown	1.63	0.97	0.647s	0.002s	2	1	1	0.027s	unknown	1.36	0.79	0.533s	0.000s	2	1	1	0.030s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.32	5.25	4.970s	0.021s	3	2	0	1.687s	exception	9.18	3.69	-	-	-	-	-	-	exception	8.88	3.51	-	-	-	-	-	-	unsafe	12.94	6.17	5.834s	0.016s	3	2	0	1.902s	unsafe	11.22	5.22	4.923s	0.013s	3	2	0	1.614s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unknown	13.58	8.23	7.916s	0.076s	3	2	1	5.221s	exception	7.68	3.85	-	-	-	-	-	-	exception	7.13	3.46	-	-	-	-	-	-	unknown	13.43	8.40	8.100s	0.099s	3	2	1	5.329s	unknown	13.54	8.21	7.923s	0.048s	3	2	1	5.220s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unknown	21.00	17.05	16.785s	0.028s	7	6	1	14.739s	exception	9.77	6.03	-	-	-	-	-	-	exception	10.35	6.39	-	-	-	-	-	-	unknown	22.11	18.18	17.909s	0.020s	7	6	1	15.876s	unknown	20.59	16.62	16.331s	0.021s	7	6	1	14.426s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unknown	8.36	5.71	5.448s	0.027s	5	4	1	3.903s	exception	4.60	2.53	-	-	-	-	-	-	exception	4.57	2.33	-	-	-	-	-	-	unknown	8.43	5.58	5.271s	0.026s	5	4	1	3.710s	unknown	8.05	5.35	5.100s	0.025s	5	4	1	3.587s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	87.16	71.45	62.499s	3.325s	4	4	0	10.682s	exception	10.64	5.43	-	-	-	-	-	-	exception	10.95	5.38	-	-	-	-	-	-	unknown	103.48	88.20	63.063s	4.070s	4	4	0	10.849s	unknown	89.13	73.90	62.524s	3.994s	4	4	0	9.920s