Filter	Option	Prover	Version	Thm%	CoS%	Uniq	ST⌀	STΣ	Thm	CoS	Maybe	Empty	Found
knn	fut	all	0128	45.043	0.048	0	0.006	5.98	936	1	1141	0	2078
knn	fut	nmu	0128	44.899	0.048	0	0.006	6.00	933	1	1144	0	2078
knn	all	nmu	0128	44.803	0.048	0	0.006	5.36	931	1	1146	0	2078
knn	all	nmu	0064	44.562	0.192	0	0.007	6.33	926	4	1148	0	2078
knn	all	all	0128	44.370	0.048	0	0.006	5.36	922	1	1155	0	2078
knn	fut	ag5	0128	44.370	0.000	0	0.006	5.53	922	0	1156	0	2078
knn	fut	pgr	0128	44.321	0.048	0	0.006	5.41	921	1	1156	0	2078
knn	fut	pla	0128	44.321	0.000	1	0.007	6.47	921	0	1157	0	2078
knn	all	pgr	0128	44.273	0.048	0	0.006	5.58	920	1	1157	0	2078
knn	all	all	0064	44.225	0.385	1	0.008	7.52	919	8	1151	0	2078
knn	fut	ag0	0064	44.129	0.337	0	0.008	7.75	917	7	1154	0	2078
knn	fut	pla	0256	44.033	0.000	0	0.006	5.41	915	0	1163	0	2078
knn	all	pla	0128	43.985	0.000	0	0.006	5.71	914	0	1164	0	2078
knn	fut	ag0	0128	43.936	0.048	0	0.006	5.40	913	1	1164	0	2078
knn	all	ag0	0064	43.840	0.144	0	0.007	6.10	911	3	1164	0	2078
knn	all	pgr	0064	43.840	0.144	3	0.010	9.08	911	3	1164	0	2078
knn	all	ag5	0128	43.792	0.000	0	0.006	5.10	910	0	1168	0	2078
knn	all	ag0	0128	43.744	0.048	0	0.005	5.00	909	1	1168	0	2078
knn	fut	nmu	0256	43.600	0.000	0	0.006	5.55	906	0	1172	0	2078
knn	fut	nmu	0064	43.503	0.529	1	0.009	8.42	904	11	1163	0	2078
knn	all	ag5	0064	43.455	0.096	0	0.006	5.42	903	2	1173	0	2078
nba	all	pla	0128	43.455	0.000	0	0.006	5.39	903	0	1175	0	2078
knn	all	red	0128	43.407	0.048	0	0.006	5.34	902	1	1175	0	2078
knn	fut	all	0256	43.407	0.000	0	0.007	5.88	902	0	1176	0	2078
knn	all	mom	0128	43.359	0.000	0	0.006	5.56	901	0	1177	0	2078
nba	fut	ag0	0128	43.359	0.048	2	0.009	7.81	901	1	1176	0	2078
nba	all	nmu	0128	43.311	0.000	0	0.006	5.10	900	0	1178	0	2078
knn	all	pla	0064	43.263	0.096	0	0.007	6.16	899	2	1177	0	2078
knn	fut	red	0128	43.263	0.048	0	0.007	6.08	899	1	1178	0	2078
knn	all	neg	0128	43.167	0.000	0	0.006	5.72	897	0	1181	0	2078
nba	fut	pgr	0128	43.167	0.000	0	0.006	5.63	897	0	1181	0	2078
nba	all	ag0	0128	43.118	0.000	0	0.005	4.91	896	0	1182	0	2078
knn	all	mom	0064	43.022	0.144	0	0.006	5.22	894	3	1181	0	2078
nba	all	all	0128	43.022	0.000	0	0.006	5.39	894	0	1184	0	2078
nba	all	ag5	0064	42.974	0.289	0	0.006	5.22	893	6	1179	0	2078
nba	all	pgr	0128	42.974	0.000	0	0.005	4.88	893	0	1185	0	2078
nba	fut	nmu	0128	42.974	0.096	0	0.006	5.39	893	2	1183	0	2078
knn	all	all	0256	42.926	0.000	0	0.005	4.89	892	0	1186	0	2078
knn	fut	plr	0128	42.926	0.000	0	0.007	5.83	892	0	1186	0	2078
knn	fut	neg	0128	42.878	0.000	0	0.006	5.46	891	0	1187	0	2078
knn	fut	ag5	0064	42.782	0.192	1	0.008	6.81	889	4	1185	0	2078
nba	all	pgr	0064	42.782	0.433	0	0.006	5.14	889	9	1180	0	2078
nba	fut	all	0128	42.782	0.144	0	0.006	5.49	889	3	1186	0	2078
nba	fut	pla	0128	42.782	0.048	0	0.006	5.61	889	1	1188	0	2078
knn	fut	pgr	0256	42.733	0.000	2	0.008	6.85	888	0	1190	0	2078
knn	fut	plr	0064	42.733	0.048	0	0.006	5.17	888	1	1189	0	2078
knn	fut	all	0064	42.685	0.577	0	0.007	5.97	887	12	1179	0	2078
nba	fut	nmu	0256	42.685	0.000	0	0.006	5.13	887	0	1191	0	2078
knn	all	plr	0128	42.589	0.000	0	0.005	4.86	885	0	1193	0	2078
nba	all	ag0	0064	42.589	0.529	0	0.007	6.24	885	11	1182	0	2078
knn	fut	pgr	0064	42.541	0.674	1	0.008	7.00	884	14	1180	0	2078
knn	fut	ag0	0256	42.493	0.000	1	0.007	6.28	883	0	1195	0	2078
nba	all	nmu	0256	42.493	0.000	0	0.005	4.57	883	0	1195	0	2078
knn	all	plr	0064	42.445	0.144	0	0.006	4.96	882	3	1193	0	2078
nba	all	all	0256	42.445	0.000	0	0.006	4.87	882	0	1196	0	2078
knn	old	non	0128	42.252	0.000	0	0.006	4.87	878	0	1200	0	2078
nba	fut	all	0256	42.252	0.000	0	0.006	5.33	878	0	1200	0	2078
knn	all	nmu	0256	42.204	0.000	0	0.006	5.17	877	0	1201	0	2078
knn	old	non	0064	42.204	0.096	0	0.006	5.38	877	2	1199	0	2078
knn	all	neg	0064	42.156	0.096	0	0.006	5.66	876	2	1200	0	2078
knn	old	all	0128	42.156	0.096	0	0.006	5.58	876	2	1200	0	2078
nba	fut	pla	0256	42.156	0.000	0	0.006	5.04	876	0	1202	0	2078
nba	fut	plr	0064	42.156	0.241	1	0.007	6.30	876	5	1197	0	2078
nba	all	mom	0128	42.108	0.000	0	0.006	4.83	875	0	1203	0	2078
nba	all	ag5	0128	41.963	0.000	0	0.006	5.03	872	0	1206	0	2078
nba	all	plr	0064	41.963	0.289	0	0.006	4.87	872	6	1200	0	2078
nba	fut	ag5	0064	41.963	0.433	0	0.007	5.77	872	9	1197	0	2078
knn	old	all	0256	41.915	0.000	0	0.005	4.73	871	0	1207	0	2078
nba	all	red	0128	41.915	0.000	0	0.005	4.72	871	0	1207	0	2078
nba	all	plr	0128	41.867	0.000	0	0.006	4.97	870	0	1208	0	2078
nba	old	non	0064	41.867	0.337	0	0.006	5.21	870	7	1201	0	2078
nba	all	pla	0064	41.771	0.674	0	0.006	5.06	868	14	1196	0	2078
knn	all	red	0064	41.723	0.096	0	0.006	5.38	867	2	1209	0	2078
nba	all	mom	0064	41.723	0.144	0	0.006	4.92	867	3	1208	0	2078
nba	fut	pgr	0256	41.723	0.000	0	0.006	4.89	867	0	1211	0	2078
nba	all	nmu	0064	41.675	1.011	0	0.006	5.76	866	21	1191	0	2078
knn	fut	pla	0064	41.627	0.481	0	0.007	6.04	865	10	1203	0	2078
nba	fut	red	0128	41.627	0.000	0	0.006	4.82	865	0	1213	0	2078
knn	fut	neg	0064	41.578	0.144	0	0.007	5.79	864	3	1211	0	2078
knn	fut	neg	0256	41.482	0.000	0	0.005	4.44	862	0	1216	0	2078
nba	fut	ag0	0256	41.482	0.000	0	0.006	4.89	862	0	1216	0	2078
nba	fut	plr	0128	41.434	0.000	0	0.005	4.51	861	0	1217	0	2078
knn	all	ag0	0256	41.386	0.000	0	0.005	4.45	860	0	1218	0	2078
knn	fut	red	0064	41.386	0.144	0	0.007	5.74	860	3	1215	0	2078
nba	old	all	0128	41.386	0.289	0	0.006	4.90	860	6	1212	0	2078
nba	all	neg	0128	41.338	0.000	0	0.005	4.42	859	0	1219	0	2078
knn	fut	red	0256	41.290	0.000	0	0.005	4.41	858	0	1220	0	2078
knn	all	pgr	0256	41.193	0.000	0	0.006	4.78	856	0	1222	0	2078
knn	all	pla	0256	41.193	0.000	0	0.006	4.77	856	0	1222	0	2078
nba	fut	ag5	0128	41.145	0.000	0	0.005	4.65	855	0	1223	0	2078
nba	old	non	0128	41.049	0.000	0	0.006	4.73	853	0	1225	0	2078
knn	fut	ag5	0256	40.953	0.000	0	0.006	4.99	851	0	1227	0	2078
knn	fut	all	0512	40.953	0.000	0	0.005	4.42	851	0	1227	0	2078
nba	all	ag0	0256	40.905	0.000	0	0.005	4.34	850	0	1228	0	2078
knn	all	neg	0256	40.760	0.000	0	0.005	4.15	847	0	1231	0	2078
knn	all	red	0256	40.712	0.000	0	0.005	4.42	846	0	1232	0	2078
nba	all	all	0064	40.712	1.444	0	0.006	4.99	846	30	1202	0	2078
knn	all	mom	0256	40.664	0.000	0	0.005	4.42	845	0	1233	0	2078
nba	fut	all	0512	40.664	0.000	0	0.005	4.63	845	0	1233	0	2078
nba	old	all	0256	40.664	0.000	0	0.005	4.43	845	0	1233	0	2078
nba	all	pla	0256	40.616	0.000	0	0.005	4.41	844	0	1234	0	2078
nba	fut	neg	0128	40.616	0.000	1	0.006	5.23	844	0	1234	0	2078
nba	fut	ag0	0064	40.568	1.588	0	0.006	5.17	843	33	1202	0	2078
nba	all	pgr	0256	40.423	0.000	0	0.005	4.26	840	0	1238	0	2078
nba	fut	neg	0256	40.423	0.000	0	0.005	4.49	840	0	1238	0	2078
nba	all	neg	0256	40.279	0.000	0	0.005	4.15	837	0	1241	0	2078
nba	all	red	0256	40.279	0.000	0	0.005	4.13	837	0	1241	0	2078
nba	fut	red	0256	40.279	0.000	0	0.005	4.39	837	0	1241	0	2078
nba	fut	nmu	0512	40.183	0.000	0	0.005	4.36	835	0	1243	0	2078
nba	fut	pla	0512	40.038	0.000	0	0.005	4.28	832	0	1246	0	2078
nba	all	red	0064	39.846	0.433	0	0.005	4.32	828	9	1241	0	2078
knn	all	ag5	0256	39.798	0.000	0	0.005	4.39	827	0	1251	0	2078
knn	fut	pla	0512	39.750	0.000	0	0.005	3.99	826	0	1252	0	2078
nba	all	neg	0064	39.605	0.289	0	0.005	4.30	823	6	1249	0	2078
nba	fut	ag5	0256	39.557	0.000	0	0.005	4.00	822	0	1256	0	2078
nba	fut	plr	0256	39.509	0.000	0	0.005	4.29	821	0	1257	0	2078
knn	all	ag0	0032	39.461	3.513	1	0.007	6.60	820	73	1185	0	2078
nba	all	ag5	0256	39.461	0.000	0	0.005	4.32	820	0	1258	0	2078
nba	all	mom	0256	39.461	0.000	1	0.006	4.86	820	0	1258	0	2078
nba	fut	nmu	0064	39.461	3.080	0	0.006	5.21	820	64	1194	0	2078
nba	fut	neg	0064	39.413	0.577	0	0.005	4.22	819	12	1247	0	2078
nba	fut	red	0064	39.365	0.626	0	0.005	4.37	818	13	1247	0	2078
knn	fut	nmu	0512	39.269	0.000	0	0.005	4.01	816	0	1262	0	2078
nba	all	plr	0256	39.269	0.000	0	0.005	4.32	816	0	1262	0	2078
nba	fut	ag0	0512	39.269	0.000	0	0.005	4.16	816	0	1262	0	2078
knn	all	pgr	0032	39.124	2.887	0	0.006	5.13	813	60	1205	0	2078
nba	fut	pgr	0064	39.124	2.214	0	0.005	4.55	813	46	1219	0	2078
knn	fut	plr	0256	38.980	0.000	0	0.005	4.04	810	0	1268	0	2078
nba	all	all	0512	38.932	0.000	0	0.005	4.04	809	0	1269	0	2078
knn	all	plr	0256	38.835	0.000	0	0.005	4.03	807	0	1271	0	2078
knn	all	nmu	0032	38.787	3.128	0	0.006	5.33	806	65	1207	0	2078
knn	all	ag5	0032	38.691	3.176	0	0.006	5.50	804	66	1208	0	2078
nba	fut	all	0064	38.499	3.224	0	0.006	4.84	800	67	1211	0	2078
nba	fut	pgr	0512	38.499	0.000	0	0.006	4.61	800	0	1278	0	2078
knn	all	all	0512	38.354	0.000	0	0.005	3.94	797	0	1281	0	2078
knn	fut	ag0	0512	38.354	0.000	0	0.006	4.61	797	0	1281	0	2078
knn	old	non	0032	38.354	3.321	0	0.005	4.64	797	69	1212	0	2078
nba	all	nmu	0512	38.354	0.000	0	0.005	3.94	797	0	1281	0	2078
nba	old	non	0256	38.354	0.000	0	0.005	4.23	797	0	1281	0	2078
knn	all	pla	0032	38.306	3.032	0	0.006	5.50	796	63	1219	0	2078
knn	all	all	0032	38.162	2.791	0	0.007	5.61	793	58	1227	0	2078
knn	all	plr	0032	38.162	3.224	1	0.006	5.47	793	67	1218	0	2078
knn	old	all	0064	38.162	2.117	0	0.005	4.39	793	44	1241	0	2078
nba	old	all	0512	38.162	0.000	0	0.005	3.96	793	0	1285	0	2078
knn	old	all	0512	37.969	0.000	0	0.005	4.29	789	0	1289	0	2078
nba	fut	pla	0064	37.777	2.743	0	0.005	4.52	785	57	1236	0	2078
knn	all	mom	0032	37.632	2.839	0	0.006	4.82	782	59	1237	0	2078
knn	fut	plr	0032	37.536	4.235	0	0.005	4.72	780	88	1210	0	2078
knn	old	non	0256	37.536	0.000	0	0.005	3.78	780	0	1298	0	2078
knn	fut	pgr	0512	37.488	0.000	0	0.005	3.76	779	0	1299	0	2078
knn	all	nmu	0512	37.247	0.000	0	0.005	3.57	774	0	1304	0	2078
knn	fut	ag0	0032	37.247	5.005	0	0.006	5.30	774	104	1200	0	2078
nba	old	all	0064	37.151	3.561	1	0.006	4.98	772	74	1232	0	2078
nba	all	ag0	0512	37.103	0.000	0	0.005	3.73	771	0	1307	0	2078
nba	all	ag0	0032	37.055	6.112	0	0.005	4.88	770	127	1181	0	2078
knn	all	ag0	0512	36.959	0.000	0	0.005	3.57	768	0	1310	0	2078
knn	fut	nmu	0032	36.670	5.294	0	0.006	4.95	762	110	1206	0	2078
nba	fut	red	0512	36.526	0.000	0	0.005	3.85	759	0	1319	0	2078
nba	all	pla	0512	36.477	0.000	0	0.005	3.84	758	0	1320	0	2078
knn	fut	ag5	0032	36.333	5.486	0	0.006	5.27	755	114	1209	0	2078
nba	all	pgr	0032	36.333	5.727	0	0.005	4.08	755	119	1204	0	2078
nba	fut	neg	0512	36.237	0.000	0	0.005	3.66	753	0	1325	0	2078
nba	all	pgr	0512	36.189	0.000	0	0.005	3.50	752	0	1326	0	2078
nba	all	plr	0032	36.092	3.561	1	0.007	5.88	750	74	1254	0	2078
nba	old	non	0032	36.092	3.705	0	0.006	4.78	750	77	1251	0	2078
nba	all	red	0512	36.044	0.000	0	0.005	3.81	749	0	1329	0	2078
knn	fut	red	0512	35.996	0.000	0	0.005	3.43	748	0	1330	0	2078
knn	all	pla	0512	35.900	0.000	0	0.005	3.98	746	0	1332	0	2078
nba	all	ag5	0032	35.900	3.705	0	0.005	4.32	746	77	1255	0	2078
nba	fut	ag5	0512	35.900	0.000	0	0.005	3.38	746	0	1332	0	2078
knn	all	red	0032	35.852	3.176	0	0.006	4.90	745	66	1267	0	2078
knn	fut	all	0032	35.852	4.668	0	0.006	5.11	745	97	1236	0	2078
knn	fut	neg	0512	35.852	0.000	0	0.005	3.47	745	0	1333	0	2078
knn	all	mom	0512	35.804	0.000	0	0.005	3.40	744	0	1334	0	2078
knn	all	neg	0032	35.804	3.176	0	0.006	4.49	744	66	1268	0	2078
nba	all	neg	0512	35.707	0.000	0	0.005	3.50	742	0	1336	0	2078
nba	all	nmu	0032	35.611	8.807	0	0.005	4.56	740	183	1155	0	2078
nba	all	pla	0032	35.563	5.582	0	0.005	4.24	739	116	1223	0	2078
knn	all	red	0512	35.419	0.000	0	0.005	3.43	736	0	1342	0	2078
nba	all	mom	0032	35.419	4.042	0	0.005	4.20	736	84	1258	0	2078
knn	fut	ag5	0512	35.371	0.000	0	0.005	3.42	735	0	1343	0	2078
knn	fut	neg	0032	35.274	4.090	0	0.005	4.17	733	85	1260	0	2078
nba	all	mom	0512	35.226	0.000	0	0.004	3.18	732	0	1346	0	2078
nba	fut	plr	0032	35.178	4.475	0	0.005	4.08	731	93	1254	0	2078
knn	all	pgr	0512	35.130	0.000	0	0.005	3.31	730	0	1348	0	2078
knn	all	ag5	0512	34.986	0.000	0	0.005	3.29	727	0	1351	0	2078
knn	fut	pgr	0032	34.986	6.208	0	0.006	4.74	727	129	1222	0	2078
nba	all	ag5	0512	34.937	0.000	0	0.005	3.39	726	0	1352	0	2078
knn	all	neg	0512	34.841	0.000	0	0.005	3.30	724	0	1354	0	2078
knn	fut	all	1024	34.841	0.000	0	0.005	3.51	724	0	1354	0	2078
knn	fut	red	0032	34.649	4.331	0	0.005	4.24	720	90	1268	0	2078
nba	all	all	0032	34.601	10.010	0	0.005	4.43	719	208	1151	0	2078
knn	fut	pla	1024	34.504	0.000	0	0.005	3.25	717	0	1361	0	2078
nba	fut	ag5	0032	34.504	5.486	0	0.005	4.05	717	114	1247	0	2078
nba	all	plr	0512	34.360	0.000	0	0.004	3.10	714	0	1364	0	2078
nba	fut	all	1024	34.360	0.000	0	0.004	3.08	714	0	1364	0	2078
knn	fut	nmu	1024	34.312	0.000	0	0.004	3.02	713	0	1365	0	2078
nba	fut	plr	0512	34.312	0.000	0	0.004	3.16	713	0	1365	0	2078
nba	fut	nmu	1024	34.264	0.000	0	0.005	3.50	712	0	1366	0	2078
knn	all	plr	0512	34.216	0.000	0	0.004	3.08	711	0	1367	0	2078
knn	fut	plr	0512	34.216	0.000	0	0.004	3.08	711	0	1367	0	2078
nba	fut	pla	1024	34.216	0.000	0	0.004	3.07	711	0	1367	0	2078
nba	all	red	0032	34.071	6.208	0	0.005	3.82	708	129	1241	0	2078
knn	fut	pla	0032	33.927	6.593	1	0.007	5.61	705	137	1236	0	2078
nba	old	non	0512	33.927	0.000	0	0.005	3.21	705	0	1373	0	2078
knn	old	all	1024	33.831	0.000	0	0.005	3.80	703	0	1375	0	2078
knn	fut	ag0	1024	33.782	0.000	0	0.004	3.04	702	0	1376	0	2078
knn	old	non	0512	33.782	0.000	0	0.004	2.96	702	0	1376	0	2078
knn	all	all	1024	33.686	0.000	0	0.004	3.02	700	0	1378	0	2078
nba	fut	ag0	1024	33.590	0.000	0	0.004	2.98	698	0	1380	0	2078
nba	all	all	1024	33.542	0.000	0	0.005	3.25	697	0	1381	0	2078
nba	old	all	1024	33.542	0.000	0	0.004	3.12	697	0	1381	0	2078
knn	all	nmu	1024	33.397	0.000	0	0.004	2.98	694	0	1384	0	2078
nba	all	neg	0032	33.301	5.871	0	0.004	3.45	692	122	1264	0	2078
nba	all	nmu	1024	33.301	0.000	0	0.004	3.02	692	0	1386	0	2078
nba	fut	ag0	0032	33.253	11.453	0	0.005	4.19	691	238	1149	0	2078
nba	fut	pgr	1024	32.964	0.000	0	0.005	3.39	685	0	1393	0	2078
nba	fut	neg	0032	32.628	6.256	0	0.005	3.72	678	130	1270	0	2078
knn	fut	pgr	1024	32.579	0.000	0	0.004	2.90	677	0	1401	0	2078
nba	all	ag0	1024	32.435	0.000	0	0.004	2.79	674	0	1404	0	2078
nba	all	pla	1024	32.291	0.000	0	0.004	2.80	671	0	1407	0	2078
knn	all	ag0	1024	32.194	0.000	0	0.004	2.76	669	0	1409	0	2078
nba	fut	red	0032	32.194	7.026	0	0.005	3.85	669	146	1263	0	2078
nba	all	pgr	1024	32.098	0.000	0	0.004	2.79	667	0	1411	0	2078
nba	fut	ag5	1024	31.858	0.000	0	0.004	2.89	662	0	1416	0	2078
knn	old	all	0032	31.809	12.416	1	0.006	5.54	661	258	1159	0	2078
knn	fut	red	1024	31.761	0.000	0	0.004	2.95	660	0	1418	0	2078
nba	fut	pla	2048	31.617	0.000	0	0.004	2.74	657	0	1421	0	2078
nba	fut	red	1024	31.617	0.000	0	0.004	2.74	657	0	1421	0	2078
nba	fut	all	2048	31.569	0.000	0	0.005	3.27	656	0	1422	0	2078
knn	all	pla	1024	31.521	0.000	0	0.004	2.63	655	0	1423	0	2078
nba	fut	nmu	2048	31.376	0.000	0	0.005	3.01	652	0	1426	0	2078
knn	fut	ag5	1024	31.184	0.000	0	0.004	2.65	648	0	1430	0	2078
knn	fut	neg	1024	31.184	0.000	0	0.005	2.95	648	0	1430	0	2078
nba	fut	neg	1024	31.136	0.000	0	0.005	2.93	647	0	1431	0	2078
nba	fut	pgr	0032	31.088	13.811	0	0.004	4.07	646	287	1145	0	2078
knn	all	red	1024	31.039	0.000	0	0.004	2.67	645	0	1433	0	2078
nba	all	ag5	1024	31.039	0.000	0	0.004	2.65	645	0	1433	0	2078
nba	all	red	1024	31.039	0.000	0	0.005	2.95	645	0	1433	0	2078
knn	fut	all	2048	30.991	0.000	0	0.006	3.97	644	0	1434	0	2078
nba	all	all	2048	30.943	0.000	0	0.005	3.23	643	0	1435	0	2078
nba	all	mom	1024	30.895	0.000	0	0.004	2.72	642	0	1436	0	2078
nba	fut	nmu	0032	30.895	16.843	0	0.004	3.66	642	350	1086	0	2078
nba	old	all	2048	30.895	0.000	0	0.005	3.10	642	0	1436	0	2078
knn	all	pgr	1024	30.847	0.000	1	0.006	3.59	641	0	1437	0	2078
knn	all	ag5	1024	30.751	0.000	0	0.004	2.56	639	0	1439	0	2078
knn	fut	pla	2048	30.751	0.000	0	0.004	2.68	639	0	1439	0	2078
nba	all	neg	1024	30.751	0.000	0	0.004	2.87	639	0	1439	0	2078
knn	all	neg	1024	30.703	0.000	0	0.004	2.84	638	0	1440	0	2078
knn	fut	nmu	2048	30.703	0.000	0	0.004	2.75	638	0	1440	0	2078
nba	all	pla	2048	30.510	0.000	0	0.005	3.05	634	0	1444	0	2078
nba	fut	all	0032	30.510	16.891	0	0.004	3.58	634	351	1093	0	2078
nba	old	all	0032	30.510	14.918	0	0.004	3.51	634	310	1134	0	2078
nba	all	nmu	2048	30.462	0.000	0	0.005	2.93	633	0	1445	0	2078
knn	all	mom	1024	30.414	0.000	0	0.004	2.68	632	0	1446	0	2078
nba	fut	plr	1024	30.318	0.000	0	0.004	2.49	630	0	1448	0	2078
nba	fut	pla	0032	30.173	14.485	0	0.004	3.33	627	301	1150	0	2078
nba	old	non	1024	30.173	0.000	0	0.004	2.48	627	0	1451	0	2078
nba	all	plr	1024	30.029	0.000	0	0.004	2.44	624	0	1454	0	2078
nba	fut	ag0	2048	30.029	0.000	0	0.004	2.61	624	0	1454	0	2078
nba	fut	pgr	2048	29.788	0.000	0	0.004	2.49	619	0	1459	0	2078
knn	all	ag0	0016	29.740	17.613	0	0.004	4.37	618	366	1094	0	2078
knn	old	non	1024	29.740	0.000	0	0.004	2.55	618	0	1460	0	2078
knn	all	plr	1024	29.692	0.000	0	0.004	2.45	617	0	1461	0	2078
knn	fut	plr	1024	29.596	0.000	0	0.004	2.49	615	0	1463	0	2078
knn	all	pgr	0016	29.548	16.410	0	0.004	4.05	614	341	1123	0	2078
knn	all	all	2048	29.451	0.000	0	0.004	2.52	612	0	1466	0	2078
knn	old	all	2048	29.451	0.000	0	0.004	2.66	612	0	1466	0	2078
nba	all	pgr	2048	29.451	0.000	0	0.004	2.53	612	0	1466	0	2078
knn	fut	ag0	2048	29.307	0.000	0	0.004	2.53	609	0	1469	0	2078
knn	all	nmu	2048	29.259	0.000	0	0.004	2.63	608	0	1470	0	2078
knn	all	pla	0016	29.259	17.998	0	0.004	3.75	608	374	1096	0	2078
nba	all	ag0	2048	29.259	0.000	0	0.004	2.49	608	0	1470	0	2078
knn	all	ag5	0016	28.922	18.527	0	0.004	3.46	601	385	1092	0	2078
knn	fut	pgr	2048	28.874	0.000	0	0.004	2.45	600	0	1478	0	2078
knn	all	ag0	2048	28.778	0.000	0	0.004	2.50	598	0	1480	0	2078
knn	old	non	0016	28.730	18.239	0	0.004	3.43	597	379	1102	0	2078
knn	all	plr	0016	28.681	18.046	0	0.004	3.51	596	375	1107	0	2078
knn	all	nmu	0016	28.585	17.469	1	0.005	4.76	594	363	1121	0	2078
knn	all	pgr	2048	28.441	0.000	0	0.004	2.44	591	0	1487	0	2078
nba	fut	ag5	2048	28.441	0.000	0	0.004	2.39	591	0	1487	0	2078
knn	all	pla	2048	28.296	0.000	0	0.004	2.38	588	0	1490	0	2078
nba	all	ag5	2048	28.200	0.000	0	0.004	2.32	586	0	1492	0	2078
knn	all	all	0016	28.056	17.565	0	0.004	4.13	583	365	1130	0	2078
nba	fut	neg	2048	27.815	0.000	0	0.004	2.36	578	0	1500	0	2078
nba	fut	red	2048	27.767	0.000	0	0.004	2.39	577	0	1501	0	2078
knn	fut	plr	0016	27.719	19.875	0	0.004	3.50	576	413	1089	0	2078
nba	all	ag0	0016	27.719	24.398	0	0.003	3.24	576	507	995	0	2078
nba	all	red	2048	27.719	0.000	0	0.004	2.32	576	0	1502	0	2078
nba	all	neg	2048	27.526	0.000	0	0.004	2.29	572	0	1506	0	2078
nba	all	plr	0016	27.478	20.934	0	0.003	3.06	571	435	1072	0	2078
nba	old	non	0016	27.430	20.741	0	0.003	3.12	570	431	1077	0	2078
knn	all	mom	0016	27.334	17.517	0	0.004	3.26	568	364	1146	0	2078
knn	fut	ag5	2048	27.190	0.000	0	0.004	2.21	565	0	1513	0	2078
nba	all	pgr	0016	27.190	23.965	1	0.004	4.41	565	498	1015	0	2078
nba	all	pla	0016	27.190	22.425	0	0.003	2.86	565	466	1047	0	2078
knn	fut	ag0	0016	27.141	21.174	0	0.005	4.59	564	440	1074	0	2078
nba	all	ag5	0016	27.141	22.040	0	0.003	2.96	564	458	1056	0	2078
nba	all	mom	0016	27.141	22.570	0	0.003	2.97	564	469	1045	0	2078
nba	fut	plr	0016	26.901	23.388	0	0.003	2.92	559	486	1033	0	2078
knn	all	ag5	2048	26.660	0.000	0	0.004	2.28	554	0	1524	0	2078
knn	fut	ag5	0016	26.660	23.292	0	0.003	3.53	554	484	1040	0	2078
knn	fut	pgr	0016	26.612	21.992	0	0.004	3.91	553	457	1068	0	2078
knn	fut	nmu	0016	26.516	20.164	0	0.004	3.83	551	419	1108	0	2078
nba	old	non	2048	26.516	0.000	0	0.004	2.29	551	0	1527	0	2078
knn	fut	all	0016	26.035	19.971	1	0.005	5.00	541	415	1122	0	2078
nba	all	nmu	0016	25.987	28.970	0	0.003	3.02	540	602	936	0	2078
knn	all	red	0016	25.938	18.672	0	0.004	3.25	539	388	1151	0	2078
knn	fut	neg	2048	25.938	0.000	0	0.004	2.21	539	0	1539	0	2078
knn	fut	red	2048	25.938	0.000	0	0.004	2.19	539	0	1539	0	2078
knn	all	red	2048	25.890	0.000	0	0.004	2.20	538	0	1540	0	2078
knn	old	non	2048	25.842	0.000	0	0.004	2.26	537	0	1541	0	2078
knn	all	neg	0016	25.794	18.912	0	0.004	3.29	536	393	1149	0	2078
knn	all	neg	2048	25.650	0.000	0	0.004	2.17	533	0	1545	0	2078
knn	fut	neg	0016	25.602	19.971	0	0.004	3.42	532	415	1131	0	2078
nba	fut	ag5	0016	25.553	26.660	0	0.003	3.41	531	554	993	0	2078
knn	fut	red	0016	25.409	19.827	0	0.004	3.37	528	412	1138	0	2078
nba	all	all	0016	25.265	30.703	0	0.003	2.96	525	638	915	0	2078
knn	fut	pla	0016	25.120	24.398	0	0.003	3.36	522	507	1049	0	2078
nba	all	plr	2048	25.120	0.000	0	0.004	1.99	522	0	1556	0	2078
nba	fut	plr	2048	25.024	0.000	0	0.004	1.99	520	0	1558	0	2078
knn	fut	plr	2048	24.735	0.000	0	0.004	2.02	514	0	1564	0	2078
nba	all	red	0016	24.543	27.719	0	0.003	2.73	510	576	992	0	2078
nba	all	neg	0016	24.447	27.526	0	0.003	2.76	508	572	998	0	2078
knn	all	plr	2048	24.398	0.000	0	0.004	2.06	507	0	1571	0	2078
nba	fut	neg	0016	24.158	28.104	0	0.003	2.74	502	584	992	0	2078
nba	fut	red	0016	24.062	29.596	0	0.003	2.83	500	615	963	0	2078
nba	all	mom	2048	23.917	0.000	0	0.004	2.04	497	0	1581	0	2078
knn	all	mom	2048	23.292	0.000	0	0.004	2.01	484	0	1594	0	2078
nba	fut	ag0	0016	23.195	34.119	0	0.002	2.52	482	709	887	0	2078
knn	old	all	0016	22.666	31.039	0	0.003	3.77	471	645	962	0	2078
nba	fut	pla	0016	22.377	36.574	0	0.002	2.48	465	760	853	0	2078
nba	fut	pgr	0016	21.848	38.884	0	0.002	2.51	454	808	816	0	2078
nba	old	all	0016	21.222	37.536	0	0.002	2.38	441	780	857	0	2078
nba	fut	nmu	0016	20.885	40.135	0	0.002	2.23	434	834	810	0	2078
nba	fut	all	0016	20.500	40.231	0	0.002	2.20	426	836	816	0	2078
any				66.169	59.577				1375	1238			2078

Greedy sequence

Prover	Sum%	Sum	G+2	G1+2	G-1+2	G+2M	Alt
eval-knn-fut-all-0128	45.043	936
eval-knn-all-all-0032	50.337	1046
eval-knn-all-pla-0256	54.909	1141
eval-nba-fut-ag5-0064	56.545	1175
eval-knn-all-mom-0128	57.603	1197
eval-knn-fut-ag0-0016	58.614	1218
eval-knn-fut-all-2048	59.432	1235					= eval-nba-fut-all-2048
eval-nba-fut-pgr-0512	60.058	1248
eval-nba-fut-nmu-0064	60.539	1258
eval-knn-all-pgr-0064	60.972	1267
eval-nba-fut-nmu-0256	61.309	1274					= eval-nba-fut-all-0256 = eval-nba-fut-pla-0256 = eval-nba-all-plr-0128 = ... (5)
eval-knn-old-all-0016	61.598	1280					= eval-knn-fut-nmu-0064 = eval-knn-all-pla-0128 = eval-nba-all-plr-0032 = ... (4)
eval-knn-fut-nmu-0064	61.886	1286					= eval-knn-all-pla-0128 = eval-nba-all-plr-0032 = eval-nba-all-all-2048
eval-knn-all-pla-0128	62.175	1292					= eval-nba-all-plr-0032 = eval-nba-all-all-2048
eval-nba-all-plr-0032	62.464	1298					= eval-nba-all-all-2048
eval-nba-all-all-2048	62.753	1304
eval-knn-all-red-0032	62.993	1309					= eval-nba-fut-ag0-0128
eval-knn-old-all-1024	63.186	1313					= eval-knn-fut-ag0-0256 = eval-nba-fut-ag0-0128
eval-nba-fut-ag0-0128	63.378	1317
eval-knn-fut-red-0064	63.523	1320					= eval-nba-all-ag5-0256 = eval-nba-fut-all-0512 = eval-knn-fut-ag0-0064 = ... (11)
eval-nba-all-ag5-0256	63.667	1323					= eval-nba-fut-all-0512 = eval-knn-fut-ag0-0064 = eval-nba-all-red-0128 = ... (8)
eval-knn-fut-ag0-0064	63.811	1326					= eval-nba-all-red-0128 = eval-nba-all-pla-0128 = eval-knn-fut-red-0128 = ... (5)
eval-nba-all-red-0128	63.956	1329					= eval-nba-all-pla-0128 = eval-knn-fut-red-0128 = eval-nba-all-ag5-0128 = ... (4)
eval-knn-fut-pla-0032	64.100	1332
eval-knn-all-pla-0032	64.196	1334					= eval-nba-fut-pgr-0032 = eval-knn-fut-all-0256 = eval-nba-all-ag0-0032 = ... (20)
eval-nba-fut-pgr-0032	64.293	1336					= eval-knn-fut-all-0256 = eval-nba-all-ag0-0032 = eval-nba-all-pgr-0016 = ... (16)
eval-knn-fut-all-0256	64.389	1338					= eval-nba-all-pgr-0016 = eval-knn-fut-all-0016 = eval-knn-fut-pgr-0256 = ... (14)
eval-nba-all-pgr-0016	64.485	1340					= eval-knn-fut-all-0016 = eval-knn-fut-pgr-0256 = eval-nba-all-ag0-0064 = ... (12)
eval-knn-fut-all-0016	64.581	1342					= eval-knn-fut-pgr-0256 = eval-nba-all-ag0-0064 = eval-knn-fut-ag0-0256 = ... (11)
eval-knn-fut-pgr-0256	64.678	1344					= eval-nba-all-ag0-0064 = eval-knn-fut-ag0-0256 = eval-knn-old-all-0128 = ... (10)
eval-nba-all-ag0-0064	64.774	1346					= eval-knn-fut-ag0-0256 = eval-knn-old-all-0128 = eval-nba-fut-all-0128 = ... (9)
eval-knn-fut-ag0-0256	64.870	1348					= eval-knn-old-all-0128 = eval-knn-all-ag0-0032 = eval-knn-all-all-0064 = ... (4)
eval-knn-old-all-0128	64.966	1350					= eval-knn-all-ag0-0032 = eval-knn-all-all-0064 = eval-nba-fut-pgr-0128
eval-knn-all-ag0-0032	65.063	1352					= eval-knn-all-all-0064 = eval-nba-fut-pgr-0128
eval-knn-all-all-0064	65.159	1354					= eval-nba-fut-pgr-0128
eval-nba-fut-pgr-0128	65.255	1356
eval-knn-fut-plr-0016	65.303	1357					= eval-knn-fut-pla-0128 = eval-knn-all-red-2048 = eval-nba-fut-neg-0256 = ... (56)
eval-knn-fut-pla-0128	65.351	1358					= eval-knn-all-red-2048 = eval-nba-fut-neg-0256 = eval-knn-all-pla-2048 = ... (48)
eval-knn-all-red-2048	65.399	1359					= eval-nba-fut-neg-0256 = eval-knn-all-pla-2048 = eval-knn-all-pgr-1024 = ... (47)
eval-nba-fut-neg-0256	65.448	1360					= eval-knn-all-pgr-1024 = eval-knn-fut-neg-0128 = eval-nba-all-all-1024 = ... (30)
eval-knn-all-pgr-1024	65.496	1361					= eval-knn-fut-neg-0128 = eval-nba-all-all-1024 = eval-nba-all-pla-0512 = ... (26)
eval-knn-fut-neg-0128	65.544	1362					= eval-nba-all-all-1024 = eval-nba-all-pla-0512 = eval-nba-fut-neg-0128 = ... (25)
eval-nba-all-all-1024	65.592	1363					= eval-nba-all-pla-0512 = eval-nba-fut-neg-0128 = eval-nba-all-mom-0256 = ... (22)
eval-nba-fut-neg-0128	65.640	1364					= eval-nba-all-mom-0256 = eval-knn-old-all-0032 = eval-nba-old-all-0064 = ... (17)
eval-nba-all-mom-0256	65.688	1365					= eval-knn-old-all-0032 = eval-nba-old-all-0064 = eval-knn-fut-ag0-0512 = ... (16)
eval-knn-old-all-0032	65.736	1366					= eval-nba-old-all-0064 = eval-knn-fut-ag0-0512 = eval-knn-fut-all-1024 = ... (15)
eval-nba-old-all-0064	65.784	1367					= eval-knn-fut-ag0-0512 = eval-knn-fut-all-1024 = eval-nba-fut-neg-1024 = ... (14)
eval-knn-fut-ag0-0512	65.833	1368					= eval-knn-fut-all-1024 = eval-nba-fut-neg-1024 = eval-knn-fut-ag5-0064 = ... (13)
eval-knn-fut-all-1024	65.881	1369					= eval-nba-fut-neg-1024 = eval-knn-fut-ag5-0064 = eval-nba-fut-neg-0032 = ... (11)
eval-knn-fut-ag5-0064	65.929	1370					= eval-nba-fut-neg-0032 = eval-nba-old-all-0032 = eval-knn-all-plr-0032 = ... (7)
eval-nba-fut-neg-0032	65.977	1371					= eval-nba-old-all-0032 = eval-knn-all-plr-0032 = eval-knn-all-nmu-0016 = ... (6)
eval-knn-all-plr-0032	66.025	1372					= eval-knn-all-nmu-0016 = eval-nba-fut-plr-0064 = eval-knn-fut-pgr-0064
eval-knn-all-nmu-0016	66.073	1373					= eval-nba-fut-plr-0064 = eval-knn-fut-pgr-0064
eval-nba-fut-plr-0064	66.121	1374					= eval-knn-fut-pgr-0064
eval-knn-fut-pgr-0064	66.169	1375