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.0958									12-02-17.1023									12-02-17.1102									12-02-17.1332									12-02-17.1352
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5639									-r5643									-r5647									-r5654									-r5655
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	43	403.01	311.33	286.504	1.899	230	190	30	142.208	43	431.39	341.33	306.290	5.370	230	190	30	148.778	43	288.33	209.71	186.419	3.866	195	155	30	90.945	43	115.43	63.86	0.691	0.000	1	0	0	0.026	43	113.76	65.49	0.636	0.000	1	0	0	0.017
correct results	6	137.02	118.38	116.630	0.390	55	51	0	59.876	5	84.85	70.14	68.672	0.136	35	31	0	59.989	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
false negatives	1	1.80	1.08	0.779	0.003	2	2	0	0.101	1	1.87	1.06	0.797	0.005	2	2	0	0.109	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
false positives	2	3.67	2.03	1.483	0.000	2	0	0	0.158	2	3.43	2.01	1.409	0.000	2	0	0	0.148	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
score (43 files, max score: 72)	1									-1									-5									0									0
pthread/queue_BUG.cil.c	safe	1.80	1.08	0.779s	0.003s	2	2	0	0.101s	safe	1.87	1.06	0.797s	0.005s	2	2	0	0.109s	safe	2.06	3.15	1.602s	0.003s	2	2	0	0.133s	exception	1.84	1.03	-	-	-	-	-	-	exception	1.82	0.96	-	-	-	-	-	-
pthread/queue_ok.cil.c	safe	1.84	1.04	0.795s	0.002s	2	2	0	0.137s	safe	2.01	1.14	0.884s	0.002s	2	2	0	0.119s	safe	2.18	4.21	1.723s	0.004s	2	2	0	0.161s	exception	2.01	1.13	-	-	-	-	-	-	exception	1.75	0.95	-	-	-	-	-	-
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	6.77	4.59	4.320s	0.025s	13	12	0	3.080s	unsafe	7.71	5.38	5.067s	0.028s	13	12	0	3.521s	unsafe	7.44	5.23	4.954s	0.012s	13	12	0	3.464s	exception	2.77	1.47	-	-	-	-	-	-	exception	2.25	4.28	-	-	-	-	-	-
ntdrivers/parport.i.cil.c	unknown	14.32	10.44	10.123s	0.032s	12	11	1	8.037s	unknown	14.50	10.11	9.828s	0.043s	12	11	1	7.817s	unknown	14.46	10.19	9.919s	0.031s	12	11	1	7.858s	exception	11.33	8.19	-	-	-	-	-	-	exception	11.77	8.40	-	-	-	-	-	-
ssh/s3_clnt.blast.01.BUG.i.cil.c	unknown	8.32	5.33	5.035s	0.049s	13	12	1	3.751s	unknown	9.18	6.20	5.903s	0.067s	13	12	1	4.287s	unknown	8.97	6.04	5.741s	0.041s	13	12	1	4.246s	exception	2.06	1.12	-	-	-	-	-	-	exception	1.86	1.01	-	-	-	-	-	-
ssh/s3_clnt.blast.02.BUG.i.cil.c	unknown	7.48	4.55	4.299s	0.035s	12	11	1	2.953s	unknown	8.80	5.86	5.596s	0.046s	12	11	1	3.871s	unknown	8.36	5.43	5.146s	0.042s	12	11	1	3.495s	exception	1.92	1.04	-	-	-	-	-	-	exception	1.90	1.07	-	-	-	-	-	-
ssh/s3_clnt.blast.03.BUG.i.cil.c	unknown	7.74	4.99	4.737s	0.024s	13	12	1	3.493s	unknown	8.15	5.59	5.303s	0.052s	13	12	1	3.802s	unknown	7.99	5.23	4.902s	0.026s	13	12	1	3.482s	exception	2.00	1.06	-	-	-	-	-	-	exception	1.84	1.01	-	-	-	-	-	-
ssh/s3_clnt.blast.04.BUG.i.cil.c	unknown	7.86	4.98	4.722s	0.044s	12	11	1	3.342s	unknown	8.34	5.63	5.308s	0.045s	12	11	1	3.594s	unknown	7.90	5.17	4.908s	0.055s	12	11	1	3.379s	exception	1.88	1.03	-	-	-	-	-	-	exception	1.86	1.00	-	-	-	-	-	-
ssh/s3_clnt.blast.01.i.cil.c	unknown	9.46	6.62	6.346s	0.055s	13	12	1	4.875s	unknown	9.58	6.50	6.185s	0.049s	13	12	1	4.643s	unknown	9.68	6.57	6.249s	0.050s	13	12	1	4.686s	exception	2.03	1.10	-	-	-	-	-	-	exception	1.89	1.04	-	-	-	-	-	-
ssh/s3_clnt.blast.03.i.cil.c	unknown	20.87	17.30	16.963s	0.061s	18	17	1	15.109s	unknown	21.82	19.04	18.725s	0.065s	18	17	1	16.894s	unknown	21.49	17.72	17.466s	0.056s	18	17	1	15.735s	exception	2.10	1.14	-	-	-	-	-	-	exception	1.86	1.03	-	-	-	-	-	-
ssh/s3_clnt.blast.04.i.cil.c	unknown	8.69	5.83	5.494s	0.034s	13	12	1	4.031s	unknown	8.93	6.02	5.589s	0.035s	13	12	1	4.047s	unknown	8.72	5.77	5.454s	0.042s	13	12	1	4.000s	exception	1.74	0.99	-	-	-	-	-	-	exception	1.96	1.09	-	-	-	-	-	-
locks/test_locks_10.c	safe	54.45	50.11	49.732s	0.259s	20	20	0	1.050s	unknown	64.49	60.99	60.584s	0.337s	20	20	0	1.201s	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	unknown	2.36	1.20	0.958s	0.002s	2	1	1	0.272s	unknown	2.44	1.36	1.104s	0.008s	2	1	1	0.302s	unknown	2.64	1.44	1.165s	0.004s	2	1	1	0.292s	exception	2.13	1.10	-	-	-	-	-	-	exception	2.13	1.25	-	-	-	-	-	-
heap-manipulation/merge_sort_BUG.cil.c	unknown	1.79	0.97	0.735s	0.001s	3	2	1	0.110s	unknown	1.92	1.15	0.894s	0.000s	3	2	1	0.122s	unknown	1.92	1.03	0.791s	0.002s	3	2	1	0.124s	exception	1.87	1.04	-	-	-	-	-	-	exception	1.87	1.06	-	-	-	-	-	-
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	2.96	1.91	1.663s	0.000s	2	1	1	0.966s	unknown	3.42	2.29	1.993s	0.003s	2	1	1	1.159s	unknown	3.03	1.85	1.583s	0.003s	2	1	1	0.943s	exception	1.90	1.07	-	-	-	-	-	-	exception	1.65	0.96	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux.cil.c	unknown	2.38	1.19	0.946s	0.002s	2	1	1	0.264s	unknown	2.49	1.36	0.996s	0.005s	2	1	1	0.290s	unknown	2.54	1.26	0.998s	0.002s	2	1	1	0.264s	exception	1.84	1.01	-	-	-	-	-	-	exception	1.98	1.03	-	-	-	-	-	-
heap-manipulation/merge_sort.cil.c	unknown	1.78	0.98	0.730s	0.004s	3	2	1	0.109s	unknown	1.89	1.04	0.796s	0.004s	3	2	1	0.112s	unknown	1.97	1.09	0.849s	0.000s	3	2	1	0.128s	exception	1.68	0.89	-	-	-	-	-	-	exception	1.72	0.91	-	-	-	-	-	-
heap-manipulation/sll_to_dll_rev.cil.c	unknown	3.11	1.95	1.708s	0.002s	2	1	1	1.070s	unknown	3.15	1.98	1.734s	0.002s	2	1	1	1.068s	unknown	3.26	2.08	1.833s	0.004s	2	1	1	1.188s	exception	1.78	0.98	-	-	-	-	-	-	exception	1.77	0.96	-	-	-	-	-	-
list-properties/alternating_list.cil.c	unknown	1.58	0.85	0.623s	0.000s	2	1	1	0.068s	unknown	1.66	0.90	0.668s	0.003s	2	1	1	0.075s	unknown	1.64	0.90	0.646s	0.001s	2	1	1	0.070s	exception	1.76	0.91	-	-	-	-	-	-	exception	1.74	0.99	-	-	-	-	-	-
list-properties/list.cil.c	unknown	1.57	0.94	0.688s	0.000s	2	1	1	0.086s	unknown	1.66	0.90	0.659s	0.005s	2	1	1	0.086s	unknown	1.71	0.94	0.692s	0.001s	2	1	1	0.089s	exception	1.67	0.94	-	-	-	-	-	-	exception	1.68	1.03	-	-	-	-	-	-
list-properties/list_flag.cil.c	unknown	1.58	0.83	0.604s	0.000s	2	1	1	0.066s	unknown	1.55	0.86	0.627s	0.000s	2	1	1	0.068s	unknown	1.74	1.00	0.768s	0.001s	2	1	1	0.095s	exception	1.65	0.95	-	-	-	-	-	-	exception	1.84	1.11	-	-	-	-	-	-
list-properties/simple.cil.c	unknown	1.49	0.86	0.623s	0.001s	2	1	1	0.085s	unknown	1.67	0.92	0.664s	0.000s	2	1	1	0.087s	unknown	1.64	0.90	0.653s	0.002s	2	1	1	0.089s	exception	1.62	0.94	-	-	-	-	-	-	exception	1.70	0.92	-	-	-	-	-	-
list-properties/simple_built_from_end.cil.c	unknown	1.41	0.83	0.610s	0.002s	3	2	1	0.083s	unknown	1.63	0.96	0.726s	0.004s	3	2	1	0.090s	unknown	1.66	0.97	0.715s	0.001s	3	2	1	0.086s	exception	1.61	0.85	-	-	-	-	-	-	exception	1.65	0.91	-	-	-	-	-	-
list-properties/splice.cil.c	unknown	1.86	1.00	0.770s	0.005s	3	2	1	0.181s	unknown	2.00	1.10	0.849s	0.005s	3	2	1	0.219s	unknown	1.99	1.13	0.876s	0.002s	3	2	1	0.210s	exception	1.71	0.99	-	-	-	-	-	-	exception	1.80	1.00	-	-	-	-	-	-
systemc/mem_slave_tlm.4.cil.c	safe	60.86	56.61	56.271s	0.078s	15	15	0	54.021s	safe	61.00	57.00	56.629s	0.086s	15	15	0	54.517s	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.58	0.88	0.635s	0.000s	2	0	0	0.025s	unsafe	1.39	0.83	0.613s	0.001s	2	0	0	0.021s	unsafe	1.61	0.92	0.677s	0.000s	2	0	0	0.025s	exception	1.56	0.84	-	-	-	-	-	-	exception	1.42	0.77	-	-	-	-	-	-
ldv-regression/alias_of_return.c-safe.cil.c	unknown	1.58	0.87	0.640s	0.000s	2	1	1	0.027s	unknown	1.28	1.04	0.818s	0.002s	2	1	1	0.037s	unknown	1.66	1.02	0.689s	0.000s	2	1	1	0.027s	exception	1.64	0.91	-	-	-	-	-	-	exception	1.54	0.77	-	-	-	-	-	-
ldv-regression/alias_of_return.c-safe_1.cil.c	unknown	1.64	0.88	0.625s	0.000s	2	1	1	0.025s	unknown	1.27	0.72	0.501s	0.001s	2	1	1	0.022s	unknown	1.79	1.08	0.733s	0.000s	2	1	1	0.031s	exception	1.62	0.84	-	-	-	-	-	-	exception	1.58	0.84	-	-	-	-	-	-
ldv-regression/alias_of_return_2.c-safe.cil.c	unknown	1.56	0.88	0.631s	0.000s	2	1	1	0.031s	unknown	1.30	0.77	0.552s	0.000s	2	1	1	0.028s	unknown	1.77	1.07	0.814s	0.000s	2	1	1	0.033s	exception	1.46	0.81	-	-	-	-	-	-	exception	1.52	0.86	-	-	-	-	-	-
ldv-regression/alias_of_return_2.c-safe_1.cil.c	unknown	1.60	0.83	0.594s	0.000s	2	1	1	0.023s	unknown	1.27	0.72	0.500s	0.000s	2	1	1	0.022s	unknown	1.64	0.98	0.667s	0.000s	2	1	1	0.026s	exception	1.57	0.88	-	-	-	-	-	-	exception	1.56	0.79	-	-	-	-	-	-
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unknown	1.75	1.01	0.751s	0.000s	2	0	0	0.027s	unknown	1.31	0.78	0.560s	0.000s	2	0	0	0.021s	unknown	1.83	1.14	0.819s	0.000s	2	0	0	0.027s	exception	1.54	0.87	-	-	-	-	-	-	exception	1.46	0.75	-	-	-	-	-	-
ldv-regression/nested_structure-safe.cil.c	unsafe	1.64	0.91	0.642s	0.000s	1	0	0	0.048s	unsafe	1.41	0.81	0.571s	0.000s	1	0	0	0.040s	unsafe	1.80	0.96	0.684s	0.000s	1	0	0	0.050s	exception	1.61	0.89	-	-	-	-	-	-	exception	1.44	0.79	-	-	-	-	-	-
ldv-regression/nested_structure.c-safe.cil.c	unknown	1.70	0.96	0.708s	0.000s	1	0	0	0.020s	unknown	1.55	0.85	0.624s	0.000s	1	0	0	0.020s	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
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	2.03	1.12	0.841s	0.000s	1	0	0	0.110s	unsafe	2.02	1.20	0.838s	0.000s	1	0	0	0.108s	unsafe	1.81	1.06	0.816s	0.004s	1	0	0	0.134s	exception	1.69	0.91	-	-	-	-	-	-	exception	1.47	0.77	-	-	-	-	-	-
ldv-regression/test_union_cast-2-safe.cil.c	unknown	1.61	0.92	0.666s	0.000s	2	1	1	0.041s	unknown	1.58	0.86	0.618s	0.001s	2	1	1	0.046s	unknown	1.55	0.81	0.577s	0.000s	2	1	1	0.043s	exception	1.59	0.88	-	-	-	-	-	-	exception	1.58	0.87	-	-	-	-	-	-
ldv-regression/test_union_cast.c-safe.cil.c	unknown	1.55	0.86	0.625s	0.000s	1	0	0	0.023s	unknown	1.71	0.93	0.672s	0.001s	1	0	0	0.022s	unknown	1.67	0.98	0.731s	0.000s	1	0	0	0.019s	exception	1.54	0.82	-	-	-	-	-	-	exception	1.55	0.81	-	-	-	-	-	-
ldv-regression/volatile_alias.c-safe.cil.c	unknown	1.52	0.85	0.617s	0.000s	2	1	1	0.029s	unknown	1.68	0.90	0.659s	0.000s	2	1	1	0.032s	unknown	1.53	0.80	0.567s	0.000s	2	1	1	0.034s	exception	1.52	0.83	-	-	-	-	-	-	exception	1.44	0.74	-	-	-	-	-	-
ldv-regression/volatile_alias.c-safe_1.cil.c	unknown	1.45	0.84	0.603s	0.000s	2	1	1	0.028s	unknown	1.71	0.88	0.639s	0.001s	2	1	1	0.028s	unknown	1.56	0.81	0.571s	0.000s	2	1	1	0.028s	exception	1.68	0.91	-	-	-	-	-	-	exception	1.50	0.83	-	-	-	-	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.52	5.15	4.877s	0.026s	3	2	0	1.563s	unsafe	12.74	5.79	5.479s	0.019s	3	2	0	1.811s	unsafe	11.32	5.25	4.970s	0.021s	3	2	0	1.687s	exception	9.18	3.69	-	-	-	-	-	-	exception	8.88	3.51	-	-	-	-	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unknown	13.03	8.27	7.982s	0.080s	3	2	1	5.104s	unknown	13.75	8.32	8.030s	0.061s	3	2	1	5.135s	unknown	13.58	8.23	7.916s	0.076s	3	2	1	5.221s	exception	7.68	3.85	-	-	-	-	-	-	exception	7.13	3.46	-	-	-	-	-	-
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unknown	20.42	16.80	16.544s	0.020s	7	6	1	14.715s	unknown	21.73	17.80	17.507s	0.022s	7	6	1	15.477s	unknown	21.00	17.05	16.785s	0.028s	7	6	1	14.739s	exception	9.77	6.03	-	-	-	-	-	-	exception	10.35	6.39	-	-	-	-	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unknown	8.00	5.41	5.154s	0.021s	5	4	1	3.550s	unknown	8.32	5.56	5.294s	0.019s	5	4	1	3.792s	unknown	8.36	5.71	5.448s	0.027s	5	4	1	3.903s	exception	4.60	2.53	-	-	-	-	-	-	exception	4.57	2.33	-	-	-	-	-	-
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	94.50	76.91	63.095s	1.032s	4	4	0	9.479s	unknown	103.51	87.23	63.707s	4.343s	4	4	0	10.016s	unknown	87.16	71.45	62.499s	3.325s	4	4	0	10.682s	exception	10.64	5.43	-	-	-	-	-	-	exception	10.95	5.38	-	-	-	-	-	-