FOF	Vampire 10.0	E 1.0pre	EP 1.0pre	Vampire 9.0	iProver 0.5c	randoCoP 1.1	Equinox 3.0	Metis 2.1	Otter 3.3	E-KRHyper 1.1	Zenon 0.5.0	Muscadet 3.0	OSHL-S 0.1
Attempted	200	200	200	200	200	200	200	200	200	200	200	200	200
Solved	169	164	164	163	139	95	86	84	76	60	51	38	27
Av. Time	27.81	15.52	20.97	25.67	10.29	21.51	20.16	16.19	17.92	16.31	4.33	8.77	4.97
Solutions	169	0	161	163	0	95	0	84	76	0	51	31	0
SOTAC	0.18	0.15	0.15	0.15	0.15	0.13	0.11	0.12	0.11	0.10	0.12	0.19	0.09
New Attempted	37	37	37	37	37	37	37	37	37	37	37	37	37
New Solved	18	27	27	17	18	8	8	11	3	4	5	1	1

FNT	MetaProver 1.0	Paradox 2.2	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
Attempted	100	100	100	100	100	100	100	100	100
Solved	74	70	70	69	52	41	37	12	0
Av. Time	4.96	0.95	0.97	12.20	0.73	0.84	4.57	1.98	-
Solutions	0	70	70	0	0	41	0	0	0
SOTAC	0.19	0.18	0.18	0.18	0.17	0.16	0.17	0.14	-
New Attempted	11	11	11	11	11	11	11	11	11
New Solved	1	1	1	1	1	1	1	0	0

CNF	Vampire 10.0	Vampire 8.1	E 1.0pre	iProver 0.5c	E-Darwin 1.0	Equinox 3.0	Otter 3.3	E-KRHyper 1.1	Metis 2.1	CHewTPTP 1.0	OSHL-S 0.1
Attempted	100	100	100	100	100	100	100	100	100	100	100
Solved	93	88	77	40	39	21	16	15	14	6	4
Av. Time	25.19	20.46	9.61	10.04	45.90	34.00	10.61	10.35	35.46	13.25	26.43
Solutions	93	88	0	0	0	0	16	0	14	0	0
SOTAC	0.28	0.26	0.26	0.19	0.22	0.23	0.17	0.14	0.14	0.18	0.12
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

SAT	MetaProver 1.0	Paradox 1.3	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	Infinox 0.1
Attempted	80	80	80	80	80	80	80	80
Solved	80	78	77	60	7	5	2	0
Av. Time	3.93	1.63	3.49	46.98	0.26	4.02	0.25	-
Solutions	0	78	77	0	0	5	0	0
SOTAC	0.27	0.27	0.27	0.24	0.19	0.18	0.20	-
New Attempted	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0

EPR	iProver 0.5c	E-Darwin 1.0	Darwin 1.3	Paradox 3.0	E 1.0pre	E-KRHyper 1.1	Metis 2.1	OSHL-S 0.1
Attempted	80	80	80	80	80	80	80	80
Solved	72	70	69	55	46	35	35	31
Av. Time	19.92	16.54	11.15	9.69	5.57	6.77	11.73	1.80
Solutions	0	0	38	35	0	0	35	0
SOTAC	0.25	0.20	0.20	0.17	0.16	0.16	0.15	0.14
New Attempted	23	23	23	23	23	23	23	23
New Solved	17	15	14	5	0	3	1	0

UEQ	Waldmeister 806	Vampire 10.0	E 1.0pre	Otter 3.3	Metis 2.1	Equinox 3.0
Attempted	80	80	80	80	80	80
Solved	73	55	49	25	18	3
Av. Time	15.53	38.10	4.82	12.88	33.27	8.17
Solutions	73	55	0	25	18	0
SOTAC	0.44	0.30	0.28	0.27	0.22	0.32
New Attempted	0	0	0	0	0	0
New Solved	0	0	0	0	0	0

LTB	SInE-VD 0.3	SInE 0.3	Vampire-LTB 10.0	iProver-LTB 0.5c	MaLARea 0.3	E-LTB 1.0pre	EP-LTB 1.0pre	randoCoP 1.1	Muscadet-LTB 3.0
Attempted	150	150	150	150	150	150	150	150	150
Solved	88	86	76	62	52	34	32	23	5
Av. Time	389.45	402.85	446.71	520.06	568.66	1058.82	1125.00	1388.28	6555.96
Solutions	88	85	76	0	52	0	32	23	0
SOTAC	0.26	0.24	0.25	0.24	0.33	0.15	0.15	0.19	0.15
New Attempted	150	150	150	150	150	150	150	150	150
New Solved	88	86	76	62	52	34	32	23	5

---