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

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

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

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

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

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

---