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-16.1722					12-02-17.0841					12-02-17.0927					12-02-17.1004					12-02-17.1041
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5628					-r5630					-r5637					-r5639					-r5643
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	65	1486.32	1132.24	813.294	686.471	65	1531.75	1157.74	885.404	742.476	65	688.01	460.88	250.655	182.755	65	687.28	472.14	248.838	183.607	65	1478.29	1118.64	760.006	627.287
correct results	37	313.77	188.15	175.755	107.842	37	332.68	196.87	184.534	111.901	13	44.14	25.80	21.848	9.363	13	44.46	26.64	22.706	9.953	37	318.32	194.47	178.773	109.522
false negatives	0	0	0	0	0	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
false positives	5	11.59	6.31	5.015	0.773	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
score (65 files, max score: 93)	34					34					-74					-74					34
pthread/fib_bench_BUG.cil.c	unknown	1.88	1.06	0.773s	0.029s	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
pthread/fib_bench_longer_BUG.cil.c	unknown	1.91	1.05	0.722s	0.029s	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
pthread/queue_BUG.cil.c	unknown	1.98	1.14	0.865s	0.100s	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
pthread/fib_bench.cil.c	unknown	1.53	0.90	0.626s	0.024s	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
pthread/fib_bench_longer.cil.c	unknown	1.74	1.02	0.734s	0.036s	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
pthread/queue_ok.cil.c	unknown	1.75	1.02	0.707s	0.100s	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
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c	unsafe	6.39	4.04	3.722s	2.311s	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
ntdrivers-simplified/floppy_simpl3_BUG.cil.c	unsafe	3.90	2.24	1.915s	0.890s	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
ntdrivers-simplified/floppy_simpl4_BUG.cil.c	unsafe	4.46	2.60	2.263s	1.060s	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
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c	unsafe	3.44	1.79	1.497s	0.539s	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
ntdrivers/cdaudio.BUG.i.cil.c	unsafe	10.26	5.62	5.250s	2.910s	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
ntdrivers/diskperf.BUG.i.cil.c	unsafe	5.96	3.57	3.266s	1.737s	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
ntdrivers/floppy.BUG.i.cil.c	unsafe	11.06	6.66	6.248s	4.000s	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
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	4.53	2.49	2.187s	0.878s	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
ssh-simplified/s3_srvr_7.cil.c	safe	22.50	18.23	17.732s	15.987s	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
ssh/s3_srvr.blast.07.i.cil.c	safe	14.31	9.75	9.278s	7.828s	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
ssh/s3_srvr.blast.08.i.cil.c	out of memory	87.20	83.27	-	-	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	-	-
ssh/s3_srvr.blast.09.i.cil.c	safe	13.38	8.93	8.470s	6.053s	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
ssh/s3_srvr.blast.16.i.cil.c	safe	16.05	11.34	10.830s	7.453s	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
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.30	1.19	0.936s	0.176s	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
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	1.89	1.05	0.789s	0.091s	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
heap-manipulation/merge_sort_BUG.cil.c	unsafe	2.06	1.14	0.897s	0.183s	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
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.38	1.33	1.079s	0.202s	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
heap-manipulation/dll_of_dll.cil.c	unknown	1.89	1.03	0.766s	0.079s	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
systemc/token_ring.01.BUG.cil.c	unsafe	2.94	1.53	1.270s	0.544s	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
systemc/token_ring.02.BUG.cil.c	unsafe	4.49	2.36	2.047s	1.245s	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
systemc/token_ring.03.BUG.cil.c	unsafe	8.24	3.97	3.593s	2.618s	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
systemc/transmitter.01.BUG.cil.c	unsafe	2.35	1.32	1.034s	0.292s	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
systemc/transmitter.02.BUG.cil.c	unsafe	3.14	1.77	1.482s	0.615s	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
systemc/transmitter.03.BUG.cil.c	unsafe	4.91	2.44	2.077s	1.222s	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
systemc/transmitter.04.BUG.cil.c	unsafe	8.86	4.44	4.075s	2.931s	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
systemc/mem_slave_tlm.1.cil.c	out of memory	51.52	46.17	-	-	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	-	-
systemc/mem_slave_tlm.2.cil.c	out of memory	54.22	49.20	-	-	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	-	-
systemc/mem_slave_tlm.4.cil.c	out of memory	60.04	54.61	-	-	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	segmentation fault	68.56	57.71	-	-	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	-	-
systemc/toy.cil.c	unknown	68.03	62.58	62.093s	59.077s	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	-	-
ldv-regression/mutex_lock_struct.c-unsafe.cil.c	unsafe	1.68	0.92	0.658s	0.020s	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
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c	unsafe	1.51	0.92	0.654s	0.029s	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
ldv-regression/rule60_list2.c-unsafe_1.cil.c	unsafe	2.02	1.08	0.815s	0.098s	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
ldv-regression/test_while_int.c-unsafe.cil.c	unsafe	1.81	0.94	0.683s	0.041s	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
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	unsafe	1.54	0.91	0.649s	0.015s	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
ldv-regression/oomInt.c-safe.cil.c	safe	1.54	0.87	0.613s	0.019s	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
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c	unsafe	1.58	0.96	0.681s	0.046s	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
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.22	5.48	5.174s	0.479s	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
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	16.51	9.07	8.703s	5.693s	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
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.42	5.14	4.855s	0.687s	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
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unknown	79.64	64.18	63.738s	39.311s	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
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.68	9.21	8.791s	6.318s	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
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	unknown	81.98	63.02	62.616s	60.158s	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
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.84	5.97	5.703s	0.365s	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
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.20	6.94	6.543s	4.485s	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
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	unknown	82.68	63.13	62.686s	58.048s	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
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	5.71	2.61	2.333s	0.543s	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
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	40.03	30.40	29.868s	21.359s	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
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	4.97	2.43	2.154s	0.959s	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
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	safe	8.21	4.78	4.482s	2.952s	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
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	84.17	63.54	63.082s	61.133s	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
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	safe	6.89	3.97	3.657s	2.323s	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
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	unknown	81.44	62.82	62.312s	61.170s	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
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	90.81	69.30	63.846s	61.245s	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
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.20	1.61	1.353s	0.361s	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
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	88.71	62.47	61.980s	57.026s	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
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	2.89	1.50	1.253s	0.149s	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
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	83.42	65.56	62.745s	60.678s	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
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	83.97	61.95	61.444s	59.522s	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