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

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

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

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

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

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

---