Tool	CPAchecker 1.1-svn
Limits	timelimit: 1000 s, memlimit: 15000 MB
System	host: cs-sel-06 os: Linux 2.6.35-30-generic x86_64 cpu: Intel(R) Core(TM) i7-2600K CPU @ 3.40GHz cores: 4, frequency: 3401 MHz, ram: 16375440 kB
Date of run	12-03-12.1230			12-03-13.1529			12-03-13.0146
Test	explicit			predicate			cmc
Options	-noout -heap 12000m -config config/explicitAnalysis.properties			-noout -heap 12000m -config config/predicateAnalysis-cbmc.properties			-noout -heap 12000m -config config/cmc-explicit-100s+predicate.properties
programs/drivers64+mem_slave_tlm.1/	status	cputime	walltime	status	cputime	walltime	status	cputime	walltime	cond. size
mem_slave_tlm.1.cil.c+module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	915.01	910.55	unsafe	592.34	375.96	unsafe	241.29	217.65	3746
mem_slave_tlm.1.cil.c+module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	928.99	902.05	timeout	996.75	622.42	unsafe	166.82	140.12	60314
mem_slave_tlm.1.cil.c+module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	930.51	902.35	unsafe	452.78	255.37	unsafe	316.58	221.51	39782
mem_slave_tlm.1.cil.c+module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c.i	safe	215.64	153.23	timeout	997.21	648.53	timeout	997.41	826.69	81706
mem_slave_tlm.1.cil.c+module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	927.75	903.72	unsafe	192.27	112.47	unsafe	156.45	133.20	25427
mem_slave_tlm.1.cil.c+module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c.i	unsafe	6.32	2.97	timeout	997.09	592.14	unsafe	8.14	3.76	2554
mem_slave_tlm.1.cil.c+module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	942.92	902.59	timeout	997.00	631.30	unsafe	166.47	142.71	119668
mem_slave_tlm.1.cil.c+module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c.i	timeout	962.33	902.34	timeout	996.64	574.18	safe	185.08	156.33	225378
mem_slave_tlm.1.cil.c+module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c.i	timeout	933.56	902.65	unsafe	623.80	378.82	unsafe	368.26	271.09	135473
mem_slave_tlm.1.cil.c+module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c.i	unknown	6.72	3.26	unsafe	138.61	84.34	unsafe	53.19	37.20	2634
mem_slave_tlm.1.cil.c+module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	917.88	910.37	timeout	997.20	625.16	unsafe	163.72	143.96	9447
mem_slave_tlm.1.cil.c+usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c.i	unsafe	100.06	98.06	unsafe	284.72	267.10	unsafe	101.53	98.50	2540
mem_slave_tlm.1.cil.c+usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c.i	unsafe	4.20	2.33	timeout	997.02	627.25	unsafe	4.51	2.28	2115
mem_slave_tlm.1.cil.c+usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c.i	timeout	913.16	908.17	timeout	997.04	618.65	safe	170.89	143.51	13372
mem_slave_tlm.1.cil.c+usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c.i	unsafe	6.33	3.06	unsafe	418.54	248.63	unsafe	5.92	2.73	3125
mem_slave_tlm.1.cil.c+usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	915.39	902.98	timeout	996.66	632.11	unsafe	193.74	171.38	38668
mem_slave_tlm.1.cil.c+usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c.i	timeout	979.45	902.55	unsafe	393.89	220.96	unsafe	168.02	138.35	184755
module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	unsafe	86.83	81.65	unsafe	89.87	83.69	unsafe	87.27	82.38	2504
module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	929.79	902.00	unsafe	15.84	9.03	out of native memory	418.14	336.55	57256
module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	930.46	902.56	unsafe	144.26	77.66	timeout	997.17	852.43	36549
module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	997.14	674.21	safe	187.05	115.83	timeout	996.80	795.62	640271
module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	safe	140.64	81.53	timeout	997.19	881.99	safe	124.25	77.43	1
module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	929.09	903.13	unsafe	8.86	3.95	unsafe	116.15	106.55	25276
module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	unsafe	7.34	3.26	unsafe	78.70	65.56	unsafe	8.67	3.89	1886
module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	948.59	902.68	unsafe	16.54	8.35	unsafe	133.71	118.31	117639
module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	990.58	902.70	safe	452.61	272.39	timeout	996.84	613.72	209219
module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	unsafe	8.06	3.35	unsafe	9.07	3.96	unsafe	9.27	3.73	1830
module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	922.09	914.94	unsafe	10.28	4.81	unsafe	117.40	108.49	8653
usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	unsafe	101.17	103.05	unsafe	111.07	122.33	unsafe	102.01	98.81	1872
usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	unsafe	4.06	4.59	unsafe	88.25	65.33	unsafe	4.65	2.38	1447
usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	906.41	901.66	safe	378.29	226.62	timeout	1092.40	699.53	12821
usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	unsafe	5.81	2.85	unsafe	6.78	3.43	unsafe	5.67	2.77	2457
usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	941.74	926.53	unsafe	39.58	30.50	unsafe	153.33	136.50	38000
usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c+mem_slave_tlm.1.cil.c.i	timeout	994.28	902.60	unsafe	6.03	3.12	unsafe	135.47	112.30	177650
total files	34	20450.30	19326.52	34	14709.83	9493.94	34	8967.22	7002.36	2286035
correct results	12	686.46	539.93	24	4740.03	3040.21	28	3468.46	2877.82	1248213
false negatives	0	0	0	0	0	0	0	0	0	0
false positives	0	0	0	0	0	0	0	0	0	0
score (34 files, max score: 41)	14			27			31