This page displays the table as of the paper submission.

POPL'10 McDash Timing Results

Program	Outcome	IA-32 (x86)									PowerPC
		ICFG Available					ICFG Not Available				ICFG Not Available
		#Instrs	CE	SE	Ref	Time	CE	SE	Ref	Time	CE	SE	Ref	Time
badBuggy	counterex.	41	2	1	0	0.17	2	6	5	0.27	2	10	9	0.35
barber	**	191	**	**	**	**	**	**	**	**	**	**	**	**
berkeley	counterex.	84	24	278	736	435.45	18	97	210	450.16	**	**	**	**
berkeley-nat	counterex.	73	24	294	808	585.30	7	100	257	651.19	??	??	??	??
cars	proof	121	6	107	341	50.60	9	96	359	409.18	5	156	296	883.10
efm	counterex.	142	4	307	1015	324.22	**	**	**	**	**	**	**	**
fig6	proof	21	2	4	13	1.01	2	19	30	3.52	2	50	73	19.84
fig7	counterex.	21	2	1	0	0.06	2	6	5	0.13	2	10	9	0.24
fig8	proof	70	6	11	61	1.65	6	71	126	37.76	6	384	453	654.04
fig9	proof	24	1	4	18	0.82	1	15	22	2.38	1	25	31	6.46
prog1	proof	17	1	4	20	0.97	1	19	36	3.23	??	??	??	??
prog2	proof	29	1	4	22	0.52	1	24	31	2.32	1	46	53	7.75
prog3	proof	22	1	3	14	0.34	1	19	31	2.46	1	3	4	0.04
prog4	proof	49	2	8	40	3.22	2	41	55	15.93	2	83	98	68.01
prog5	proof	26	1	3	18	0.46	1	23	39	3.72	1	59	85	14.69
test1	proof	27	2	5	27	1.27	2	25	48	8.88	2	40	95	32.52
test2	proof	36	2	9	48	1.78	2	35	74	14.51	2	53	134	32.01