Prover	Thm%	Uniq	ST⌀	STΣ	Thm	Maybe	Empty	Err	Found
2013-11-28-empty	53.045	44	0.095	102.21	1080	0	956	0	2036
2013-12-11-initial2-r1.5-5+named.txt	47.200	0	0.042	40.83	961	0	1075	0	2036
2013-12-11-initial2-r1.5-100+named.txt	46.807	2	0.046	44.24	953	0	1083	0	2036
2013-12-02-pagerank-r1.5.txt	46.660	0	0.041	39.33	950	0	1086	0	2036
2013-12-08-initial2-r1.5-1+named.txt	46.660	0	0.043	40.40	950	0	1086	0	2036
2013-11-30-pagerank-r1.5.txt	46.611	0	0.041	38.93	949	0	1087	0	2036
2013-12-08-pagerank-r1.5.txt	46.611	0	0.041	39.28	949	0	1087	0	2036
2013-12-11-initial2-r1.5-10+named.txt	46.267	0	0.044	41.24	942	0	1094	0	2036
2013-12-08-initial2-r0.5-1+named.txt	46.169	2	0.044	41.48	940	0	1096	0	2036
2013-12-11-initial2-r1.5-2+named.txt	46.120	0	0.041	38.63	939	0	1097	0	2036
2013-12-06-initial2-r1-1+named.txt	45.874	0	0.040	37.08	934	0	1102	0	2036
2013-12-08-initial2-r1-1+named.txt	45.874	0	0.040	37.16	934	0	1102	0	2036
2013-12-06-initial2-r1-1.txt	45.432	4	0.043	39.86	925	0	1111	0	2036
2013-12-06-initial-r1-1+named.txt	45.088	3	0.047	43.17	918	0	1118	0	2036
2013-12-02-pagerank-r1.5+named.txt	44.843	3	0.044	40.24	913	0	1123	0	2036
2013-12-06-initial-r1-1.txt	44.794	1	0.044	39.71	912	0	1124	0	2036
2013-11-28-initial-r1.0-1.txt	44.646	3	0.046	41.91	909	0	1127	0	2036
2013-11-30-pagerank-r1.0.txt	44.597	1	0.040	36.38	908	0	1128	0	2036
2013-12-02-pagerank-r1.txt	44.597	0	0.040	36.08	908	0	1128	0	2036
2013-12-06-pagerank-r1.txt	44.597	0	0.040	36.08	908	0	1128	0	2036
2013-12-02-pagerank-r0.5+named.txt	44.499	4	0.047	42.47	906	0	1130	0	2036
2013-12-02-pagerank-r1+named.txt	44.106	0	0.039	35.05	898	0	1138	0	2036
2013-12-06-pagerank-r1+named.txt	44.106	0	0.039	35.05	898	0	1138	0	2036
2013-11-30-pagerank-r0.5.txt	43.713	0	0.040	35.98	890	0	1146	0	2036
2013-12-08-pagerank-no-S-r0.5.txt	43.468	0	0.041	36.38	885	0	1151	0	2036
2013-12-08-pagerank-no-S-r1.5.txt	43.468	1	0.040	35.17	885	0	1151	0	2036
2013-12-02-pagerank-r0.5.txt	43.418	0	0.040	35.32	884	0	1152	0	2036
2013-12-08-pagerank-r0.5.txt	43.418	0	0.040	35.03	884	0	1152	0	2036
2013-12-06-PRonly-r1.txt	43.222	2	0.044	38.95	880	0	1156	0	2036
2013-12-08-pagerank-no-S-r1.txt	42.829	1	0.040	35.20	872	0	1164	0	2036
2013-12-06-PRonly-r1+named.txt	42.338	1	0.042	36.15	862	0	1174	0	2036
	61.640				1255				2036

Greedy sequence

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
2013-11-28-empty	53.045	1080		1080		1080
2013-12-08-initial2-r1.5-1+named.txt	56.041	1141	1141		1141	1141
2013-12-06-PRonly-r1.txt	57.613	1173		1173	1173	1173
2013-12-02-pagerank-r0.5+named.txt	58.644	1194	1194		1194	1194
2013-11-30-pagerank-r0.5.txt	59.185	1205		1205	1205	1205	= 2013-12-08-pagerank-r0.5.txt = 2013-12-02-pagerank-r0.5.txt = 2013-12-06-initial-r1-1+named.txt
2013-12-06-initial-r1-1+named.txt	59.725	1216	1216		1216	1216
2013-12-08-initial2-r0.5-1+named.txt	60.069	1223		1223	1223	1223
2013-11-30-pagerank-r1.0.txt	60.314	1228	1228		1228	1228	= 2013-12-06-initial2-r1-1.txt = 2013-12-02-pagerank-r1.txt = 2013-12-06-pagerank-r1.txt = ... (5)
2013-12-06-initial2-r1-1.txt	60.560	1233		1233	1232	1233
2013-11-28-initial-r1.0-1.txt	60.756	1237	1237		1237	1237	= 2013-12-02-pagerank-r1.5+named.txt
2013-12-02-pagerank-r1.5+named.txt	60.953	1241		1241	1241	1241
2013-12-11-initial2-r1.5-100+named.txt	61.100	1244	1244		1244	1244	= 2013-12-11-initial2-r1.5-10+named.txt = 2013-12-11-initial2-r1.5-5+named.txt = 2013-12-06-pagerank-r1+named.txt = ... (4)
2013-12-11-initial2-r1.5-10+named.txt	61.198	1246		1246	1246	1246	= 2013-12-11-initial2-r1.5-5+named.txt = 2013-12-02-pagerank-r1.5.txt = 2013-11-30-pagerank-r1.5.txt = ... (6)
2013-12-02-pagerank-r1.5.txt	61.297	1248	1248		1248	1248	= 2013-11-30-pagerank-r1.5.txt = 2013-12-06-pagerank-r1+named.txt = 2013-12-08-pagerank-r1.5.txt = ... (4)
2013-12-06-pagerank-r1+named.txt	61.395	1250		1250	1250	1250	= 2013-12-02-pagerank-r1+named.txt
2013-12-06-initial-r1-1.txt	61.444	1251	1251		1251	1251	= 2013-12-08-pagerank-no-S-r1.txt = 2013-12-02-pagerank-r1.txt = 2013-12-06-PRonly-r1+named.txt = ... (5)
2013-12-08-pagerank-no-S-r1.txt	61.493	1252		1252	1252	1252	= 2013-12-02-pagerank-r1.txt = 2013-12-06-PRonly-r1+named.txt = 2013-12-06-pagerank-r1.txt = ... (4)
2013-12-02-pagerank-r1.txt	61.542	1253	1253		1253	1253	= 2013-12-06-PRonly-r1+named.txt = 2013-12-06-pagerank-r1.txt = 2013-12-08-pagerank-no-S-r1.5.txt
2013-12-06-PRonly-r1+named.txt	61.591	1254		1254	1254	1254	= 2013-12-08-pagerank-no-S-r1.5.txt
2013-12-08-pagerank-no-S-r1.5.txt	61.640	1255	1255		1255	1255