The Time ratio is the ratio between Eddy_Murphi and Standard Murphi execution times (average on last column number of trials)

Protocol	Number of nodes	Number of lines	Lines size	Time ratio		Number of trials
sci.3.1.1.5.1	60	8	1024	0.015575	0.000002	2
	50	8	1024	0.021312	0.000003	2
	40	32	1024	0.023984	0.000019	3
	40	16	1024	0.023989	0.000158	4
	40	8	1024	0.024058	0.000052	5
	40	2	1024	0.024136	0.000072	5
	40	1	1024	0.024215	0.000091	5
	40	4	512	0.024242	0.000051	4
	40	1	512	0.024340	0.000032	4
	40	16	512	0.024342	0.000304	5
	40	16	256	0.024449	0.000136	3
	40	512	2	0.025882	0.000193	2
	40	512	1	0.025982	0.000000	1
	30	8	1024	0.035515	0.000024	2
	20	32	1024	0.046594	0.000106	2
	20	2	1024	0.046677	0.000042	2
	20	16	1024	0.046717	0.000083	2
	20	8	1024	0.046884	0.000141	2
	20	1	512	0.047178	0.000028	2
	20	512	2	0.049087	0.000043	2
	20	512	1	0.050456	0.000208	2
	10	16	1024	0.106446	0.000245	2
	10	32	1024	0.106805	0.000177	2
	10	8	1024	0.106833	0.000013	2
	10	1	512	0.107657	0.000007	2
	10	2	1024	0.107824	0.000086	2
	10	512	2	0.111305	0.000313	3
	10	512	1	0.113177	0.000372	4
mcslock1.6	60	8	1024	0.021726	0.000025	2
	50	8	1024	0.025822	0.000005	2
	40	8	1024	0.036240	0.000010	2
	30	8	1024	0.042524	0.000093	2
	20	8	1024	0.063254	0.000089	2
	10	8	1024	0.124924	0.000040	2
ldash.1.4.1.false	60	8	1024	0.022292	0.000394	2
	50	8	1024	0.025572	0.000024	2
	40	8	1024	0.033575	0.001204	2
	30	8	1024	0.044053	0.001380	2
	20	8	1024	0.066087	0.000736	2
	10	8	1024	0.129645	0.002620	2
peterson.9	50	8	1024	0.029535	0.000131	2
	60	8	1024	0.034666	0.000144	2
	30	8	1024	0.046191	0.000090	2
	40	8	1024	0.086707	0.000030	2
	20	8	1024	0.093294	0.000192	2
	10	8	1024	0.128439	0.000227	2
newlist6.8	60	8	1024	0.016934	0.000018	2
	50	8	1024	0.020729	0.000006	2
	40	8	1024	0.025175	0.000000	2
	30	8	1024	0.034634	0.000033	2
	20	8	1024	0.050914	0.000026	2
	10	8	1024	0.104249	0.000010	2