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.0841					12-02-17.0927					12-02-17.1004					12-02-17.1041					12-02-17.1125
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5630					-r5637					-r5639					-r5643					-r5647
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	66	1533.35	1158.66	886.070	742.558	66	689.84	461.94	251.393	182.864	66	689.07	473.14	249.584	183.736	66	1479.67	1119.43	760.572	627.360	66	1379.25	1055.63	730.734	606.153
correct results	38	334.28	197.79	185.200	111.983	14	45.97	26.86	22.586	9.472	14	46.25	27.64	23.452	10.082	38	319.70	195.26	179.339	109.595	37	272.90	165.90	153.799	96.542
false negatives	0	0	0	0	0	25	105.60	53.51	46.055	17.850	25	101.50	50.74	43.629	16.433	0	0	0	0	0	0	0	0	0	0
false positives	5	13.61	6.99	5.675	0.913	0	0	0	0	0	0	0	0	0	0	5	12.77	6.43	5.175	0.783	5	10.75	5.93	4.623	0.784
score (66 files, max score: 95)	36					-72					-72					36					34
pthread/fib_bench_BUG.cil.c	unknown	1.79	1.06	0.791s	0.033s	safe	1.72	0.97	0.692s	0.043s	safe	1.44	0.80	0.564s	0.030s	unknown	1.51	0.86	0.623s	0.025s	unknown	1.52	0.85	0.612s	0.023s
pthread/fib_bench_longer_BUG.cil.c	unknown	1.89	1.21	0.877s	0.037s	safe	1.70	0.97	0.647s	0.029s	safe	1.43	0.79	0.561s	0.030s	unknown	1.71	0.91	0.664s	0.024s	unknown	1.52	1.66	1.416s	0.024s
pthread/queue_BUG.cil.c	unknown	2.14	1.29	0.969s	0.115s	safe	2.02	1.16	0.898s	0.140s	safe	1.63	0.93	0.690s	0.091s	unknown	1.82	1.01	0.768s	0.098s	unknown	1.46	2.02	1.439s	0.072s
pthread/fib_bench.cil.c	unknown	1.73	0.98	0.725s	0.034s	safe	1.60	0.92	0.655s	0.033s	safe	1.48	0.82	0.572s	0.029s	unknown	1.64	0.91	0.666s	0.029s	unknown	1.51	3.22	2.149s	0.024s
pthread/fib_bench_longer.cil.c	unknown	1.54	0.88	0.629s	0.029s	safe	1.74	1.01	0.699s	0.032s	safe	1.44	0.80	0.565s	0.029s	unknown	1.72	0.89	0.639s	0.025s	unknown	1.44	3.02	1.485s	0.024s
pthread/queue_ok.cil.c	unknown	1.90	1.01	0.752s	0.085s	safe	2.00	1.11	0.801s	0.105s	safe	1.68	0.92	0.679s	0.090s	unknown	1.87	1.05	0.791s	0.083s	unknown	1.60	3.94	1.621s	1.142s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c	unsafe	6.36	4.02	3.712s	2.229s	safe	6.64	3.86	3.511s	2.542s	safe	6.32	3.58	3.199s	2.356s	unsafe	5.66	3.43	3.142s	1.862s	unsafe	5.31	3.20	2.931s	1.729s
ntdrivers-simplified/floppy_simpl3_BUG.cil.c	unsafe	3.96	2.29	1.978s	0.841s	safe	4.11	2.14	1.849s	1.166s	safe	3.92	1.96	1.676s	0.983s	unsafe	3.64	2.12	1.795s	0.743s	unsafe	3.06	2.27	1.398s	0.601s
ntdrivers-simplified/floppy_simpl4_BUG.cil.c	unsafe	4.57	2.71	2.391s	0.998s	safe	5.59	3.01	2.610s	1.662s	safe	4.79	2.53	2.244s	1.478s	unsafe	4.23	2.29	2.015s	0.963s	unsafe	3.32	1.92	1.674s	0.762s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c	unsafe	3.44	1.80	1.507s	0.583s	safe	4.25	2.22	1.807s	0.924s	safe	3.40	1.60	1.319s	0.681s	unsafe	3.24	1.71	1.450s	0.582s	unsafe	2.48	1.34	1.110s	0.420s
ntdrivers/cdaudio.BUG.i.cil.c	unsafe	10.41	5.56	5.247s	2.956s	safe	8.24	4.31	3.993s	2.277s	safe	8.09	3.91	3.591s	2.072s	unsafe	9.76	5.13	4.768s	2.525s	unsafe	7.92	4.54	4.253s	2.226s
ntdrivers/diskperf.BUG.i.cil.c	unsafe	6.50	3.94	3.619s	1.889s	safe	5.74	3.32	3.045s	1.971s	safe	5.76	3.42	3.125s	2.050s	unsafe	5.70	3.29	2.990s	1.554s	unsafe	4.83	2.91	2.637s	1.427s
ntdrivers/floppy.BUG.i.cil.c	unsafe	11.62	7.18	6.808s	4.438s	safe	7.95	4.18	3.875s	2.449s	safe	7.38	3.85	3.544s	2.091s	unsafe	10.41	6.18	5.842s	3.777s	unsafe	8.57	4.89	4.557s	2.889s
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	4.63	2.49	2.193s	0.907s	safe	4.40	2.19	1.900s	1.020s	safe	4.25	2.22	1.939s	1.002s	unsafe	5.01	2.80	2.462s	0.959s	unsafe	3.42	1.88	1.629s	0.664s
ssh-simplified/s3_srvr_7.cil.c	safe	23.31	18.73	18.238s	16.420s	segmentation fault	71.10	66.41	-	-	out of memory	77.10	72.65	-	-	safe	21.43	17.45	17.012s	15.208s	safe	20.87	17.09	16.664s	15.048s
ssh/s3_srvr.blast.07.i.cil.c	safe	13.69	9.46	8.959s	7.520s	unknown	66.09	61.31	60.814s	57.104s	unknown	66.10	61.36	60.845s	57.276s	safe	12.42	8.93	8.507s	7.191s	safe	12.47	8.88	8.468s	7.135s
ssh/s3_srvr.blast.08.i.cil.c	out of memory	91.35	87.11	-	-	safe	15.94	10.82	10.286s	6.727s	safe	16.27	11.38	10.833s	7.241s	out of memory	81.94	78.29	-	-	out of memory	91.13	87.59	-	-
ssh/s3_srvr.blast.09.i.cil.c	safe	12.24	8.37	7.919s	5.764s	unknown	73.82	61.90	60.979s	58.370s	unknown	71.47	61.70	60.852s	58.111s	safe	11.24	7.57	7.179s	5.209s	safe	11.96	8.14	7.707s	5.573s
ssh/s3_srvr.blast.16.i.cil.c	safe	15.71	11.14	10.664s	7.057s	unknown	67.04	61.56	60.959s	40.068s	unknown	66.83	61.41	60.806s	41.834s	safe	14.44	10.43	9.989s	6.799s	safe	15.11	10.74	10.288s	7.139s
locks/test_locks_10.c	safe	1.60	0.92	0.666s	0.082s	safe	1.83	1.06	0.738s	0.109s	safe	1.79	1.00	0.746s	0.129s	safe	1.38	0.79	0.566s	0.073s	-	-	-	-	-
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.26	1.30	1.061s	0.214s	segmentation fault	2.19	1.21	-	-	segmentation fault	2.35	1.33	-	-	unsafe	1.90	1.09	0.854s	0.153s	unsafe	2.24	1.19	0.941s	0.159s
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	1.95	1.13	0.891s	0.111s	safe	1.85	0.95	0.700s	0.092s	safe	1.96	1.07	0.804s	0.097s	unknown	1.52	0.86	0.621s	0.076s	unknown	1.71	1.01	0.720s	0.076s
heap-manipulation/merge_sort_BUG.cil.c	unsafe	1.97	1.05	0.795s	0.141s	safe	1.87	1.03	0.779s	0.089s	safe	1.76	0.94	0.697s	0.087s	unsafe	1.66	0.95	0.723s	0.134s	unsafe	2.04	1.20	0.957s	0.158s
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.20	1.14	0.887s	0.171s	segmentation fault	2.34	1.29	-	-	segmentation fault	2.59	1.35	-	-	unsafe	1.90	1.08	0.853s	0.157s	unsafe	2.18	1.33	1.046s	0.220s
heap-manipulation/dll_of_dll.cil.c	unknown	1.72	0.90	0.657s	0.079s	safe	1.98	1.04	0.800s	0.101s	safe	2.01	1.11	0.854s	0.132s	unknown	1.53	0.86	0.626s	0.075s	unknown	1.86	1.06	0.712s	0.083s
systemc/token_ring.01.BUG.cil.c	unsafe	3.00	1.69	1.425s	0.641s	safe	1.79	1.00	0.758s	0.109s	safe	1.93	1.10	0.803s	0.138s	unsafe	2.87	1.54	1.268s	0.519s	unsafe	2.79	1.56	1.290s	0.537s
systemc/token_ring.02.BUG.cil.c	unsafe	4.53	2.27	1.980s	1.200s	safe	1.74	1.07	0.803s	0.169s	safe	1.92	1.12	0.818s	0.136s	unsafe	4.14	2.21	1.927s	1.154s	unsafe	4.83	2.49	2.207s	1.392s
systemc/token_ring.03.BUG.cil.c	unsafe	7.92	3.67	3.281s	2.373s	safe	1.97	1.21	0.949s	0.186s	safe	2.10	1.21	0.912s	0.180s	unsafe	6.54	3.35	3.025s	2.179s	unsafe	7.72	4.17	3.792s	2.688s
systemc/transmitter.01.BUG.cil.c	unsafe	2.11	1.20	0.947s	0.259s	safe	1.69	1.06	0.791s	0.156s	safe	1.90	1.10	0.798s	0.131s	unsafe	1.92	1.10	0.842s	0.255s	unsafe	2.10	1.19	0.929s	0.289s
systemc/transmitter.02.BUG.cil.c	unsafe	3.11	1.65	1.393s	0.619s	safe	2.48	1.32	1.037s	0.398s	safe	2.78	1.56	1.262s	0.485s	unsafe	2.40	1.36	1.114s	0.483s	unsafe	2.97	1.61	1.336s	0.521s
systemc/transmitter.03.BUG.cil.c	unsafe	5.14	2.56	2.249s	1.339s	safe	2.87	1.51	1.205s	0.454s	safe	2.89	1.49	1.196s	0.488s	unsafe	3.87	2.02	1.767s	1.050s	unsafe	4.54	2.20	1.907s	1.092s
systemc/transmitter.04.BUG.cil.c	unsafe	8.85	4.43	4.060s	3.025s	safe	3.64	1.83	1.524s	0.752s	safe	3.43	1.80	1.524s	0.631s	unsafe	7.46	3.97	3.652s	2.700s	unsafe	8.82	4.65	4.290s	3.161s
systemc/mem_slave_tlm.1.cil.c	out of memory	55.80	51.27	-	-	safe	2.94	1.57	1.283s	0.395s	safe	3.21	1.93	1.558s	0.442s	out of memory	46.91	43.18	-	-	out of memory	45.08	41.58	-	-
systemc/mem_slave_tlm.2.cil.c	out of memory	56.02	51.37	-	-	safe	2.71	1.41	1.138s	0.342s	safe	3.01	1.67	1.322s	0.341s	out of memory	47.92	44.18	-	-	segmentation fault	53.79	50.22	-	-
systemc/mem_slave_tlm.4.cil.c	out of memory	66.47	60.97	-	-	safe	2.86	1.51	1.226s	0.353s	safe	2.94	1.52	1.237s	0.380s	segmentation fault	55.75	50.75	-	-	-	-	-	-	-
systemc/token_ring.04.cil.c	unknown	73.60	61.58	60.659s	54.673s	safe	2.04	1.18	0.918s	0.232s	safe	2.21	1.28	0.998s	0.220s	out of memory	70.60	58.08	-	-	out of memory	71.47	56.94	-	-
systemc/toy.cil.c	unknown	66.56	61.52	61.148s	58.178s	safe	2.13	1.27	0.862s	0.135s	safe	1.98	1.15	0.844s	0.144s	out of memory	65.11	60.62	-	-	out of memory	61.92	57.51	-	-
ldv-regression/mutex_lock_struct.c-unsafe.cil.c	unsafe	1.59	0.90	0.646s	0.020s	safe	1.65	0.93	0.579s	0.027s	safe	1.66	0.90	0.657s	0.026s	unsafe	1.63	0.91	0.654s	0.015s	unsafe	1.23	0.72	0.479s	0.013s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c	unsafe	1.66	0.94	0.687s	0.029s	safe	1.89	1.05	0.764s	0.078s	safe	1.72	1.02	0.753s	0.075s	unsafe	1.44	0.84	0.597s	0.035s	unsafe	1.30	0.76	0.510s	0.026s
ldv-regression/rule60_list2.c-unsafe_1.cil.c	unsafe	1.76	1.00	0.741s	0.093s	safe	1.96	1.08	0.819s	0.130s	safe	1.87	1.02	0.765s	0.118s	unsafe	1.71	0.99	0.752s	0.098s	unsafe	1.44	0.85	0.603s	0.081s
ldv-regression/test_while_int.c-unsafe.cil.c	unsafe	1.63	0.91	0.664s	0.038s	segmentation fault	1.54	0.89	-	-	segmentation fault	1.74	0.93	-	-	unsafe	1.39	0.82	0.584s	0.056s	unsafe	1.26	0.76	0.502s	0.033s
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	unsafe	1.66	0.94	0.705s	0.016s	safe	1.70	0.91	0.665s	0.032s	safe	1.69	0.94	0.668s	0.031s	unsafe	1.46	0.83	0.587s	0.015s	unsafe	1.24	0.73	0.480s	0.014s
ldv-regression/oomInt.c-safe.cil.c	safe	1.72	1.03	0.723s	0.027s	segmentation fault	1.67	0.91	-	-	segmentation fault	1.73	1.03	-	-	safe	1.40	0.75	0.516s	0.018s	safe	1.22	0.72	0.471s	0.017s
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c	unsafe	1.78	1.03	0.721s	0.053s	safe	1.66	0.96	0.692s	0.084s	safe	1.80	1.00	0.737s	0.085s	unsafe	1.36	0.80	0.572s	0.041s	unsafe	1.30	0.79	0.540s	0.039s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c	unsafe	14.01	5.64	5.341s	0.442s	safe	13.30	5.49	5.163s	0.467s	safe	13.98	5.54	5.245s	0.462s	unsafe	13.64	5.24	4.912s	0.357s	unsafe	10.70	4.36	4.078s	0.413s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	16.73	9.46	9.103s	5.681s	segmentation fault	5.54	2.64	-	-	segmentation fault	5.64	2.71	-	-	unsafe	15.56	8.55	8.150s	5.360s	unsafe	13.00	7.17	6.806s	4.483s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.70	5.25	4.975s	0.675s	segmentation fault	13.61	5.22	-	-	segmentation fault	15.15	5.56	-	-	unsafe	13.03	8.36	6.201s	1.861s	unsafe	10.34	3.92	3.641s	0.509s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unknown	77.31	63.39	62.951s	39.424s	segmentation fault	9.94	3.96	-	-	segmentation fault	11.56	4.45	-	-	unknown	70.60	65.05	64.587s	40.697s	unknown	74.72	62.71	62.251s	39.458s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.63	9.04	8.591s	6.243s	segmentation fault	14.32	7.48	-	-	segmentation fault	14.45	7.66	-	-	unsafe	17.93	9.45	8.991s	6.532s	unsafe	13.61	6.87	6.487s	4.659s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	unknown	80.37	62.17	61.722s	59.150s	segmentation fault	9.84	4.74	-	-	segmentation fault	9.74	4.78	-	-	unknown	83.39	64.70	64.245s	61.501s	unknown	81.33	63.15	62.734s	58.305s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	unsafe	19.47	7.07	6.766s	0.399s	safe	14.54	5.65	5.357s	0.520s	safe	13.19	5.28	4.943s	0.515s	unsafe	20.60	7.65	7.343s	0.541s	unsafe	10.28	4.01	3.712s	0.347s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	unsafe	14.66	9.44	9.027s	6.217s	segmentation fault	4.16	1.98	-	-	segmentation fault	4.16	2.07	-	-	unsafe	13.86	8.90	8.448s	5.849s	unsafe	10.55	6.73	6.339s	4.392s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	unknown	80.08	62.27	61.770s	57.223s	segmentation fault	5.30	2.46	-	-	segmentation fault	5.27	2.27	-	-	unknown	87.20	64.13	63.568s	54.217s	unknown	81.92	62.61	62.165s	52.617s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	6.14	2.89	2.610s	0.592s	segmentation fault	6.39	2.85	-	-	segmentation fault	6.33	2.94	-	-	unsafe	6.35	3.02	2.716s	0.590s	unsafe	4.63	2.28	1.988s	0.428s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	42.28	32.57	31.968s	22.560s	segmentation fault	5.18	2.52	-	-	segmentation fault	4.95	2.46	-	-	unsafe	46.25	36.39	34.955s	25.421s	unsafe	37.71	28.48	27.932s	19.951s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	5.52	2.50	2.231s	0.943s	segmentation fault	5.64	2.69	-	-	segmentation fault	5.50	2.55	-	-	unsafe	5.60	3.85	2.467s	0.887s	unsafe	4.48	2.20	1.896s	0.774s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	safe	9.61	5.70	5.347s	3.435s	segmentation fault	6.79	3.11	-	-	segmentation fault	7.31	9.15	-	-	safe	9.16	5.11	4.777s	3.235s	safe	6.82	4.01	3.710s	2.472s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	82.15	63.87	63.375s	61.417s	segmentation fault	16.15	8.46	-	-	segmentation fault	16.38	8.43	-	-	unknown	80.51	62.49	62.024s	59.981s	unknown	83.91	63.23	62.756s	61.141s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	safe	9.24	5.02	4.688s	3.094s	segmentation fault	3.40	1.60	-	-	segmentation fault	3.52	1.67	-	-	safe	8.83	4.72	4.387s	2.668s	safe	6.96	4.00	3.680s	2.334s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	unknown	83.15	63.59	63.057s	61.746s	segmentation fault	26.41	15.41	-	-	segmentation fault	23.73	13.00	-	-	unknown	86.39	64.20	63.622s	62.084s	unknown	82.98	61.96	61.438s	60.276s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	89.87	65.77	65.255s	61.880s	segmentation fault	34.06	16.25	-	-	segmentation fault	32.38	15.89	-	-	unknown	88.58	64.21	63.718s	60.390s	unknown	93.10	67.80	62.877s	60.255s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	4.05	2.00	1.736s	0.476s	safe	4.84	2.09	1.823s	0.792s	safe	4.74	2.12	1.839s	0.789s	unsafe	3.80	1.77	1.496s	0.403s	unsafe	3.22	1.62	1.349s	0.361s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	93.03	63.16	62.674s	56.738s	segmentation fault	17.13	8.85	-	-	segmentation fault	17.00	8.91	-	-	unknown	96.53	63.81	63.317s	56.955s	unknown	94.25	63.27	62.778s	54.155s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.92	1.88	1.626s	0.197s	segmentation fault	3.56	1.68	-	-	segmentation fault	3.51	1.71	-	-	unsafe	4.25	1.95	1.667s	0.167s	unsafe	2.81	1.46	1.208s	0.150s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	86.58	64.76	64.187s	61.368s	segmentation fault	44.44	23.45	-	-	segmentation fault	45.80	26.80	-	-	unknown	80.77	62.88	62.325s	59.800s	unknown	83.60	66.61	63.809s	61.774s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	88.46	62.62	62.106s	57.342s	segmentation fault	20.62	10.74	-	-	segmentation fault	19.03	9.99	-	-	unknown	91.68	63.82	63.254s	60.922s	unknown	83.78	61.84	61.350s	59.378s