MIX	Vampire 7.0	E-SETHEO csp04	E 0.82	EP 0.82	Vampire 6.0	DCTP 10.21p	THEO J2004	DCTP 1.31	Darwin CASC-J2	SOS 1.0	Otter 3.3
Attempted	200	200	200	200	200	200	200	200	200	200	200
Solved	180	174	162	161	157	103	83	66	45	39	37
Av. Time	51.36	36.02	26.41	27.69	80.33	33.19	73.25	17.13	29.34	124.20	74.56
Solutions	180	0	0	156	157	0	82	0	0	39	37

FOF	Vampire 7.0	Vampire 5.0	E-SETHEO csp04	E 0.82	EP 0.82	DCTP 10.21p	Otter 3.3	Dilemma 0.1
Attempted	100	100	100	100	100	100	100	100
Solved	81	76	75	74	74	53	23	11
Av. Time	35.14	20.24	19.46	17.50	22.87	38.30	34.14	0.14
Solutions	81	76	0	0	72	0	23	0

SAT	Gandalf c-2.6-SAT	Paradox 1.0	Paradox 1.1-casc	Mace4 2004-D	Mace2 2.2	E-SETHEO csp04-SAT	DCTP 10.21p-SAT	DCTP 1.31-SAT	Darwin CASC-J2
Attempted	100	100	100	100	100	100	100	100	100
Solved	95	94	92	55	46	46	42	35	14
Av. Time	121.85	4.99	2.94	0.85	8.98	17.77	16.13	0.00	58.86
Solutions	65	94	92	55	46	0	0	0	14

EPR	DCTP 10.21p	E-SETHEO csp04	Darwin CASC-J2	DCTP 1.31-EPR	DCTP 1.3-EPR	Paradox 1.1-casc	Vampire 7.0
Attempted	80	80	80	80	80	80	80
Solved	79	79	72	72	72	56	46
Av. Time	26.45	38.28	14.67	36.14	66.75	39.90	17.98
Solutions	0	0	37	0	0	28	37

UEQ	Waldmeister 704	Waldmeister 702	E-SETHEO csp04	Vampire 7.0	E 0.82	SOS 1.0	Otter 3.3
Attempted	100	100	100	100	100	100	100
Solved	100	94	74	73	72	58	31
Av. Time	2.35	1.56	21.93	54.11	9.29	45.79	17.71
Solutions	100	94	0	73	0	58	31

---