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-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-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-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-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-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-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-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	26	20130.64	19026.65	26	13622.83	8633.91	26	8642.23	6707.17	2268374
correct results	4	366.80	240.06	16	3653.03	2180.18	20	3143.47	2582.63	1230552
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 (26 files, max score: 33)	6			19			23