FOF	Vampire 9.0	Vampire 8.1	Fampire 1.3	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	leanCoP 2.0	Otter 3.3	Metis 2.0	Geo 2007f	ileanCoP 1.2	Muscadet 2.7
Attempted	300	300	300	300	300	300	300	300	300	300	300	300	300
Solved	270	266	262	248	225	201	173	160	138	117	104	103	37
Av. Time	20.84	16.37	12.19	13.36	13.10	9.57	14.92	39.50	25.04	16.06	29.42	44.23	0.76
Solutions	270	266	0	0	221	0	0	0	138	89	104	0	0
SOTAC	39.04	39.84	36.82	33.81	27.88	22.75	21.07	17.45	14.67	11.71	12.32	10.52	7.13
New Attempted	120	120	120	120	120	120	120	120	120	120	120	120	120
New Solved	104	100	99	97	95	85	88	70	65	42	21	64	1

CNF	Vampire 8.1	Vampire 9.0	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	Otter 3.3	Geo 2007f	E-KRHyper 1.0	Metis 2.0
Attempted	200	200	200	200	200	200	200	200	200	200
Solved	182	181	156	125	76	57	41	41	38	27
Av. Time	27.66	29.64	19.73	20.07	30.72	23.83	13.10	60.77	42.54	8.09
Solutions	182	181	0	122	0	0	41	41	38	27
SOTAC	45.01	43.68	35.65	23.17	12.10	9.18	6.77	6.26	5.98	3.22
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

FNT	Paradox 2.2	Geo 2007f	DarwinFM 1.4.1	E 0.999	iProver 0.2	Metis 2.0
Attempted	100	100	100	100	100	100
Solved	85	81	79	63	53	47
Av. Time	2.64	12.70	20.82	6.03	18.55	2.44
Solutions	85	81	79	0	0	0
SOTAC	24.03	18.87	19.00	14.20	14.33	9.57
New Attempted	2	2	2	2	2	2
New Solved	2	2	2	0	0	0

SAT	Paradox 1.3	Paradox 2.2	DarwinFM 1.4.1	Geo 2007f	iProver 0.2	E 0.999	Metis 2.0
Attempted	100	100	100	100	100	100	100
Solved	96	94	79	54	28	15	7
Av. Time	2.53	8.67	14.23	32.32	43.34	3.83	1.87
Solutions	96	94	79	54	0	0	0
SOTAC	29.41	27.41	19.91	11.91	5.96	3.63	1.76
New Attempted	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0

EPR	Darwin 1.3	Darwin 1.4.1	iProver 0.2	Paradox 2.2	E 0.999	Geo 2007f	Vampire 9.0	E-KRHyper 1.0	Metis 2.0	Equinox 1.2
Attempted	100	100	100	100	100	100	100	100	100	100
Solved	98	98	97	88	80	76	75	74	73	46
Av. Time	1.87	1.93	4.66	2.69	4.31	2.90	2.10	1.79	8.68	13.07
Solutions	48	48	0	40	0	76	49	43	45	0
SOTAC	13.03	13.03	12.78	10.86	9.35	8.69	8.69	8.36	8.34	4.86
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

UEQ	Waldmeister 806	Vampire 9.0	E 0.999	Otter 3.3	Metis 2.0	Equinox 1.2	Geo 2007f
Attempted	100	100	100	100	100	100	100
Solved	91	63	59	27	15	2	2
Av. Time	18.22	42.30	16.73	21.61	38.33	13.35	255.75
Solutions	91	63	0	27	15	0	2
SOTAC	43.08	18.75	17.42	8.17	3.50	0.75	1.33
New Attempted	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0

FNE	Fampire 1.3	Vampire 9.0	E 0.999	Vampire 8.1	iProver 0.2	EP 0.999	Equinox 1.2	Geo 2007f	leanCoP 2.0	Metis 2.0	Otter 3.3	ileanCoP 1.2	Muscadet 2.7
Attempted	60	60	60	60	60	60	60	60	60	60	60	60	60
Solved	59	59	58	57	56	55	50	44	42	34	33	17	2
Av. Time	0.44	2.49	15.65	1.15	3.70	16.17	43.90	7.76	50.63	3.43	12.70	20.31	0.10
Solutions	0	59	0	57	0	54	0	44	0	31	33	0	0
SOTAC	6.49	6.49	6.40	6.20	6.07	5.90	5.31	5.23	3.99	3.12	3.05	1.50	0.24
New Attempted	0	0	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0	0	0

FEQ	Vampire 9.0	Vampire 8.1	Fampire 1.3	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	leanCoP 2.0	Otter 3.3	ileanCoP 1.2	Metis 2.0	Geo 2007f	Muscadet 2.7
Attempted	240	240	240	240	240	240	240	240	240	240	240	240	240
Solved	211	209	203	190	170	145	123	118	105	86	83	60	35
Av. Time	25.97	20.52	15.60	12.67	12.11	11.83	3.14	35.54	28.91	48.96	21.23	45.30	0.79
Solutions	211	209	0	0	167	0	0	0	105	0	58	60	0
SOTAC	32.55	33.64	30.33	27.41	21.98	16.68	15.75	13.46	11.62	9.03	8.59	7.08	6.88
New Attempted	120	120	120	120	120	120	120	120	120	120	120	120	120
New Solved	104	100	99	97	95	85	88	70	65	64	42	21	1

HNE	Vampire 8.1	Vampire 9.0	E 0.999	iProver 0.2	EP 0.999	E-KRHyper 1.0	Geo 2007f	Otter 3.3	Metis 2.0	Equinox 1.2
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	28	28	18	17	17	7	6	4	2	2
Av. Time	27.45	34.30	14.15	1.92	20.42	73.81	105.22	3.40	29.20	146.75
Solutions	28	28	0	0	16	7	6	4	2	0
SOTAC	7.06	7.06	4.40	3.15	3.25	1.91	1.00	0.61	0.27	0.29
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

HEQ	Vampire 8.1	Vampire 9.0	E 0.999	EP 0.999	Equinox 1.2	Otter 3.3	Geo 2007f	iProver 0.2	E-KRHyper 1.0	Metis 2.0
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	28	28	21	14	5	3	2	1	1	0
Av. Time	28.32	33.46	13.38	6.08	1.22	3.20	162.15	53.50	213.00	-
Solutions	28	28	0	14	0	3	2	0	1	0
SOTAC	8.63	8.63	6.05	3.05	1.00	0.65	0.53	0.20	0.25	0.00
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

NNE	Vampire 8.1	Vampire 9.0	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	Geo 2007f	E-KRHyper 1.0	Metis 2.0	Otter 3.3
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	29	28	27	25	25	18	15	13	12	9
Av. Time	8.53	6.51	12.48	10.74	14.44	17.33	52.48	26.48	5.85	0.10
Solutions	29	28	0	25	0	0	15	13	12	9
SOTAC	4.57	4.40	4.12	3.75	3.72	2.32	2.20	1.57	1.39	0.97
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

NEQ	Vampire 9.0	Vampire 8.1	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	Otter 3.3	E-KRHyper 1.0	Geo 2007f	Metis 2.0
Attempted	80	80	80	80	80	80	80	80	80	80
Solved	73	72	66	56	33	29	18	17	17	13
Av. Time	34.48	29.06	32.21	29.80	57.20	14.08	26.35	31.92	36.91	6.90
Solutions	73	72	0	54	0	0	18	17	17	13
SOTAC	16.53	16.70	13.03	10.32	5.03	4.97	2.34	2.25	2.28	1.56
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

PEQ	Vampire 8.1	E 0.999	Vampire 9.0	EP 0.999	Otter 3.3	Equinox 1.2	Geo 2007f	E-KRHyper 1.0	iProver 0.2	Metis 2.0
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	25	24	24	13	7	3	1	0	0	0
Av. Time	45.33	3.29	32.01	10.69	5.50	112.87	121.20	-	-	-
Solutions	25	0	24	13	7	0	1	0	0	0
SOTAC	8.05	8.05	7.05	2.80	2.20	0.60	0.25	0.00	0.00	0.00
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

FNN	Paradox 2.2	iProver 0.2	Geo 2007f	DarwinFM 1.4.1	E 0.999	Metis 2.0
Attempted	50	50	50	50	50	50
Solved	47	44	34	30	20	12
Av. Time	4.44	21.96	22.16	33.24	0.60	2.24
Solutions	47	0	34	30	0	0
SOTAC	15.25	12.75	8.25	7.38	4.17	2.20
New Attempted	2	2	2	2	2	2
New Solved	2	0	2	2	0	0

FNQ	DarwinFM 1.4.1	Geo 2007f	E 0.999	Paradox 2.2	Metis 2.0	iProver 0.2
Attempted	50	50	50	50	50	50
Solved	49	47	43	38	35	9
Av. Time	13.22	5.86	8.55	0.41	2.51	1.90
Solutions	49	47	0	38	0	0
SOTAC	11.62	10.62	10.03	8.78	7.37	1.58
New Attempted	0	0	0	0	0	0
New Solved	0	0	0	0	0	0

SNE	Paradox 1.3	Paradox 2.2	DarwinFM 1.4.1	Geo 2007f	iProver 0.2	E 0.999	Metis 2.0
Attempted	50	50	50	50	50	50	50
Solved	47	47	43	30	19	10	4
Av. Time	1.55	8.74	15.05	44.83	46.45	5.28	2.83
Solutions	47	47	43	30	0	0	0
SOTAC	12.67	12.67	10.67	6.50	4.22	2.32	0.95
New Attempted	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0

SEQ	Paradox 1.3	Paradox 2.2	DarwinFM 1.4.1	Geo 2007f	iProver 0.2	E 0.999	Metis 2.0
Attempted	50	50	50	50	50	50	50
Solved	49	47	36	24	9	5	3
Av. Time	3.48	8.60	13.25	16.68	36.77	0.92	0.60
Solutions	49	47	36	24	0	0	0
SOTAC	16.74	14.74	9.24	5.41	1.74	1.31	0.81
New Attempted	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0

EPT	Darwin 1.3	Darwin 1.4.1	iProver 0.2	Vampire 9.0	E 0.999	Paradox 2.2	Equinox 1.2	Metis 2.0	E-KRHyper 1.0	Geo 2007f
Attempted	50	50	50	50	50	50	50	50	50	50
Solved	50	50	49	49	48	48	46	45	43	43
Av. Time	1.13	1.14	0.72	1.71	0.78	4.53	13.07	2.36	2.74	3.15
Solutions	0	0	0	49	0	0	0	45	43	43
SOTAC	5.54	5.54	5.29	5.41	5.04	5.04	4.86	4.63	4.33	4.33
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

EPS	Darwin 1.3	Darwin 1.4.1	iProver 0.2	Paradox 2.2	Geo 2007f	E 0.999	E-KRHyper 1.0	Metis 2.0	Vampire 9.0	Equinox 1.2
Attempted	50	50	50	50	50	50	50	50	50	50
Solved	48	48	48	40	33	32	31	28	26	0
Av. Time	2.65	2.75	8.69	0.48	2.58	9.59	0.47	18.82	2.85	-
Solutions	48	48	0	40	33	0	0	0	0	0
SOTAC	7.49	7.49	7.49	5.82	4.36	4.31	4.04	3.71	3.28	0.00
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

---