FOF	Vampire 8.1	E 0.99	EP 0.99	Vampire 8.0	Theo 2006	Geo 2006i	Darwin 1.3	Otter 3.3	Muscadet 2.6	Equinox 1.0a	Faust 1.0
Attempted	150	150	150	150	150	150	150	150	150	150	150
Solved	128	112	112	109	93	73	64	52	50	31	27
Av. Time	21.44	6.69	7.97	32.90	15.14	22.85	18.33	25.08	15.31	30.19	0.40
Solutions	128	0	92	109	93	73	0	52	0	0	27

CNF	Vampire 8.1	Vampire 8.0	E 0.99	EP 0.99	Theo 2006	Otter 3.3	Darwin 1.3	iProver 0.1	Geo 2006i	Faust 1.0	Equinox 1.0a
Attempted	150	150	150	150	150	150	150	150	150	150	150
Solved	142	138	126	125	66	55	47	47	45	19	12
Av. Time	19.35	21.72	14.69	13.88	43.07	19.75	16.65	34.17	53.30	1.71	4.40
Solutions	142	138	0	103	66	55	0	0	45	19	0

SAT	Paradox 1.3	Paradox 2.0a	DarwinFM 1.3	Geo 2006i	Darwin 1.3	E 0.99
Attempted	100	100	100	100	100	100
Solved	90	89	70	51	18	14
Av. Time	5.76	13.23	13.63	27.81	31.66	3.85
Solutions	90	89	70	51	18	0

EPR	Darwin 1.3	DCTP 10.21p	DarwinFM 1.3	E 0.99	Paradox 2.0a	Vampire 8.1	iProver 0.1	Geo 2006i	Equinox 1.0a
Attempted	100	100	100	100	100	100	100	100	100
Solved	100	99	92	88	87	78	77	68	15
Av. Time	4.72	11.84	10.33	10.95	13.46	4.19	9.96	5.14	11.22
Solutions	50	0	50	0	44	48	0	68	0

UEQ	Waldmeister 806	Waldmeister 704	Vampire 8.1	E 0.99	Otter 3.3	Geo 2006i	Equinox 1.0a
Attempted	100	100	100	100	100	100	100
Solved	93	92	64	62	28	2	0
Av. Time	22.59	24.38	43.33	6.12	30.85	224.65	-
Solutions	93	92	64	0	28	2	0

---