Tool	CPAchecker 1.1-svn
Limits	timelimit: 1000 s, memlimit: 15000 MB
System	host: cs-sel-05 os: Linux 2.6.35-32-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-06.0431			12-03-06.0824			12-03-05.0944
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/systemc/	status	cputime	walltime	status	cputime	walltime	status	cputime	walltime	cond. size
kundu1_BUG.c	unsafe	1.66	1.04	unsafe	6.08	3.56	unsafe	2.15	1.24	598
kundu2_BUG.c	unsafe	1.42	0.94	unsafe	6.25	3.95	unsafe	1.56	1.00	498
pc_sfifo_1_BUG.c	timeout	968.54	902.00	unsafe	1.54	0.97	unsafe	119.06	108.01	333265
pc_sfifo_2_BUG.c	timeout	980.53	902.19	unsafe	1.58	0.99	unsafe	119.80	107.23	395121
pipeline_BUG.c	unknown	12.11	9.39	unsafe	14.66	10.36	unsafe	98.29	69.29	72742
token_ring.01.BUG.c	unknown	1.51	1.00	unsafe	2.62	1.59	unsafe	2.83	1.51	405
token_ring.02.BUG.c	unknown	1.81	1.13	unsafe	4.60	2.33	unsafe	3.32	1.79	793
token_ring.03.BUG.c	unknown	2.28	1.31	unsafe	6.67	3.56	unsafe	4.76	2.39	1668
token_ring.04.BUG.c	unknown	2.76	1.49	unsafe	16.96	11.40	unsafe	6.11	2.96	3661
token_ring.05.BUG.c	unknown	3.52	1.95	unsafe	89.20	68.47	unsafe	9.64	4.42	8178
token_ring.06.BUG.c	unknown	4.69	2.60	unsafe	101.57	74.54	unsafe	12.88	6.28	18319
token_ring.07.BUG.c	unknown	7.99	4.90	timeout	997.05	757.72	unsafe	21.10	12.31	40860
token_ring.08.BUG.c	unknown	19.07	13.97	timeout	997.51	711.55	unsafe	45.85	29.77	90505
token_ring.09.BUG.c	unknown	60.79	48.71	timeout	997.59	672.58	unsafe	124.11	90.84	198966
token_ring.14.BUG.c	unsafe	489.46	402.27	timeout	997.40	807.37	timeout	996.92	871.77	846
toy1_BUG.c	unsafe	1.48	0.97	unsafe	91.55	60.76	unsafe	1.67	1.03	539
toy2_BUG.c	unsafe	1.48	0.97	unsafe	88.78	61.23	unsafe	1.68	1.03	536
transmitter.01.BUG.c	unsafe	1.39	0.91	unsafe	2.07	1.24	unsafe	1.49	0.96	237
transmitter.02.BUG.c	unsafe	1.64	0.98	unsafe	2.52	1.51	unsafe	1.86	1.07	373
transmitter.03.BUG.c	unsafe	1.64	1.05	unsafe	4.28	2.26	unsafe	2.09	1.17	537
transmitter.04.BUG.c	unsafe	2.12	1.18	unsafe	8.38	4.30	unsafe	2.23	1.27	729
transmitter.05.BUG.c	unsafe	2.06	1.27	unsafe	8.70	5.00	unsafe	2.66	1.45	949
transmitter.06.BUG.c	unsafe	2.51	1.48	unsafe	24.93	17.93	unsafe	2.72	1.63	1197
transmitter.07.BUG.c	unsafe	3.15	1.82	unsafe	79.60	56.08	unsafe	3.71	2.09	1473
transmitter.08.BUG.c	unsafe	5.18	2.90	unsafe	519.29	345.34	unsafe	5.74	3.24	1777
transmitter.09.BUG.c	unsafe	9.41	6.83	timeout	997.72	617.98	unsafe	11.19	7.93	2109
transmitter.10.BUG.c	unsafe	29.00	23.91	timeout	997.40	661.94	unsafe	32.13	26.25	2469
transmitter.11.BUG.c	unsafe	110.89	92.15	timeout	997.55	674.78	unsafe	112.46	95.73	2857
transmitter.12.BUG.c	unsafe	476.54	393.08	timeout	997.20	813.32	timeout	997.24	865.58	874
transmitter.15.BUG.c	unsafe	489.84	397.69	unsafe	3.16	1.82	unsafe	127.51	102.52	916
transmitter.16.BUG.c	timeout	997.29	839.55	unsafe	3.25	1.90	unsafe	132.74	102.53	963
bist_cell.c	safe	1.28	0.82	safe	2.07	1.23	safe	1.34	0.86	1
kundu.c	safe	5.98	3.80	safe	14.01	10.74	safe	6.73	4.07	1
mem_slave_tlm.1.c	safe	1.83	1.01	timeout	997.14	610.57	safe	1.99	1.09	1
mem_slave_tlm.2.c	safe	1.73	1.05	timeout	997.19	586.64	safe	1.94	1.12	1
mem_slave_tlm.3.c	safe	1.83	1.10	timeout	997.52	711.69	safe	2.37	1.22	1
mem_slave_tlm.4.c	safe	1.95	1.15	timeout	997.57	667.10	safe	2.20	1.24	1
mem_slave_tlm.5.c	safe	2.01	1.18	timeout	997.41	629.50	safe	2.55	1.31	1
pc_sfifo_1.c	timeout	971.08	901.97	safe	4.40	2.15	safe	307.75	262.63	334009
pc_sfifo_2.c	timeout	981.72	902.19	safe	4.33	2.41	safe	227.04	201.30	389195
pc_sfifo_3.c	safe	1.57	0.92	safe	1.99	1.13	safe	1.74	1.00	1
pipeline.c	unknown	12.02	9.39	safe	88.49	64.20	out of memory	634.53	578.48	72742
token_ring.01.c	unknown	1.41	0.92	safe	4.31	2.03	safe	2.53	1.42	392
token_ring.02.c	unknown	1.59	1.03	safe	7.34	4.41	safe	3.99	2.06	779
token_ring.03.c	unknown	1.98	1.18	safe	49.01	36.57	safe	6.93	2.98	1652
token_ring.04.c	unknown	2.49	1.40	safe	320.15	255.09	safe	9.41	4.71	3641
token_ring.05.c	unknown	3.32	1.84	timeout	973.05	685.49	safe	18.55	10.71	8150
token_ring.06.c	unknown	4.49	2.45	out of memory	752.11	544.07	safe	42.57	31.19	18275
token_ring.07.c	unknown	7.24	4.81	timeout	997.29	815.15	safe	145.39	106.51	40784
token_ring.08.c	unknown	18.96	13.76	timeout	997.09	791.40	safe	583.82	408.57	90365
toy.c	timeout	997.12	864.14	safe	200.53	123.94	timeout	997.67	597.77	397349
total files	51	7715.36	6777.74	51	18470.66	13003.84	51	6008.54	4746.53	2542301
correct results	26	1649.05	1342.47	34	1784.87	1244.99	47	2382.18	1832.93	2070490
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 (51 files, max score: 71)	34			45			65