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.0032					12-02-16.0902					12-02-16.1722					12-02-17.0841					12-02-17.0927
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5621					-r5623					-r5628					-r5630					-r5637
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	1496.60	1135.49	814.974	677.695	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
correct results	37	314.78	191.86	179.666	109.206	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
false negatives	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	25	105.60	53.51	46.055	17.850
false positives	5	11.97	6.46	5.155	0.781	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
score (65 files, max score: 93)	34					34					34					34					-74
pthread/fib_bench_BUG.cil.c	unknown	1.64	0.95	0.696s	0.034s	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
pthread/fib_bench_longer_BUG.cil.c	unknown	1.90	1.19	0.836s	0.035s	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
pthread/queue_BUG.cil.c	unknown	2.15	1.29	1.000s	0.097s	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
pthread/fib_bench.cil.c	unknown	1.62	0.93	0.676s	0.033s	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
pthread/fib_bench_longer.cil.c	unknown	1.55	0.89	0.643s	0.034s	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
pthread/queue_ok.cil.c	unknown	1.94	1.07	0.807s	0.105s	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
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c	unsafe	6.12	3.78	3.386s	2.062s	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
ntdrivers-simplified/floppy_simpl3_BUG.cil.c	unsafe	3.96	2.28	1.919s	0.803s	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
ntdrivers-simplified/floppy_simpl4_BUG.cil.c	unsafe	4.63	2.68	2.343s	1.079s	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
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c	unsafe	3.19	1.68	1.427s	0.577s	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
ntdrivers/cdaudio.BUG.i.cil.c	unsafe	10.50	5.59	5.212s	2.768s	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
ntdrivers/diskperf.BUG.i.cil.c	unsafe	6.32	3.80	3.451s	1.925s	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
ntdrivers/floppy.BUG.i.cil.c	unsafe	12.47	7.78	7.418s	4.866s	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
ntdrivers/kbfiltr.BUG.i.cil.c	unsafe	4.57	2.49	2.182s	0.888s	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
ssh-simplified/s3_srvr_7.cil.c	safe	22.66	18.33	17.870s	16.056s	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	-	-
ssh/s3_srvr.blast.07.i.cil.c	safe	13.56	9.47	9.015s	7.524s	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
ssh/s3_srvr.blast.08.i.cil.c	out of memory	87.17	83.01	-	-	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
ssh/s3_srvr.blast.09.i.cil.c	safe	12.45	8.22	7.791s	5.562s	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
ssh/s3_srvr.blast.16.i.cil.c	safe	15.66	11.04	10.551s	7.289s	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
heap-manipulation/bubble_sort_linux_BUG.cil.c	unsafe	2.46	1.31	1.058s	0.186s	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	-	-
heap-manipulation/dll_of_dll_BUG.cil.c	unknown	2.02	1.11	0.819s	0.097s	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
heap-manipulation/merge_sort_BUG.cil.c	unsafe	2.20	1.18	0.912s	0.172s	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
heap-manipulation/bubble_sort_linux.cil.c	unsafe	2.28	1.21	0.958s	0.199s	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	-	-
heap-manipulation/dll_of_dll.cil.c	unknown	1.77	1.03	0.782s	0.089s	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
systemc/token_ring.01.BUG.cil.c	unsafe	2.97	1.59	1.319s	0.558s	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
systemc/token_ring.02.BUG.cil.c	unsafe	4.60	2.37	2.074s	1.235s	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
systemc/token_ring.03.BUG.cil.c	unsafe	8.52	4.25	3.820s	2.730s	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
systemc/transmitter.01.BUG.cil.c	unsafe	2.11	1.18	0.900s	0.261s	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
systemc/transmitter.02.BUG.cil.c	unsafe	2.80	1.48	1.207s	0.527s	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
systemc/transmitter.03.BUG.cil.c	unsafe	4.84	2.41	2.097s	1.257s	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
systemc/transmitter.04.BUG.cil.c	unsafe	9.30	4.72	4.358s	3.288s	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
systemc/mem_slave_tlm.1.cil.c	out of memory	51.88	46.88	-	-	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
systemc/mem_slave_tlm.2.cil.c	out of memory	54.32	49.07	-	-	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
systemc/mem_slave_tlm.4.cil.c	segmentation fault	63.04	57.60	-	-	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
systemc/token_ring.04.cil.c	segmentation fault	68.20	56.17	-	-	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
systemc/toy.cil.c	unknown	66.93	61.16	60.703s	57.826s	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
ldv-regression/mutex_lock_struct.c-unsafe.cil.c	unsafe	1.46	0.76	0.533s	0.015s	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
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c	unsafe	1.66	0.92	0.674s	0.028s	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
ldv-regression/rule60_list2.c-unsafe_1.cil.c	unsafe	1.68	0.93	0.679s	0.086s	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
ldv-regression/test_while_int.c-unsafe.cil.c	unsafe	1.45	0.78	0.555s	0.036s	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	-	-
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	unsafe	1.85	1.02	0.760s	0.024s	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
ldv-regression/oomInt.c-safe.cil.c	safe	1.69	0.90	0.659s	0.023s	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	-	-
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c	unsafe	1.82	1.18	0.894s	0.053s	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
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.15	5.27	4.984s	0.496s	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
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.28	9.31	8.944s	6.010s	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	-	-
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c	unsafe	13.12	4.98	4.701s	0.660s	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	-	-
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c	unknown	76.82	63.62	63.147s	39.161s	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	-	-
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c	unsafe	17.29	8.94	8.503s	6.012s	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	-	-
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c	unknown	82.47	63.81	63.376s	60.764s	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	-	-
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.24	10.15	9.880s	1.494s	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
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c	unsafe	11.39	7.44	7.093s	4.894s	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	-	-
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c	unknown	83.73	63.28	62.784s	54.610s	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	-	-
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c	unsafe	5.14	2.46	2.194s	0.483s	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	-	-
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c	unsafe	41.81	30.07	29.506s	21.023s	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	-	-
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c	unsafe	4.74	2.32	2.048s	0.840s	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	-	-
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c	safe	8.80	5.04	4.741s	3.165s	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	-	-
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	83.31	62.11	61.650s	59.790s	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	-	-
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c	safe	6.99	3.96	3.662s	2.328s	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	-	-
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c	unknown	83.19	61.94	61.415s	60.268s	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	-	-
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	90.11	69.33	63.847s	61.270s	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	-	-
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	3.18	1.60	1.341s	0.356s	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
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c	unknown	93.08	62.77	62.240s	54.993s	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	-	-
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c	unsafe	2.84	1.45	1.202s	0.149s	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	-	-
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	82.02	64.71	61.893s	59.862s	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	-	-
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	88.99	63.25	62.839s	58.640s	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	-	-