This page will be updated over time to show the latest results.

Latest 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.48	2	6	5	0.297	2	8	7	0.57
barber	**	191	**	**	**	**	**	**	**	**	**	**	**	**
berkeley	counterex.	84	11	29	186	29.96	15	63	229	168.93	15	121	265	314.85
berkeley-nat	counterex.	12	33	239	239	32.17	14	67	238	204.76	10	67	226	116.93
cars	proof	121	7	152	423	33.64	10	89	445	371.04	8	99	397	301.26
efm	counterex.	142	11	55	632	140.06	**	**	**	**	**	**	**	**
fig6	proof	21	2	3	13	0.93	2	19	30	3.52	2	24	35	5.328
fig7	counterex.	21	2	1	0	0.06	2	6	5	0.14	2	8	7	0.25
fig8	proof	70	6	11	61	0.875	6	71	126	22.82	1	11	12	9.70
fig9	proof	24	1	3	19	0.48	1	15	34	2.07	1	17	36	2.61
prog1	proof	17	1	4	20	0.37	1	17	46	1.92	1	23	34	1.70
prog2	proof	29	1	4	22	0.42	1	24	31	1.65	1	30	35	1.95
prog3	proof	22	1	3	14	0.29	1	19	31	1.51	1	25	36	1.87
prog4	proof	49	2	9	47	2.00	2	41	55	12.96	2	37	90	14.35
prog5	proof	26	1	3	18	0.32	1	23	39	2.09	1	28	44	2.07
test1	proof	27	2	5	27	0.76	2	26	56	6.98	2	33	59	8.23
test2	proof	36	2	9	48	1.25	2	37	85	10.37	2	46	88	10.18