Str	Args	Cheat	Add	Prems	Prover	Thm%	CoS%	Uniq	ST⌀	STΣ	Thm	CoS	Maybe	Empty	Found
seq	du_div_1.1exps	*	*	*	*	57.821	26.344	6	0.057	99.00	1194	544	327	0	2065
seq	du_div_s	*	*	*	*	56.562	21.550	4	0.057	92.55	1168	445	452	0	2065
seq	du_div_s2	*	*	*	*	56.416	23.680	1	0.053	87.34	1165	489	411	0	2065
seq	d_u_div_s2	*	*	*	*	55.593	21.743	0	0.052	82.68	1148	449	468	0	2065
default	default	*	*	*	*	55.303	14.334	6	0.064	92.63	1142	296	627	0	2065
seq	d_u_div_s	*	*	*	*	54.770	22.663	3	0.052	83.48	1131	468	466	0	2065
seq	d_u_div_1.1exps	*	*	*	*	54.383	20.823	0	0.052	81.15	1123	430	512	0	2065
seq	du_div_1.05exps	*	*	*	*	51.138	17.385	0	0.050	71.38	1056	359	650	0	2065
seq	du_div_1.025exps	*	*	*	*	50.460	16.465	1	0.051	70.08	1042	340	683	0	2065
epcl	1	*	*	*	*	48.232	25.085	2	0.044	67.16	996	518	551	0	2065
epcl	3	*	*	*	*	47.990	23.874	1	0.046	68.26	991	493	581	0	2065
seq	du_div_125exps	*	*	*	*	46.780	6.441	0	0.060	65.68	966	133	966	0	2065
pgrank	u	*	*	*	*	46.634	0.436	5	0.072	69.64	963	9	1093	0	2065
pgrank	d_div_s	*	*	*	*	46.489	3.148	1	0.064	65.86	960	65	1040	0	2065
epcl	2	*	*	*	*	46.199	23.729	3	0.046	66.20	954	490	621	0	2065
pgrank	du	*	*	*	*	45.085	1.743	3	0.067	64.99	931	36	1098	0	2065
pgrank	d	*	*	*	*	42.857	1.937	0	0.065	59.91	885	40	1140	0	2065
any						62.373	48.039				1288	992			2065

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
seq-du_div_1.1exps----	57.821	1194
seq-du_div_s----	59.564	1230
default-default----	60.581	1251
pgrank-d_div_s----	61.065	1261
pgrank-u----	61.453	1269
epcl-2----	61.695	1274
seq-d_u_div_s----	61.889	1278
pgrank-du----	62.034	1281
epcl-3----	62.131	1283					= seq-du_div_1.025exps---- = seq-d_u_div_s2---- = seq-du_div_s2---- = ... (4)
seq-du_div_s2----	62.228	1285					= epcl-1----
epcl-1----	62.324	1287
seq-du_div_1.025exps----	62.373	1288