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.1354					12-02-17.1416					12-02-19.0042					12-02-20.1411
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5654					-r5655					-r5656					-r5662					-r5668
Options	-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time
total files	70	397.77	233.50	0	0	70	394.51	244.53	60.619	54.872	70	2115.14	1547.28	1461.953	1321.550	70	2120.79	1560.72	1470.274	1322.233	70	2087.55	1547.52	1463.759	1314.932
correct results	0	0	0	0	0	0	0	0	0	0	30	202.75	126.19	116.901	71.760	31	216.16	140.33	129.890	78.342	31	212.02	131.02	120.633	70.678
false negatives	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
false positives	0	0	0	0	0	0	0	0	0	0	9	20.16	15.41	10.862	1.997	9	19.41	10.58	8.363	1.861	9	20.05	10.66	8.357	1.903
score (70 files, max score: 116)	0					0					27					28					28
pthread/queue_BUG.cil.c	exception	2.08	1.32	-	-	exception	1.55	1.36	-	-	unknown	1.91	1.00	0.738s	0.086s	unknown	2.03	1.25	0.954s	0.174s	unknown	2.20	1.26	0.977s	0.129s
pthread/reorder_5_BUG.cil.c	exception	2.08	1.35	-	-	exception	1.82	1.05	-	-	unknown	1.96	1.07	0.838s	0.134s	unknown	2.19	1.26	0.960s	0.134s	unknown	2.09	1.12	0.836s	0.124s
pthread/twostage_3_BUG.cil.c	exception	2.24	1.58	-	-	exception	1.64	0.90	-	-	unknown	1.91	0.99	0.723s	0.119s	unknown	2.19	1.12	0.877s	0.142s	unknown	2.12	1.22	0.860s	0.138s
pthread/queue_ok.cil.c	exception	1.90	1.09	-	-	exception	1.64	0.95	-	-	unknown	1.72	0.92	0.691s	0.086s	unknown	2.05	1.12	0.841s	0.115s	unknown	1.88	1.08	0.790s	0.094s
ntdrivers/floppy.BUG.i.cil.c	exception	5.70	3.09	-	-	exception	4.74	2.40	-	-	unsafe	11.00	6.52	6.157s	4.065s	unsafe	11.21	6.53	6.157s	3.942s	unsafe	11.19	6.79	6.407s	4.247s
ntdrivers/kbfiltr.BUG.i.cil.c	exception	2.60	1.46	-	-	exception	2.20	1.17	-	-	unsafe	4.42	2.37	2.085s	0.860s	unsafe	4.74	2.59	2.297s	0.916s	unsafe	4.88	2.71	2.382s	0.969s
ntdrivers/parport.BUG.i.cil.c	exception	4.97	2.41	-	-	exception	5.03	2.41	-	-	unknown	90.97	71.56	63.104s	61.517s	unknown	90.85	70.43	64.165s	62.468s	unknown	88.51	66.90	63.152s	61.523s
ntdrivers/floppy.i.cil.c	exception	5.20	2.60	-	-	exception	4.75	2.38	-	-	safe	24.67	18.30	17.930s	13.756s	safe	25.67	19.18	18.765s	14.189s	safe	12.93	8.56	8.199s	5.793s
ntdrivers/parport.i.cil.c	exception	5.23	2.56	-	-	exception	4.90	2.22	-	-	unknown	84.51	62.11	61.574s	60.269s	unknown	93.30	71.89	63.056s	61.516s	unknown	81.26	62.57	61.972s	60.534s
ssh/s3_clnt.blast.01.BUG.i.cil.c	exception	1.88	0.99	-	-	exception	2.02	1.18	-	-	unsafe	4.52	2.46	2.187s	1.051s	unsafe	4.54	2.54	2.249s	1.058s	unsafe	4.66	2.59	2.298s	1.105s
ssh/s3_clnt.blast.02.BUG.i.cil.c	exception	2.02	1.09	-	-	exception	2.15	1.20	-	-	unsafe	4.34	2.34	2.073s	0.988s	unsafe	4.38	2.46	2.186s	0.999s	unsafe	4.40	2.38	2.098s	0.956s
ssh/s3_clnt.blast.03.BUG.i.cil.c	exception	1.87	0.99	-	-	exception	2.16	1.27	-	-	unsafe	4.40	2.50	2.215s	0.979s	unsafe	4.42	2.43	2.143s	1.045s	unsafe	4.55	2.42	2.120s	0.950s
ssh/s3_clnt.blast.04.BUG.i.cil.c	exception	2.06	1.16	-	-	exception	2.23	1.20	-	-	unsafe	3.98	2.08	1.783s	0.734s	unsafe	4.00	2.11	1.837s	0.828s	unsafe	3.94	2.16	1.822s	0.817s
ssh/s3_clnt.blast.01.i.cil.c	exception	1.92	1.07	-	-	exception	2.17	1.16	-	-	safe	10.53	6.98	6.598s	4.426s	safe	9.98	6.55	6.225s	4.359s	safe	9.81	6.27	5.925s	4.012s
ssh/s3_clnt.blast.03.i.cil.c	exception	1.93	1.12	-	-	exception	2.05	1.12	-	-	safe	8.91	5.81	5.443s	3.841s	safe	8.72	5.51	5.174s	3.655s	safe	8.46	5.38	5.059s	3.602s
ssh/s3_clnt.blast.04.i.cil.c	exception	1.99	1.12	-	-	exception	2.38	1.34	-	-	safe	11.68	8.09	7.677s	5.365s	safe	11.09	7.58	7.231s	5.155s	safe	11.11	7.71	7.345s	5.183s
heap-manipulation/bubble_sort_linux_BUG.cil.c	exception	1.90	1.00	-	-	exception	1.80	1.01	-	-	unsafe	2.36	1.30	1.014s	0.195s	unsafe	2.27	1.26	1.010s	0.216s	unsafe	2.23	1.23	0.993s	0.197s
heap-manipulation/dll_of_dll_BUG.cil.c	exception	1.62	0.86	-	-	exception	1.91	1.00	-	-	unknown	1.76	1.00	0.720s	0.107s	unknown	1.98	1.09	0.805s	0.116s	unknown	1.79	0.93	0.692s	0.098s
heap-manipulation/merge_sort_BUG.cil.c	exception	1.64	0.85	-	-	exception	1.63	0.93	-	-	unsafe	2.06	1.17	0.884s	0.207s	unsafe	2.23	1.21	0.920s	0.180s	unsafe	1.98	1.08	0.832s	0.178s
heap-manipulation/sll_to_dll_rev_BUG.cil.c	exception	1.67	0.86	-	-	exception	1.70	0.95	-	-	unknown	69.81	66.95	66.655s	61.122s	unknown	64.04	61.48	61.189s	56.270s	unknown	63.28	60.95	60.667s	57.443s
heap-manipulation/bubble_sort_linux.cil.c	exception	1.87	0.99	-	-	exception	1.74	0.98	-	-	unsafe	2.68	1.43	1.144s	0.208s	unsafe	2.35	1.26	1.011s	0.206s	unsafe	2.35	1.21	0.943s	0.190s
heap-manipulation/dll_of_dll.cil.c	exception	1.64	0.86	-	-	exception	1.67	0.89	-	-	unknown	2.09	1.14	0.839s	0.138s	unknown	1.82	0.97	0.697s	0.097s	unknown	1.89	0.95	0.712s	0.093s
heap-manipulation/merge_sort.cil.c	exception	1.62	0.86	-	-	exception	1.87	0.98	-	-	safe	1.99	1.10	0.825s	0.100s	safe	1.65	0.92	0.684s	0.082s	safe	1.80	0.93	0.694s	0.082s
heap-manipulation/sll_to_dll_rev.cil.c	exception	1.53	0.89	-	-	exception	1.70	1.03	-	-	unknown	67.74	65.81	65.496s	58.680s	unknown	63.05	60.95	60.670s	54.237s	unknown	62.76	60.95	60.678s	54.346s
list-properties/alternating_list.cil.c	exception	1.52	0.81	-	-	exception	1.62	0.97	-	-	safe	1.93	1.12	0.890s	0.185s	safe	1.94	1.05	0.793s	0.168s	safe	1.94	0.98	0.722s	0.140s
list-properties/list.cil.c	exception	1.49	0.84	-	-	exception	1.79	1.05	-	-	safe	1.86	1.01	0.752s	0.178s	safe	2.04	1.13	0.795s	0.188s	safe	2.21	1.20	0.944s	0.217s
list-properties/list_flag.cil.c	exception	1.62	0.82	-	-	exception	1.65	0.97	-	-	safe	2.30	1.24	0.997s	0.243s	safe	2.05	1.10	0.768s	0.161s	safe	2.00	1.06	0.786s	0.170s
list-properties/simple.cil.c	exception	1.58	0.89	-	-	exception	1.70	0.93	-	-	unsafe	2.29	1.30	1.011s	0.213s	unsafe	1.97	1.06	0.823s	0.167s	unsafe	1.90	1.07	0.809s	0.158s
list-properties/simple_built_from_end.cil.c	exception	1.58	0.80	-	-	exception	1.66	0.91	-	-	unsafe	1.96	1.12	0.792s	0.109s	unsafe	1.77	0.98	0.738s	0.107s	unsafe	1.86	1.07	0.799s	0.131s
list-properties/splice.cil.c	exception	1.61	0.83	-	-	exception	1.48	0.89	-	-	unsafe	3.50	2.20	1.894s	0.905s	unsafe	3.22	1.93	1.666s	0.803s	unsafe	3.14	1.95	1.694s	0.804s
systemc/mem_slave_tlm.1.cil.c	out of memory	52.92	48.24	-	-	unknown	51.92	47.65	-	-	out of memory	54.68	50.37	-	-	out of memory	52.87	48.41	-	-	out of memory	57.81	53.03	-	-
systemc/token_ring.04.cil.c	segmentation fault	67.79	56.89	-	-	unknown	74.70	61.49	60.619s	54.872s	unknown	74.08	61.21	60.662s	53.167s	unknown	73.06	61.52	60.631s	54.673s	unknown	74.02	61.67	60.722s	54.364s
ldv-regression/fo_test.c-unsafe.cil.c	unknown	1.07	0.61	-	-	unknown	1.36	0.72	-	-	unknown	1.33	0.73	-	-	unsafe	1.60	0.89	0.646s	0.043s	unsafe	1.81	0.90	0.652s	0.046s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	exception	1.42	0.75	-	-	exception	1.60	0.84	-	-	unsafe	1.59	0.91	0.654s	0.020s	unsafe	1.56	0.89	0.655s	0.020s	unsafe	1.52	0.79	0.552s	0.019s
ldv-regression/alias_of_return.c-safe.cil.c	exception	1.47	0.78	-	-	exception	1.41	0.72	-	-	safe	1.64	1.01	0.763s	0.036s	safe	1.60	0.94	0.693s	0.021s	safe	1.61	0.83	0.596s	0.020s
ldv-regression/alias_of_return.c-safe_1.cil.c	exception	1.60	0.88	-	-	exception	1.26	0.71	-	-	safe	1.60	0.91	0.590s	0.016s	safe	1.50	0.86	0.612s	0.016s	safe	1.52	0.78	0.546s	0.016s
ldv-regression/alias_of_return_2.c-safe.cil.c	exception	1.44	0.81	-	-	exception	1.46	0.75	-	-	safe	1.69	0.99	0.655s	0.027s	safe	1.71	0.97	0.675s	0.025s	safe	1.50	0.81	0.570s	0.021s
ldv-regression/alias_of_return_2.c-safe_1.cil.c	exception	1.67	0.89	-	-	exception	1.39	0.76	-	-	safe	1.76	1.00	0.670s	0.020s	safe	1.50	0.84	0.591s	0.017s	safe	1.59	0.82	0.562s	0.016s
ldv-regression/mutex_lock_int.c-safe_1.cil.c	exception	1.69	0.95	-	-	exception	1.75	0.89	-	-	unsafe	1.75	0.97	0.725s	0.023s	unsafe	1.51	0.91	0.681s	0.016s	unsafe	1.62	0.84	0.591s	0.018s
ldv-regression/nested_structure-safe.cil.c	exception	1.55	0.86	-	-	exception	1.65	0.89	-	-	unsafe	1.45	1.87	1.614s	0.049s	unsafe	1.73	0.93	0.692s	0.053s	unsafe	1.87	0.99	0.750s	0.053s
ldv-regression/nested_structure_ptr-safe.cil.c	exception	1.49	0.80	-	-	exception	1.54	0.86	-	-	unsafe	1.79	4.05	1.716s	0.122s	unsafe	2.02	1.08	0.832s	0.125s	unsafe	1.90	0.97	0.721s	0.112s
ldv-regression/test_union_cast-2-safe.cil.c	exception	1.61	0.84	-	-	exception	1.49	0.79	-	-	safe	1.59	0.82	0.561s	0.032s	safe	1.66	0.89	0.620s	0.027s	safe	1.64	0.84	0.598s	0.027s
ldv-regression/test_union_cast.c-safe.cil.c	exception	1.62	0.84	-	-	exception	1.56	0.76	-	-	unsafe	1.53	0.86	0.613s	0.019s	unsafe	1.61	0.82	0.570s	0.021s	unsafe	1.59	0.82	0.572s	0.021s
ldv-regression/volatile_alias.c-safe.cil.c	exception	1.67	0.89	-	-	exception	1.39	0.82	-	-	safe	1.32	0.76	0.515s	0.017s	safe	1.69	0.95	0.660s	0.023s	safe	1.60	0.81	0.545s	0.018s
ldv-regression/volatile_alias.c-safe_1.cil.c	exception	1.55	0.81	-	-	exception	1.43	0.73	-	-	safe	1.48	0.82	0.576s	0.019s	safe	1.61	0.91	0.636s	0.022s	safe	1.51	0.78	0.532s	0.018s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	exception	4.79	2.37	-	-	exception	4.45	2.10	-	-	unsafe	14.29	8.47	8.113s	5.823s	unsafe	18.31	10.62	10.222s	7.283s	unsafe	16.94	10.15	9.715s	6.785s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	exception	6.95	2.89	-	-	exception	5.68	2.36	-	-	unknown	95.26	62.83	62.376s	60.877s	unknown	92.95	64.58	64.107s	62.082s	unknown	92.45	64.76	64.218s	62.487s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	exception	14.96	5.64	-	-	exception	12.76	4.64	-	-	unsafe	10.24	3.95	3.662s	0.532s	unsafe	15.70	5.92	5.615s	0.689s	unsafe	15.26	5.88	5.535s	0.685s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	exception	9.01	3.60	-	-	exception	8.66	3.53	-	-	unknown	77.17	62.72	62.273s	39.743s	unknown	79.74	64.95	64.455s	41.193s	unknown	79.31	64.63	64.167s	40.845s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	exception	6.68	2.73	-	-	exception	6.12	2.62	-	-	unsafe	15.16	8.02	7.627s	5.790s	unsafe	15.96	16.29	14.892s	10.259s	unsafe	18.05	12.75	11.392s	7.839s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	exception	5.73	2.45	-	-	exception	5.55	2.47	-	-	unsafe	4.59	2.31	2.013s	0.442s	unsafe	4.89	2.36	2.087s	0.456s	unsafe	5.68	2.65	2.357s	0.537s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	exception	9.02	4.52	-	-	exception	8.89	4.45	-	-	unsafe	40.33	29.56	29.015s	20.961s	unsafe	41.16	30.54	30.005s	21.420s	unsafe	47.72	35.87	35.254s	24.891s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	exception	3.66	1.79	-	-	exception	3.71	1.80	-	-	unsafe	4.52	2.27	1.977s	0.852s	unsafe	4.78	2.31	2.047s	0.880s	unsafe	5.98	2.91	2.601s	1.122s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	exception	6.00	2.52	-	-	exception	5.63	2.54	-	-	unknown	91.63	63.72	63.212s	61.646s	unknown	95.82	64.20	63.698s	62.073s	unknown	90.79	64.32	63.737s	61.723s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	exception	13.65	5.21	-	-	exception	13.27	5.14	-	-	unknown	89.13	65.86	65.353s	61.978s	unknown	88.63	64.62	64.101s	60.016s	unknown	88.78	66.38	65.850s	61.203s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	exception	10.16	4.85	-	-	exception	10.42	5.50	-	-	unknown	87.78	62.26	61.616s	60.677s	unknown	86.47	62.46	61.725s	60.231s	unknown	83.50	62.07	61.321s	59.981s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	exception	4.87	2.16	-	-	exception	5.01	2.44	-	-	unknown	3.96	2.06	1.758s	0.713s	unknown	4.34	2.21	1.934s	0.789s	unknown	5.66	2.79	2.490s	1.003s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	exception	15.04	6.32	-	-	exception	15.42	6.51	-	-	unknown	91.02	66.85	66.361s	61.909s	unknown	94.69	67.39	66.872s	61.019s	unknown	94.12	66.68	66.114s	60.233s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	exception	3.50	1.80	-	-	exception	3.87	1.93	-	-	unknown	3.59	1.85	1.570s	0.687s	unknown	4.48	2.21	1.934s	0.849s	unknown	4.64	2.20	1.900s	0.784s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	exception	6.23	2.40	-	-	exception	6.09	2.47	-	-	unknown	85.16	63.03	62.547s	60.977s	unknown	88.64	62.19	61.693s	59.800s	unknown	86.00	62.76	62.271s	60.131s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	exception	8.01	3.41	-	-	exception	8.27	3.77	-	-	unknown	88.89	63.05	62.576s	61.060s	unknown	82.35	62.53	62.021s	60.394s	unknown	85.32	64.57	64.032s	62.085s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	exception	5.98	2.54	-	-	exception	5.70	3.45	-	-	unknown	84.41	62.08	61.545s	60.174s	unknown	83.04	64.03	63.468s	61.709s	unknown	84.89	64.56	63.863s	62.037s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	exception	9.24	3.54	-	-	exception	7.79	7.30	-	-	unknown	88.97	64.19	63.705s	61.698s	unknown	89.76	64.21	63.727s	61.732s	unknown	90.69	65.92	65.394s	62.472s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	exception	8.57	3.38	-	-	exception	7.71	7.13	-	-	unknown	89.15	64.09	63.596s	61.487s	unknown	87.49	64.26	63.757s	61.653s	unknown	79.60	65.46	63.973s	60.734s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	exception	4.54	2.26	-	-	exception	4.29	2.16	-	-	unknown	88.81	62.51	61.996s	60.842s	unknown	88.21	62.93	62.425s	61.272s	unknown	86.40	61.80	61.279s	59.941s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	exception	11.40	4.35	-	-	exception	11.69	4.42	-	-	unknown	90.15	64.45	63.953s	61.331s	unknown	89.74	64.33	63.813s	61.198s	unknown	91.24	64.36	63.839s	60.086s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	exception	4.14	2.02	-	-	exception	3.58	1.83	-	-	unsafe	3.21	1.61	1.353s	0.349s	unsafe	3.23	1.61	1.350s	0.363s	unsafe	3.82	1.74	1.478s	0.416s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	exception	4.90	2.46	-	-	exception	4.47	2.12	-	-	unknown	104.84	62.12	61.634s	54.307s	unknown	101.61	62.96	62.445s	57.178s	unknown	97.16	63.93	63.421s	57.941s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	exception	7.35	3.25	-	-	exception	7.77	3.50	-	-	unknown	84.00	64.44	63.891s	61.845s	unknown	84.86	64.66	61.921s	57.643s	unknown	85.61	63.30	62.707s	59.960s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	exception	4.27	2.04	-	-	exception	4.45	2.17	-	-	unknown	93.84	62.71	62.188s	60.417s	unknown	92.97	63.60	63.080s	61.257s	unknown	89.71	62.72	62.135s	59.819s