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.1041					12-02-17.1125					12-02-17.1332					12-02-17.1354					12-02-17.1416
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5643					-r5647					-r5654					-r5655					-r5656
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	71	2086.35	1610.73	1398.488	1259.698	71	2060.40	1594.35	1372.978	1248.833	71	463.90	294.87	61.553	58.626	71	460.43	305.75	122.102	113.385	71	2181.52	1608.27	1523.107	1379.640
correct results	31	200.64	129.82	116.631	68.232	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
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.87	10.01	7.746	1.801	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
score (71 files, max score: 119)	29					27					0					0					27
pthread/queue_BUG.cil.c	unknown	1.82	1.01	0.768s	0.098s	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
pthread/reorder_5_BUG.cil.c	unknown	1.82	1.08	0.815s	0.118s	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
pthread/twostage_3_BUG.cil.c	unknown	1.90	1.07	0.814s	0.121s	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
pthread/queue_ok.cil.c	unknown	1.87	1.05	0.791s	0.083s	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
ntdrivers/floppy.BUG.i.cil.c	unsafe	10.41	6.18	5.842s	3.777s	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
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	5.01	2.80	2.462s	0.959s	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
ntdrivers/parport.BUG.i.cil.c	unknown	86.15	69.78	63.841s	62.293s	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
ntdrivers/floppy.i.cil.c	safe	12.61	8.05	7.705s	5.284s	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
ntdrivers/parport.i.cil.c	unknown	85.94	69.77	63.111s	61.770s	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
ssh/s3_clnt.blast.01.BUG.i.cil.c	unsafe	4.82	2.82	2.430s	1.119s	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
ssh/s3_clnt.blast.02.BUG.i.cil.c	unsafe	4.87	2.51	2.166s	0.959s	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
ssh/s3_clnt.blast.03.BUG.i.cil.c	unsafe	4.64	2.66	2.224s	0.976s	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
ssh/s3_clnt.blast.04.BUG.i.cil.c	unsafe	4.33	2.28	1.951s	0.841s	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
ssh/s3_clnt.blast.01.i.cil.c	safe	9.09	6.12	5.765s	3.756s	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
ssh/s3_clnt.blast.03.i.cil.c	safe	7.56	5.56	5.226s	3.105s	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
ssh/s3_clnt.blast.04.i.cil.c	safe	10.23	8.56	8.216s	5.793s	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
locks/test_locks_10.c	safe	1.38	0.79	0.566s	0.073s	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	1.90	1.09	0.854s	0.153s	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
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	1.52	0.86	0.621s	0.076s	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
heap-manipulation/merge_sort_BUG.cil.c	unsafe	1.66	0.95	0.723s	0.134s	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
heap-manipulation/sll_to_dll_rev_BUG.cil.c	unknown	63.11	60.81	60.545s	56.864s	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
heap-manipulation/bubble_sort_linux.cil.c	unsafe	1.90	1.08	0.853s	0.157s	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
heap-manipulation/dll_of_dll.cil.c	unknown	1.53	0.86	0.626s	0.075s	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
heap-manipulation/merge_sort.cil.c	safe	1.46	0.84	0.621s	0.067s	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
heap-manipulation/sll_to_dll_rev.cil.c	unknown	63.52	61.77	61.499s	55.880s	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
list-properties/alternating_list.cil.c	safe	1.51	0.87	0.633s	0.127s	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
list-properties/list.cil.c	safe	1.57	0.91	0.681s	0.167s	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
list-properties/list_flag.cil.c	safe	1.58	0.90	0.665s	0.147s	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
list-properties/simple.cil.c	unsafe	1.53	0.88	0.652s	0.124s	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
list-properties/simple_built_from_end.cil.c	unsafe	1.48	0.87	0.641s	0.104s	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
list-properties/splice.cil.c	unsafe	3.10	1.96	1.707s	0.832s	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
systemc/mem_slave_tlm.1.cil.c	out of memory	46.91	43.18	-	-	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	-	-
systemc/token_ring.04.cil.c	out of memory	70.60	58.08	-	-	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
systemc/toy.cil.c	out of memory	65.11	60.62	-	-	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
ldv-regression/mutex_lock_int.c-unsafe.cil.c	unsafe	1.51	0.82	0.571s	0.014s	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
ldv-regression/alias_of_return.c-safe.cil.c	safe	1.39	0.82	0.598s	0.023s	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
ldv-regression/alias_of_return.c-safe_1.cil.c	safe	1.29	0.73	0.494s	0.014s	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
ldv-regression/alias_of_return_2.c-safe.cil.c	safe	1.45	0.82	0.568s	0.019s	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
ldv-regression/alias_of_return_2.c-safe_1.cil.c	safe	1.40	0.80	0.566s	0.015s	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
ldv-regression/mutex_lock_int.c-safe_1.cil.c	unsafe	1.38	0.79	0.513s	0.016s	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
ldv-regression/nested_structure-safe.cil.c	unsafe	1.55	0.88	0.615s	0.040s	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
ldv-regression/nested_structure_ptr-safe.cil.c	unsafe	1.64	0.94	0.702s	0.101s	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
ldv-regression/test_union_cast-2-safe.cil.c	safe	1.41	0.79	0.555s	0.022s	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
ldv-regression/test_union_cast.c-safe.cil.c	unsafe	1.49	0.84	0.567s	0.024s	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
ldv-regression/volatile_alias.c-safe.cil.c	safe	1.45	0.79	0.563s	0.021s	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
ldv-regression/volatile_alias.c-safe_1.cil.c	safe	1.39	0.74	0.506s	0.016s	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
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	15.56	8.55	8.150s	5.360s	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
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c	unknown	83.49	63.00	62.445s	60.466s	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
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.03	8.36	6.201s	1.861s	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
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unknown	70.60	65.05	64.587s	40.697s	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
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.93	9.45	8.991s	6.532s	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
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	6.35	3.02	2.716s	0.590s	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
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	46.25	36.39	34.955s	25.421s	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
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	5.60	3.85	2.467s	0.887s	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
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c	unknown	82.66	63.24	62.646s	60.876s	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
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c	unknown	90.96	69.12	66.118s	61.345s	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
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	81.42	62.13	61.392s	60.057s	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
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c	unknown	5.09	2.42	2.132s	0.883s	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
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c	unknown	92.50	68.13	67.595s	61.840s	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
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c	unknown	4.32	1.96	1.646s	0.677s	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
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	80.51	62.49	62.024s	59.981s	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
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c	unknown	86.31	68.68	62.619s	60.635s	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
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	unknown	82.36	66.04	62.472s	60.901s	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
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c	unknown	87.63	64.62	64.107s	61.515s	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
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c	unknown	84.24	65.16	64.661s	62.263s	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
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	unknown	86.39	64.20	63.622s	62.084s	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
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	88.58	64.21	63.718s	60.390s	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
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.80	1.77	1.496s	0.403s	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
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	96.53	63.81	63.317s	56.955s	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
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	80.77	62.88	62.325s	59.800s	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
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	91.68	63.82	63.254s	60.922s	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