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.0902					12-02-16.1722					12-02-17.0841					12-02-17.0927					12-02-17.1004
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5623					-r5628					-r5630					-r5637					-r5639
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	1523.35	1160.10	835.388	690.802	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
correct results	37	331.45	207.28	192.499	116.696	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
false negatives	0	0	0	0	0	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
false positives	5	12.19	6.42	5.128	0.802	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
score (65 files, max score: 93)	34					34					34					-74					-74
pthread/fib_bench_BUG.cil.c	unknown	1.83	1.04	0.768s	0.024s	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
pthread/fib_bench_longer_BUG.cil.c	unknown	1.92	1.17	0.788s	0.031s	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
pthread/queue_BUG.cil.c	unknown	2.05	1.33	0.915s	0.117s	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
pthread/fib_bench.cil.c	unknown	1.90	1.10	0.758s	0.039s	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
pthread/fib_bench_longer.cil.c	unknown	1.74	1.09	0.711s	0.032s	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
pthread/queue_ok.cil.c	unknown	1.87	1.07	0.773s	0.079s	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
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c	unsafe	6.11	3.92	3.578s	2.114s	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
ntdrivers-simplified/floppy_simpl3_BUG.cil.c	unsafe	4.01	2.27	1.945s	0.826s	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
ntdrivers-simplified/floppy_simpl4_BUG.cil.c	unsafe	4.44	2.62	2.286s	1.105s	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
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c	unsafe	3.21	1.68	1.373s	0.510s	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
ntdrivers/cdaudio.BUG.i.cil.c	unsafe	10.41	5.51	5.151s	2.752s	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
ntdrivers/diskperf.BUG.i.cil.c	unsafe	6.25	3.68	3.365s	1.813s	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
ntdrivers/floppy.BUG.i.cil.c	unsafe	11.47	6.70	6.345s	3.992s	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
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	4.50	2.46	2.129s	0.863s	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
ssh-simplified/s3_srvr_7.cil.c	safe	23.39	18.93	18.415s	16.650s	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	-	-
ssh/s3_srvr.blast.07.i.cil.c	safe	15.55	10.97	10.514s	8.900s	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
ssh/s3_srvr.blast.08.i.cil.c	out of memory	90.69	86.59	-	-	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
ssh/s3_srvr.blast.09.i.cil.c	safe	12.18	8.13	7.684s	5.550s	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
ssh/s3_srvr.blast.16.i.cil.c	safe	16.65	11.87	11.384s	8.022s	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
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.59	1.45	1.196s	0.188s	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	-	-
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	1.90	1.04	0.796s	0.080s	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
heap-manipulation/merge_sort_BUG.cil.c	unsafe	2.27	1.16	0.914s	0.162s	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
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.26	1.19	0.905s	0.160s	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	-	-
heap-manipulation/dll_of_dll.cil.c	unknown	1.85	1.03	0.789s	0.099s	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
systemc/token_ring.01.BUG.cil.c	unsafe	2.89	1.54	1.265s	0.545s	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
systemc/token_ring.02.BUG.cil.c	unsafe	4.92	2.50	2.201s	1.344s	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
systemc/token_ring.03.BUG.cil.c	unsafe	7.58	3.75	3.391s	2.399s	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
systemc/transmitter.01.BUG.cil.c	unsafe	2.12	1.18	0.919s	0.266s	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
systemc/transmitter.02.BUG.cil.c	unsafe	2.88	1.55	1.292s	0.589s	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
systemc/transmitter.03.BUG.cil.c	unsafe	4.79	2.31	2.010s	1.204s	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
systemc/transmitter.04.BUG.cil.c	unsafe	8.62	4.56	4.209s	3.106s	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
systemc/mem_slave_tlm.1.cil.c	out of memory	52.33	47.03	-	-	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
systemc/mem_slave_tlm.2.cil.c	out of memory	53.92	48.56	-	-	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
systemc/mem_slave_tlm.4.cil.c	out of memory	56.44	51.37	-	-	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
systemc/token_ring.04.cil.c	unknown	72.87	61.48	60.692s	54.659s	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
systemc/toy.cil.c	out of memory	67.73	62.49	-	-	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
ldv-regression/mutex_lock_struct.c-unsafe.cil.c	unsafe	1.45	0.76	0.533s	0.015s	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
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c	unsafe	1.48	0.84	0.613s	0.028s	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
ldv-regression/rule60_list2.c-unsafe_1.cil.c	unsafe	1.67	0.92	0.677s	0.089s	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
ldv-regression/test_while_int.c-unsafe.cil.c	unsafe	1.49	0.81	0.560s	0.037s	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	-	-
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	unsafe	1.55	0.88	0.610s	0.015s	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
ldv-regression/oomInt.c-safe.cil.c	safe	1.74	0.91	0.633s	0.023s	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	-	-
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c	unsafe	1.71	1.05	0.799s	0.063s	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
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.94	5.53	5.209s	0.446s	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
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	18.01	10.15	9.736s	5.955s	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	-	-
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.36	5.07	4.794s	0.640s	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	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unknown	76.55	63.35	62.857s	39.333s	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	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	16.99	8.59	8.204s	5.749s	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	-	-
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	unknown	83.92	63.33	62.825s	60.302s	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	-	-
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.80	8.54	8.252s	1.491s	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
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	unsafe	12.03	17.18	14.399s	8.039s	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	-	-
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	unknown	81.87	67.20	66.679s	57.047s	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	-	-
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	6.34	2.96	2.658s	0.590s	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	-	-
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	46.59	34.34	33.758s	24.171s	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	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	5.33	2.42	2.115s	0.891s	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	-	-
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	safe	8.96	5.23	4.800s	3.070s	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	-	-
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	82.32	63.17	62.689s	60.601s	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	-	-
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	safe	7.44	4.29	3.992s	2.562s	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	-	-
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	unknown	85.09	62.46	61.939s	60.766s	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	-	-
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	90.77	69.67	64.564s	61.806s	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	-	-
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.44	1.68	1.430s	0.376s	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
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	98.85	62.98	62.447s	56.379s	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	-	-
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.23	1.62	1.384s	0.188s	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	-	-
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	85.43	64.96	64.391s	61.871s	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	-	-
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	85.87	62.89	62.380s	60.039s	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	-	-