Filter	Option	Prover	Version	Thm%	Uniq	ST⌀	STΣ	Thm	Maybe	Empty	Found
*	fut	all	0512	43.985	18	0.087	79.97	914	1164	0	2078
*	fut	pla	0512	42.782	4	0.069	60.96	889	1189	0	2078
*	fut	nmu	0512	42.252	1	0.067	59.00	878	1200	0	2078
*	all	all	0512	41.338	0	0.061	52.21	859	1219	0	2078
*	old	all	0512	41.338	7	0.070	60.03	859	1219	0	2078
*	fut	ag0	0512	40.857	0	0.060	50.53	849	1229	0	2078
*	all	nmu	0512	40.520	0	0.058	48.52	842	1236	0	2078
*	fut	pgr	0512	40.231	2	0.059	49.67	836	1242	0	2078
*	all	ag0	0512	39.317	0	0.054	44.00	817	1261	0	2078
*	all	pla	0512	39.124	2	0.058	47.13	813	1265	0	2078
*	fut	red	0512	39.076	1	0.057	46.14	812	1266	0	2078
*	fut	neg	0512	38.691	0	0.055	44.55	804	1274	0	2078
*	all	red	0512	38.210	1	0.055	43.90	794	1284	0	2078
*	all	pgr	0512	38.017	0	0.053	41.73	790	1288	0	2078
*	all	mom	0512	37.680	0	0.052	40.83	783	1295	0	2078
*	all	neg	0512	37.632	0	0.054	41.86	782	1296	0	2078
*	fut	ag5	0512	37.007	1	0.054	41.27	769	1309	0	2078
*	all	ag5	0512	36.814	1	0.054	41.24	765	1313	0	2078
*	all	plr	0512	36.189	1	0.055	41.10	752	1326	0	2078
*	fut	plr	0512	36.141	0	0.053	39.70	751	1327	0	2078
*	old	non	0512	35.804	0	0.055	40.69	744	1334	0	2078
any				48.845				1015			2078

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
eval-*-fut-all-0512	43.985	914
eval-*-fut-red-0512	45.910	954					= eval--fut-neg-0512 = eval--all-red-0512
eval-*-all-plr-0512	46.728	971					= eval--all-pla-0512 = eval--all-ag5-0512
eval-*-fut-pla-0512	47.257	982					= eval-*-old-all-0512
eval-*-old-all-0512	47.786	993
eval-*-all-pla-0512	48.123	1000
eval-*-fut-ag5-0512	48.364	1005
eval-*-fut-ag0-0512	48.508	1008					= eval-*-fut-pgr-0512
eval-*-fut-nmu-0512	48.604	1010					= eval--fut-pgr-0512 = eval--old-non-0512
eval-*-fut-pgr-0512	48.701	1012
eval-*-fut-neg-0512	48.749	1013					= eval--all-neg-0512 = eval--all-ag5-0512 = eval-*-all-red-0512 = ... (4)
eval-*-all-ag5-0512	48.797	1014					= eval-*-all-red-0512
eval-*-all-red-0512	48.845	1015