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.1125					12-02-17.1332					12-02-17.1354					12-02-17.1416					12-02-19.0042
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5647					-r5654					-r5655					-r5656					-r5662
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	72	2115.16	1645.15	1372.978	1248.833	72	525.95	351.75	61.553	58.626	72	517.01	356.49	122.102	113.385	72	2240.76	1662.65	1523.107	1379.640	72	2238.60	1668.70	1531.118	1380.157
correct results	30	167.40	102.05	93.525	54.356	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
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	9	17.23	9.98	7.638	1.760	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
score (72 files, max score: 120)	27					0					0					27					28
pthread/queue_BUG.cil.c	unknown	1.46	2.02	1.439s	0.072s	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
pthread/reorder_5_BUG.cil.c	unknown	1.69	4.16	2.873s	1.280s	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
pthread/twostage_3_BUG.cil.c	unknown	1.70	1.71	1.441s	0.117s	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
pthread/queue_ok.cil.c	unknown	1.60	3.94	1.621s	1.142s	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
ntdrivers/floppy.BUG.i.cil.c	unsafe	8.57	4.89	4.557s	2.889s	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
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	3.42	1.88	1.629s	0.664s	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
ntdrivers/parport.BUG.i.cil.c	unknown	86.01	69.66	63.835s	62.649s	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
ntdrivers/floppy.i.cil.c	safe	9.04	5.73	5.426s	3.632s	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
ntdrivers/parport.i.cil.c	unknown	86.89	70.78	64.815s	63.556s	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
ssh/s3_clnt.blast.01.BUG.i.cil.c	unsafe	3.97	2.35	2.068s	0.951s	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
ssh/s3_clnt.blast.02.BUG.i.cil.c	unsafe	3.72	2.08	1.807s	0.829s	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
ssh/s3_clnt.blast.03.BUG.i.cil.c	unsafe	3.69	2.05	1.781s	0.809s	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
ssh/s3_clnt.blast.04.BUG.i.cil.c	unsafe	3.37	1.88	1.612s	0.689s	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
ssh/s3_clnt.blast.01.i.cil.c	safe	9.12	6.08	5.775s	3.929s	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
ssh/s3_clnt.blast.03.i.cil.c	safe	7.64	5.10	4.768s	3.367s	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
ssh/s3_clnt.blast.04.i.cil.c	safe	9.91	6.99	6.660s	4.788s	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
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.24	1.19	0.941s	0.159s	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
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	1.71	1.01	0.720s	0.076s	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
heap-manipulation/merge_sort_BUG.cil.c	unsafe	2.04	1.20	0.957s	0.158s	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
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	63.90	61.65	61.325s	58.442s	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
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.18	1.33	1.046s	0.220s	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
heap-manipulation/dll_of_dll.cil.c	unknown	1.86	1.06	0.712s	0.083s	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
heap-manipulation/merge_sort.cil.c	safe	1.58	0.90	0.670s	0.071s	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
heap-manipulation/sll_to_dll_rev.cil.c	unknown	63.63	61.72	61.434s	55.288s	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
list-properties/alternating_list.cil.c	safe	1.74	0.94	0.711s	0.136s	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
list-properties/list.cil.c	safe	1.91	1.13	0.865s	0.209s	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
list-properties/list_flag.cil.c	safe	1.71	0.94	0.712s	0.145s	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
list-properties/simple.cil.c	unsafe	1.97	1.06	0.807s	0.153s	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
list-properties/simple_built_from_end.cil.c	unsafe	1.68	1.05	0.751s	0.105s	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
list-properties/splice.cil.c	unsafe	2.98	1.85	1.593s	0.767s	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
systemc/mem_slave_tlm.1.cil.c	out of memory	45.08	41.58	-	-	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	-	-
systemc/mem_slave_tlm.2.cil.c	segmentation fault	53.79	50.22	-	-	segmentation fault	60.98	56.27	-	-	segmentation fault	55.22	50.02	-	-	out of memory	57.91	53.65	-	-	segmentation fault	51.30	46.70	-	-
systemc/token_ring.04.cil.c	out of memory	71.47	56.94	-	-	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
systemc/toy.cil.c	out of memory	61.92	57.51	-	-	unknown	67.20	61.98	61.553s	58.626s	unknown	67.28	61.94	61.483s	58.513s	unknown	67.71	61.72	61.154s	58.090s	unknown	66.51	61.28	60.844s	57.924s
ldv-regression/fo_test.c-unsafe.cil.c	unknown	0.97	0.58	-	-	unknown	1.07	0.61	-	-	unknown	1.36	0.72	-	-	unknown	1.33	0.73	-	-	unsafe	1.60	0.89	0.646s	0.043s
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.24	0.72	0.479s	0.014s	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
ldv-regression/alias_of_return.c-safe.cil.c	safe	1.23	0.71	0.467s	0.015s	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
ldv-regression/alias_of_return.c-safe_1.cil.c	safe	1.22	0.72	0.467s	0.014s	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
ldv-regression/alias_of_return_2.c-safe.cil.c	safe	1.24	0.72	0.471s	0.017s	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
ldv-regression/alias_of_return_2.c-safe_1.cil.c	safe	1.22	0.71	0.468s	0.014s	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
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unsafe	1.26	0.73	0.487s	0.014s	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
ldv-regression/nested_structure-safe.cil.c	unsafe	1.28	0.77	0.516s	0.038s	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
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	1.42	0.85	0.603s	0.084s	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
ldv-regression/test_union_cast-2-safe.cil.c	safe	1.34	0.80	0.546s	0.022s	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
ldv-regression/test_union_cast.c-safe.cil.c	unsafe	1.24	0.72	0.486s	0.018s	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
ldv-regression/volatile_alias.c-safe.cil.c	safe	1.24	0.71	0.471s	0.016s	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
ldv-regression/volatile_alias.c-safe_1.cil.c	safe	1.23	0.71	0.467s	0.015s	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
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.00	7.17	6.806s	4.483s	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
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	unknown	92.94	65.89	62.576s	61.096s	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
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	10.34	3.92	3.641s	0.509s	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
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unknown	74.72	62.71	62.251s	39.458s	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
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.61	6.87	6.487s	4.659s	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
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	4.63	2.28	1.988s	0.428s	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
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	37.71	28.48	27.932s	19.951s	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
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	4.48	2.20	1.896s	0.774s	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
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	unknown	86.01	64.28	63.787s	62.225s	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
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	unknown	93.79	72.70	64.765s	61.429s	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
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	79.90	63.70	63.039s	62.101s	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
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	unknown	3.96	2.00	1.728s	0.679s	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
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	unknown	93.11	67.64	64.878s	60.447s	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
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	unknown	3.57	1.76	1.473s	0.612s	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
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	83.91	63.23	62.756s	61.141s	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
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	unknown	82.02	65.25	62.437s	60.916s	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
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	unknown	84.14	66.21	63.425s	61.939s	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
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	unknown	89.53	68.84	63.853s	61.854s	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
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	unknown	81.54	62.89	62.380s	60.277s	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
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	unknown	82.98	61.96	61.438s	60.276s	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
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	93.10	67.80	62.877s	60.255s	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
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.22	1.62	1.349s	0.361s	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
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	94.25	63.27	62.778s	54.155s	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
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	83.60	66.61	63.809s	61.774s	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
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	83.78	61.84	61.350s	59.378s	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