Filter	Option	Prover	Version	Thm%	CoS%	Uniq	ST⌀	STΣ	Thm	CoS	Maybe	Empty	Found
*	all	ag0	0064	48.653	0.529	3	0.061	62.09	1011	11	1056	0	2078
*	all	pgr	0064	48.171	0.433	6	0.063	63.35	1001	9	1068	0	2078
*	all	nmu	0064	48.075	0.962	1	0.059	60.05	999	20	1059	0	2078
*	all	ag5	0064	47.931	0.289	0	0.056	56.47	996	6	1076	0	2078
*	fut	ag0	0064	47.931	1.492	1	0.058	60.05	996	31	1051	0	2078
*	all	all	0064	47.834	1.492	2	0.058	59.66	994	31	1053	0	2078
*	fut	nmu	0064	47.690	2.839	3	0.061	63.76	991	59	1028	0	2078
*	all	pla	0064	47.449	0.626	2	0.059	58.95	986	13	1079	0	2078
*	fut	plr	0064	47.257	0.289	2	0.058	57.41	982	6	1090	0	2078
*	all	mom	0064	47.113	0.192	4	0.059	58.26	979	4	1095	0	2078
*	fut	ag5	0064	47.113	0.433	2	0.058	56.97	979	9	1090	0	2078
*	all	plr	0064	46.824	0.385	0	0.056	55.03	973	8	1097	0	2078
*	old	non	0064	46.824	0.433	5	0.060	59.39	973	9	1096	0	2078
*	fut	all	0064	46.487	2.984	1	0.057	58.22	966	62	1050	0	2078
*	fut	pgr	0064	46.102	2.502	3	0.058	58.66	958	52	1068	0	2078
*	all	neg	0064	45.958	0.385	0	0.055	52.89	955	8	1115	0	2078
*	all	red	0064	45.717	0.433	1	0.054	51.57	950	9	1119	0	2078
*	fut	pla	0064	45.669	2.406	2	0.059	58.79	949	50	1079	0	2078
*	fut	neg	0064	45.332	0.674	0	0.053	50.75	942	14	1122	0	2078
*	fut	red	0064	45.188	0.674	0	0.053	50.18	939	14	1125	0	2078
*	old	all	0064	42.589	4.331	3	0.052	50.51	885	90	1103	0	2078
any				57.892	6.833				1203	142			2078

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
eval-*-all-ag0-0064	48.653	1011
eval-*-fut-nmu-0064	52.310	1087
eval-*-old-non-0064	54.187	1126
eval-*-all-pgr-0064	55.101	1145
eval-*-fut-pla-0064	55.775	1159
eval-*-all-neg-0064	56.256	1169
eval-*-all-all-0064	56.545	1175					= eval-*-all-mom-0064
eval-*-all-mom-0064	56.833	1181
eval-*-fut-ag0-0064	57.026	1185					= eval--fut-ag5-0064 = eval--fut-plr-0064 = eval-*-fut-pgr-0064
eval-*-fut-ag5-0064	57.218	1189					= eval-*-fut-plr-0064
eval-*-old-all-0064	57.363	1192					= eval--fut-plr-0064 = eval--fut-pgr-0064
eval-*-fut-plr-0064	57.507	1195					= eval-*-fut-pgr-0064
eval-*-fut-pgr-0064	57.652	1198
eval-*-all-pla-0064	57.748	1200
eval-*-all-red-0064	57.796	1201					= eval--all-nmu-0064 = eval--fut-all-0064
eval-*-all-nmu-0064	57.844	1202					= eval-*-fut-all-0064
eval-*-fut-all-0064	57.892	1203