Filter	Option	Prover	Version	Thm%	CoS%	Uniq	ST⌀	STΣ	Thm	CoS	Maybe	Empty	Found
*	all	ag0	0016	34.216	27.815	3	0.038	49.23	711	578	789	0	2078
*	all	pgr	0016	33.782	26.901	7	0.043	54.24	702	559	817	0	2078
*	all	pla	0016	33.397	26.756	5	0.040	50.16	694	556	828	0	2078
*	all	plr	0016	33.157	25.650	0	0.037	44.90	689	533	856	0	2078
*	old	non	0016	33.157	25.842	4	0.039	48.29	689	537	852	0	2078
*	all	nmu	0016	32.868	31.280	1	0.033	44.05	683	650	745	0	2078
*	all	all	0016	32.579	32.531	1	0.032	43.70	677	676	725	0	2078
*	fut	plr	0016	32.579	27.911	1	0.035	44.56	677	580	821	0	2078
*	all	ag5	0016	32.339	26.516	2	0.037	45.07	672	551	855	0	2078
*	all	mom	0016	32.339	26.372	9	0.040	49.33	672	548	858	0	2078
*	fut	ag0	0016	30.799	35.659	5	0.032	44.02	640	741	697	0	2078
*	all	red	0016	30.751	31.376	1	0.029	37.07	639	652	787	0	2078
*	all	neg	0016	30.606	31.039	0	0.028	36.03	636	645	797	0	2078
*	fut	ag5	0016	30.558	31.569	1	0.031	40.14	635	656	787	0	2078
*	fut	neg	0016	30.318	31.617	0	0.027	35.36	630	657	791	0	2078
*	fut	red	0016	30.269	32.579	0	0.027	35.57	629	677	772	0	2078
*	fut	pgr	0016	30.125	38.932	3	0.030	42.43	626	809	643	0	2078
*	fut	nmu	0016	29.836	39.798	0	0.025	36.19	620	827	631	0	2078
*	fut	all	0016	29.259	40.038	2	0.026	37.48	608	832	638	0	2078
*	fut	pla	0016	28.778	38.643	2	0.028	38.83	598	803	677	0	2078
*	old	all	0016	26.660	41.867	3	0.023	33.37	554	870	654	0	2078
any				42.830	55.582				890	1155			2078

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
eval-*-all-ag0-0016	34.216	711
eval-*-old-non-0016	37.825	786
eval-*-all-pgr-0016	39.269	816
eval-*-all-mom-0016	40.135	834
eval-*-all-pla-0016	40.760	847
eval-*-all-ag5-0016	41.193	856
eval-*-fut-ag0-0016	41.578	864
eval-*-all-all-0016	41.867	870					= eval-*-fut-all-0016
eval-*-fut-pgr-0016	42.060	874					= eval--old-all-0016 = eval--fut-plr-0016 = eval-*-fut-pla-0016
eval-*-old-all-0016	42.252	878					= eval-*-fut-plr-0016
eval-*-fut-plr-0016	42.445	882
eval-*-fut-all-0016	42.541	884					= eval--all-red-0016 = eval--fut-pla-0016
eval-*-all-red-0016	42.637	886					= eval-*-fut-pla-0016
eval-*-fut-pla-0016	42.733	888
eval-*-fut-ag5-0016	42.782	889					= eval-*-all-nmu-0016
eval-*-all-nmu-0016	42.830	890