FOF	Vampire 11.0	E 1.1pre	Vampire 10.0	EP 1.1pre	iProver 0.7	Equinox 4.1	leanCoP 2.1	iProver-Eq 0.5	Metis 2.2	E-KRHyper 1.1.3	Otter 3.3	OSHL-S 0.6	Infinox 1.0
Attempted	300	300	300	300	300	300	300	300	300	300	300	300	300
Solved	233	219	219	218	174	119	113	88	84	81	58	40	0
Av. Time	33.00	23.89	35.06	26.83	24.79	24.08	37.02	26.58	24.73	21.96	12.90	33.83	-
Solutions	233	0	219	217	0	0	113	0	84	0	58	0	0

FNT	Paradox 3.0	iProver-SAT 0.7	E 1.1pre	EP 1.1pre	E-KRHyper 1.1.3	Metis 2.2	OSHL-S 0.6	Infinox 1.0
Attempted	100	100	100	100	100	100	100	100
Solved	93	68	30	30	24	21	11	0
Av. Time	5.01	39.24	5.72	6.48	24.91	12.13	43.83	-
Solutions	93	0	0	30	0	21	0	0

CNF	Vampire 10.0	Vampire 11.0	E 1.1pre	iProver 0.7	E-Darwin 1.2	iProver-Eq 0.5	Equinox 4.1	Metis 2.2	E-KRHyper 1.1.3	Otter 3.3	OSHL-S 0.6	Infinox 1.0
Attempted	200	200	200	200	200	200	200	200	200	200	200	200
Solved	181	175	159	91	53	53	52	38	35	31	16	0
Av. Time	22.20	26.16	6.92	15.86	26.70	39.93	19.22	20.10	32.74	9.05	34.12	-
Solutions	181	175	0	0	0	0	0	38	0	31	0	0

SAT	Paradox 3.0	iProver-SAT 0.7	E 1.1pre	Metis 2.2	E-KRHyper 1.1.3	OSHL-S 0.6	Infinox 1.0
Attempted	100	100	100	100	100	100	100
Solved	70	54	28	6	1	1	0
Av. Time	7.26	60.95	2.34	0.18	0.00	0.10	-
Solutions	70	0	0	6	0	0	0

EPR	iProver 0.7	Darwin 1.4.4	iProver 0.5c	E-Darwin 1.2	E 1.1pre	OSHL-S 0.6	Metis 2.2	E-KRHyper 1.1.3	Infinox 1.0
Attempted	100	100	100	100	100	100	100	100	100
Solved	92	92	91	85	57	54	44	41	0
Av. Time	14.83	18.97	16.66	20.49	15.27	13.48	15.82	3.43	-
Solutions	0	50	0	0	0	0	44	0	0

UEQ	Waldmeister C09a	E 1.1pre	Vampire 11.0	Waldmeister 806	Matita 1.0	Metis 2.2	iProver-Eq 0.5	Otter 3.3	Equinox 4.1	Infinox 1.0
Attempted	200	200	200	200	200	200	200	200	200	200
Solved	186	127	124	70	67	48	34	29	6	0
Av. Time	17.85	3.63	32.36	19.91	39.28	35.33	88.42	0.59	50.45	-
Solutions	186	0	124	70	67	48	0	29	0	0

---