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.1023									12-02-17.1102									12-02-17.1332									12-02-17.1352									12-02-17.1414
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5643									-r5647									-r5654									-r5655									-r5656
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	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	43	303.09	220.99	185.239	4.641	195	155	30	91.307
correct results	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	4	23.39	12.76	11.702	0.039	20	16	0	5.262
false negatives	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	1	1.96	1.03	0.789	0.003	2	2	0	0.112
false positives	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	2	3.68	2.05	1.550	0.002	2	0	0	0.182
score (43 files, max score: 72)	-1									-5									0									0									-3
pthread/queue_BUG.cil.c	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	-	-	-	-	-	-	safe	1.96	1.03	0.789s	0.003s	2	2	0	0.112s
pthread/queue_ok.cil.c	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	-	-	-	-	-	-	safe	1.83	0.98	0.741s	0.000s	2	2	0	0.123s
ntdrivers/kbfiltr.BUG.i.cil.c	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	-	-	-	-	-	-	unsafe	7.04	4.74	4.493s	0.023s	13	12	0	3.213s
ntdrivers/parport.i.cil.c	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	-	-	-	-	-	-	unknown	13.37	10.44	10.162s	0.025s	12	11	1	7.349s
ssh/s3_clnt.blast.01.BUG.i.cil.c	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	-	-	-	-	-	-	unknown	8.78	5.98	5.662s	0.047s	13	12	1	4.200s
ssh/s3_clnt.blast.02.BUG.i.cil.c	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	-	-	-	-	-	-	unknown	8.17	5.25	4.978s	0.055s	12	11	1	3.394s
ssh/s3_clnt.blast.03.BUG.i.cil.c	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	-	-	-	-	-	-	unknown	8.02	5.45	5.188s	0.037s	13	12	1	3.880s
ssh/s3_clnt.blast.04.BUG.i.cil.c	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	-	-	-	-	-	-	unknown	7.59	5.03	4.635s	0.036s	12	11	1	3.290s
ssh/s3_clnt.blast.01.i.cil.c	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	-	-	-	-	-	-	unknown	8.86	6.01	5.744s	0.058s	13	12	1	4.341s
ssh/s3_clnt.blast.03.i.cil.c	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	-	-	-	-	-	-	unknown	21.20	17.32	17.056s	0.061s	18	17	1	15.336s
ssh/s3_clnt.blast.04.i.cil.c	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	-	-	-	-	-	-	unknown	8.93	6.14	5.874s	0.031s	13	12	1	4.456s
locks/test_locks_10.c	unknown	64.49	60.99	60.584s	0.337s	20	20	0	1.201s	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	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	-	-	-	-	-	-	unknown	2.52	1.36	1.088s	0.001s	2	1	1	0.298s
heap-manipulation/merge_sort_BUG.cil.c	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	-	-	-	-	-	-	unknown	2.08	1.14	0.881s	0.000s	3	2	1	0.156s
heap-manipulation/sll_to_dll_rev_BUG.cil.c	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	-	-	-	-	-	-	unknown	2.90	1.77	1.527s	0.001s	2	1	1	0.898s
heap-manipulation/bubble_sort_linux.cil.c	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	-	-	-	-	-	-	unknown	2.46	1.25	0.977s	0.003s	2	1	1	0.282s
heap-manipulation/merge_sort.cil.c	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	-	-	-	-	-	-	unknown	1.90	0.97	0.740s	0.005s	3	2	1	0.120s
heap-manipulation/sll_to_dll_rev.cil.c	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	-	-	-	-	-	-	unknown	3.08	1.99	1.754s	0.003s	2	1	1	1.042s
list-properties/alternating_list.cil.c	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	-	-	-	-	-	-	unknown	1.56	0.85	0.620s	0.001s	2	1	1	0.074s
list-properties/list.cil.c	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	-	-	-	-	-	-	unknown	1.73	0.91	0.677s	0.003s	2	1	1	0.095s
list-properties/list_flag.cil.c	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	-	-	-	-	-	-	unknown	1.64	0.93	0.685s	0.003s	2	1	1	0.075s
list-properties/simple.cil.c	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	-	-	-	-	-	-	unknown	1.69	0.90	0.647s	0.003s	2	1	1	0.095s
list-properties/simple_built_from_end.cil.c	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	-	-	-	-	-	-	unknown	1.66	0.89	0.667s	0.002s	3	2	1	0.117s
list-properties/splice.cil.c	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	-	-	-	-	-	-	unknown	2.08	1.09	0.813s	0.002s	3	2	1	0.188s
systemc/mem_slave_tlm.4.cil.c	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.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	-	-	-	-	-	-	unsafe	1.58	0.87	0.634s	0.000s	2	0	0	0.024s
ldv-regression/alias_of_return.c-safe.cil.c	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	-	-	-	-	-	-	unknown	1.56	0.88	0.610s	0.000s	2	1	1	0.033s
ldv-regression/alias_of_return.c-safe_1.cil.c	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	-	-	-	-	-	-	unknown	1.59	0.84	0.603s	0.001s	2	1	1	0.024s
ldv-regression/alias_of_return_2.c-safe.cil.c	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	-	-	-	-	-	-	unknown	1.49	0.84	0.555s	0.001s	2	1	1	0.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	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	-	-	-	-	-	-	unknown	1.67	0.86	0.613s	0.000s	2	1	1	0.030s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	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	-	-	-	-	-	-	unknown	1.66	0.96	0.716s	0.001s	2	0	0	0.030s
ldv-regression/nested_structure-safe.cil.c	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	-	-	-	-	-	-	unsafe	1.74	0.98	0.734s	0.001s	1	0	0	0.052s
ldv-regression/nested_structure.c-safe.cil.c	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	unknown	1.67	0.95	0.697s	0.000s	1	0	0	0.017s
ldv-regression/nested_structure_ptr-safe.cil.c	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	-	-	-	-	-	-	unsafe	1.94	1.07	0.816s	0.001s	1	0	0	0.130s
ldv-regression/test_union_cast-2-safe.cil.c	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	-	-	-	-	-	-	unknown	1.66	0.94	0.662s	0.000s	2	1	1	0.051s
ldv-regression/test_union_cast.c-safe.cil.c	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	-	-	-	-	-	-	unknown	1.74	0.96	0.713s	0.000s	1	0	0	0.020s
ldv-regression/volatile_alias.c-safe.cil.c	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	-	-	-	-	-	-	unknown	1.72	0.92	0.664s	0.000s	2	1	1	0.039s
ldv-regression/volatile_alias.c-safe_1.cil.c	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	-	-	-	-	-	-	unknown	1.63	0.97	0.647s	0.002s	2	1	1	0.027s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	-	-	-	-	unsafe	12.94	6.17	5.834s	0.016s	3	2	0	1.902s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	-	-	-	-	unknown	13.43	8.40	8.100s	0.099s	3	2	1	5.329s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	-	-	-	-	unknown	22.11	18.18	17.909s	0.020s	7	6	1	15.876s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	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	-	-	-	-	-	-	unknown	8.43	5.58	5.271s	0.026s	5	4	1	3.710s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	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	-	-	-	-	-	-	unknown	103.48	88.20	63.063s	4.070s	4	4	0	10.849s