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.0932									12-02-17.0958									12-02-17.1023									12-02-17.1102									12-02-17.1332
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5638									-r5639									-r5643									-r5647									-r5654
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	44	416.97	327.69	293.938	1.900	231	190	30	148.547	44	404.81	312.35	287.269	1.899	232	190	30	142.233	44	432.72	342.11	306.851	5.372	232	190	30	148.795	44	290.19	210.80	187.178	3.866	197	155	30	90.966	44	117.02	64.81	1.346	0.000	3	0	0	0.047
correct results	6	137.16	117.95	116.222	0.404	55	51	0	60.657	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
false negatives	1	1.98	1.08	0.836	0.003	2	2	0	0.117	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
false positives	3	5.43	3.20	2.394	0.001	3	0	0	0.202	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
score (44 files, max score: 74)	-1									1									-1									-5									0
pthread/queue_BUG.cil.c	safe	1.98	1.08	0.836s	0.003s	2	2	0	0.117s	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	-	-	-	-	-	-
pthread/queue_ok.cil.c	safe	1.71	0.92	0.695s	0.001s	2	2	0	0.099s	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	-	-	-	-	-	-
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	7.12	5.03	4.770s	0.020s	13	12	0	3.279s	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	-	-	-	-	-	-
ntdrivers/parport.i.cil.c	unknown	13.78	9.81	9.557s	0.029s	12	11	1	7.829s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.01.BUG.i.cil.c	unknown	8.36	5.51	5.217s	0.047s	13	12	1	3.796s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.02.BUG.i.cil.c	unknown	7.86	5.02	4.764s	0.059s	12	11	1	3.189s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.03.BUG.i.cil.c	unknown	7.94	5.34	5.052s	0.036s	13	12	1	3.802s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.04.BUG.i.cil.c	unknown	8.24	5.37	5.073s	0.055s	12	11	1	3.447s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.01.i.cil.c	unknown	8.38	5.81	5.547s	0.048s	13	12	1	4.158s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.03.i.cil.c	unknown	19.86	16.18	15.922s	0.068s	18	17	1	14.280s	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	-	-	-	-	-	-
ssh/s3_clnt.blast.04.i.cil.c	unknown	7.99	5.39	5.127s	0.041s	13	12	1	3.780s	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	-	-	-	-	-	-
locks/test_locks_10.c	safe	53.20	48.36	47.998s	0.288s	20	20	0	1.043s	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.62	1.43	1.132s	0.008s	2	1	1	0.312s	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	-	-	-	-	-	-
heap-manipulation/merge_sort_BUG.cil.c	unknown	1.97	1.08	0.824s	0.002s	3	2	1	0.109s	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	-	-	-	-	-	-
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	3.11	1.95	1.691s	0.004s	2	1	1	1.002s	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	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux.cil.c	unknown	2.32	1.23	0.979s	0.003s	2	1	1	0.258s	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	-	-	-	-	-	-
heap-manipulation/merge_sort.cil.c	unknown	1.80	0.98	0.740s	0.003s	3	2	1	0.112s	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	-	-	-	-	-	-
heap-manipulation/sll_to_dll_rev.cil.c	unknown	3.11	1.97	1.710s	0.002s	2	1	1	1.065s	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	-	-	-	-	-	-
list-properties/alternating_list.cil.c	unknown	1.64	0.92	0.695s	0.002s	2	1	1	0.075s	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	-	-	-	-	-	-
list-properties/list.cil.c	unknown	1.70	0.97	0.724s	0.001s	2	1	1	0.107s	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	-	-	-	-	-	-
list-properties/list_flag.cil.c	unknown	1.55	0.85	0.619s	0.000s	2	1	1	0.066s	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	-	-	-	-	-	-
list-properties/simple.cil.c	unknown	1.61	0.90	0.661s	0.002s	2	1	1	0.097s	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	-	-	-	-	-	-
list-properties/simple_built_from_end.cil.c	unknown	1.47	0.86	0.615s	0.001s	3	2	1	0.086s	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	-	-	-	-	-	-
list-properties/splice.cil.c	unknown	1.89	1.01	0.780s	0.002s	3	2	1	0.191s	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	-	-	-	-	-	-
systemc/mem_slave_tlm.4.cil.c	safe	60.87	57.00	56.660s	0.083s	15	15	0	54.525s	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.91	1.07	0.801s	0.000s	2	0	0	0.023s	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	-	-	-	-	-	-
ldv-regression/alias_of_return.c-safe.cil.c	unknown	1.71	0.93	0.691s	0.000s	2	1	1	0.035s	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	-	-	-	-	-	-
ldv-regression/alias_of_return.c-safe_1.cil.c	unknown	1.79	0.98	0.681s	0.000s	2	1	1	0.028s	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	-	-	-	-	-	-
ldv-regression/alias_of_return_2.c-safe.cil.c	unknown	1.66	0.92	0.636s	0.001s	2	1	1	0.030s	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	-	-	-	-	-	-
ldv-regression/alias_of_return_2.c-safe_1.cil.c	unknown	1.74	0.93	0.662s	0.000s	2	1	1	0.026s	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	-	-	-	-	-	-
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unknown	1.79	1.10	0.848s	0.001s	2	0	0	0.028s	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	-	-	-	-	-	-
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	unsafe	1.66	0.99	0.703s	0.001s	1	0	0	0.026s	unknown	1.80	1.02	0.765s	0.000s	2	0	0	0.025s	unknown	1.33	0.78	0.561s	0.002s	2	0	0	0.017s	unknown	1.86	1.09	0.759s	0.000s	2	0	0	0.021s	unknown	1.59	0.95	0.655s	0.000s	2	0	0	0.021s
ldv-regression/nested_structure-safe.cil.c	unsafe	1.76	1.14	0.881s	0.000s	1	0	0	0.059s	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	-	-	-	-	-	-
ldv-regression/nested_structure.c-safe.cil.c	unknown	1.73	1.04	0.794s	0.001s	1	0	0	0.020s	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
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	2.01	1.07	0.810s	0.000s	1	0	0	0.117s	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	-	-	-	-	-	-
ldv-regression/test_union_cast-2-safe.cil.c	unknown	1.52	0.89	0.583s	0.001s	2	1	1	0.043s	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	-	-	-	-	-	-
ldv-regression/test_union_cast.c-safe.cil.c	unknown	1.84	1.05	0.782s	0.000s	1	0	0	0.021s	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	-	-	-	-	-	-
ldv-regression/volatile_alias.c-safe.cil.c	unknown	1.77	1.05	0.773s	0.000s	2	1	1	0.030s	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	-	-	-	-	-	-
ldv-regression/volatile_alias.c-safe_1.cil.c	unknown	1.72	0.99	0.749s	0.000s	2	1	1	0.039s	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	-	-	-	-	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unsafe	12.35	5.57	5.298s	0.012s	3	2	0	1.688s	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	-	-	-	-	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unknown	14.03	8.64	8.350s	0.078s	3	2	1	5.382s	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	-	-	-	-	-	-
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unknown	22.93	18.84	18.508s	0.021s	7	6	1	16.287s	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	-	-	-	-	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unknown	8.60	10.34	10.023s	0.026s	5	4	1	8.039s	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	-	-	-	-	-	-
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	102.37	85.18	62.977s	0.950s	4	4	0	9.802s	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	-	-	-	-	-	-