MIX	Vampire 8.0	Vampire 7.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	THEO JN05	Darwin 1.2	Otter 3.3
Attempted	150	150	150	150	150	150	150	150
Solved	137	133	117	117	100	52	32	27
Av. Time	40.64	45.54	24.06	29.97	45.59	48.67	13.14	46.37
Solutions	137	133	0	108	100	52	0	27

FOF	Vampire 8.0	Vampire 7.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	THEO JN05	Otter 3.3	MUSCADET 2.5
Attempted	150	150	150	150	150	150	150	150
Solved	131	129	122	122	113	100	66	31
Av. Time	31.64	26.72	12.44	15.24	33.21	26.21	63.04	0.00
Solutions	131	129	0	117	110	100	66	0

SAT	Paradox 1.3	Paradox 1.0	Mace4 0705D	Mace2 2.2	Darwin 1.2	E 0.9pre3
Attempted	120	120	120	120	120	120
Solved	117	116	83	40	20	11
Av. Time	3.29	8.52	2.37	10.93	4.50	4.55
Solutions	117	116	83	40	20	0

EPR	DCTP 10.21p	Darwin 1.2	Paradox 1.3	E 0.9pre3	Vampire 8.0
Attempted	120	120	120	120	120
Solved	117	113	111	96	91
Av. Time	14.94	1.28	7.60	1.52	1.08
Solutions	0	54	55	0	59

UEQ	Waldmeister 704	Prover9 0705	Vampire 8.0	E 0.9pre3	Otter 3.3
Attempted	120	120	120	120	120
Solved	110	86	71	63	23
Av. Time	56.47	40.10	48.34	2.52	20.04
Solutions	110	86	71	0	23

---