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
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
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.16.BUG.c	timeout	997.29	839.55	unsafe	3.25	1.90	unsafe	132.74	102.53	963
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
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	35	7190.96	6359.00	35	17607.00	12425.76	35	5841.66	4620.90	2531939
correct results	10	1124.65	923.73	18	921.21	666.91	31	2215.30	1707.30	2060128
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 (35 files, max score: 52)	15			26			46