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.1332									12-02-17.1352									12-02-17.1414									12-02-19.0042									12-02-20.1411
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5654									-r5655									-r5656									-r5662									-r5668
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	41	114.99	63.56	0	0	0	0	0	0	41	113.31	65.24	0	0	0	0	0	0	41	302.52	220.66	184.542	4.641	194	155	30	91.290	41	282.61	204.18	181.526	4.513	196	156	30	87.177	41	289.30	206.02	180.852	4.673	196	156	30	88.914
correct results	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	5	24.30	13.84	12.539	0.047	22	17	0	5.646
false negatives	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	1	2.12	1.18	0.910	0.002	2	2	0	0.150
false positives	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	2	3.66	1.85	1.383	0.000	2	0	0	0.184
score (41 files, max score: 67)	0									0									-3									-2									-2
pthread/queue_BUG.cil.c	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	safe	2.12	1.18	0.910s	0.002s	2	2	0	0.150s
pthread/queue_ok.cil.c	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	safe	2.30	1.38	1.069s	0.000s	2	2	0	0.143s
ntdrivers/kbfiltr.BUG.i.cil.c	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	unsafe	7.90	5.77	5.481s	0.040s	13	12	0	3.846s
ntdrivers/parport.i.cil.c	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	unknown	14.52	10.24	9.920s	0.030s	12	11	1	8.046s
ssh/s3_clnt.blast.01.BUG.i.cil.c	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	unknown	8.72	5.84	5.494s	0.050s	13	12	1	4.047s
ssh/s3_clnt.blast.02.BUG.i.cil.c	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	unknown	7.78	4.83	4.543s	0.039s	12	11	1	3.226s
ssh/s3_clnt.blast.03.BUG.i.cil.c	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	unknown	8.22	5.47	5.206s	0.042s	13	12	1	3.778s
ssh/s3_clnt.blast.04.BUG.i.cil.c	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	unknown	7.86	4.87	4.608s	0.044s	12	11	1	3.119s
ssh/s3_clnt.blast.01.i.cil.c	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	unknown	8.34	5.59	5.322s	0.038s	13	12	1	4.075s
ssh/s3_clnt.blast.03.i.cil.c	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	unknown	19.68	15.88	15.628s	0.048s	18	17	1	14.234s
ssh/s3_clnt.blast.04.i.cil.c	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	unknown	8.21	5.48	5.227s	0.038s	13	12	1	3.916s
heap-manipulation/bubble_sort_linux_BUG.cil.c	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	unknown	2.56	1.35	1.086s	0.006s	2	1	1	0.315s
heap-manipulation/merge_sort_BUG.cil.c	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	unknown	2.06	1.09	0.842s	0.002s	3	2	1	0.147s
heap-manipulation/sll_to_dll_rev_BUG.cil.c	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	unknown	3.14	1.97	1.693s	0.007s	2	1	1	1.034s
heap-manipulation/bubble_sort_linux.cil.c	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	unknown	2.38	1.30	1.019s	0.001s	2	1	1	0.306s
heap-manipulation/merge_sort.cil.c	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	unknown	2.15	1.12	0.833s	0.004s	3	2	1	0.152s
heap-manipulation/sll_to_dll_rev.cil.c	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	unknown	3.31	2.20	1.930s	0.004s	2	1	1	1.248s
list-properties/alternating_list.cil.c	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	unknown	1.84	1.04	0.749s	0.003s	2	1	1	0.098s
list-properties/list.cil.c	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	unknown	1.74	0.99	0.761s	0.001s	2	1	1	0.110s
list-properties/list_flag.cil.c	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	unknown	1.78	1.16	0.879s	0.002s	2	1	1	0.109s
list-properties/simple.cil.c	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	unknown	1.72	0.93	0.712s	0.003s	2	1	1	0.137s
list-properties/simple_built_from_end.cil.c	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	unknown	1.69	0.91	0.672s	0.002s	3	2	1	0.094s
list-properties/splice.cil.c	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	unknown	2.08	1.04	0.781s	0.003s	3	2	1	0.188s
ldv-regression/fo_test.c-unsafe.cil.c	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	unsafe	1.76	0.90	0.675s	0.001s	2	1	0	0.061s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	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	unsafe	1.68	0.95	0.720s	0.000s	2	0	0	0.028s
ldv-regression/alias_of_return.c-safe.cil.c	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	unknown	1.40	0.76	0.540s	0.000s	2	1	1	0.027s
ldv-regression/alias_of_return.c-safe_1.cil.c	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	unknown	1.43	0.78	0.555s	0.000s	2	1	1	0.024s
ldv-regression/alias_of_return_2.c-safe.cil.c	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	unknown	1.49	0.78	0.550s	0.000s	2	1	1	0.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	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	unknown	1.52	0.82	0.548s	0.000s	2	1	1	0.024s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	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	unknown	1.56	0.85	0.626s	0.000s	2	0	0	0.028s
ldv-regression/nested_structure-safe.cil.c	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	unsafe	1.79	0.90	0.671s	0.000s	1	0	0	0.060s
ldv-regression/nested_structure_ptr-safe.cil.c	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	unsafe	1.87	0.95	0.712s	0.000s	1	0	0	0.124s
ldv-regression/test_union_cast-2-safe.cil.c	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	unknown	1.52	0.80	0.574s	0.001s	2	1	1	0.047s
ldv-regression/test_union_cast.c-safe.cil.c	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	unknown	1.54	0.81	0.590s	0.000s	1	0	0	0.020s
ldv-regression/volatile_alias.c-safe.cil.c	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	unknown	1.48	0.77	0.550s	0.001s	2	1	1	0.031s
ldv-regression/volatile_alias.c-safe_1.cil.c	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	unknown	1.59	0.86	0.637s	0.000s	2	1	1	0.028s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	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	unsafe	10.66	4.84	4.594s	0.006s	3	2	0	1.568s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	12.70	8.00	7.708s	0.068s	3	2	1	5.302s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	21.77	17.64	17.371s	0.016s	7	6	1	15.473s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	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	unknown	7.72	5.21	4.952s	0.015s	5	4	1	3.555s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	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	unknown	93.72	77.77	62.914s	4.156s	4	4	0	9.966s