MIX	Vampire 7.0	E-SETHEO csp04	E 0.82	EP 0.82	Vampire 6.0	DCTP 10.21p	THEO J2004	DCTP 1.31	SOS 1.0	Otter 3.3
Attempted	200	200	200	200	200	200	200	200	200	200
Solved	180	174	162	161	157	103	83	66	39	37
Av. Time	51.36	36.02	26.41	27.69	80.33	33.19	73.25	17.13	124.20	74.56
Solutions	180	0	0	156	157	0	82	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	88	88	88	88	88	88	88	88
Solved	80	75	74	72	72	52	23	11
Av. Time	34.69	19.25	18.00	17.19	21.19	30.41	34.14	0.14
Solutions	80	75	0	0	71	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
Attempted	100	100	100	100	100	100	100	100
Solved	95	94	92	55	46	46	42	35
Av. Time	121.85	4.99	2.94	0.85	8.98	17.77	16.13	0.00
Solutions	65	94	92	55	46	0	0	0

EPR	DCTP 10.21p	E-SETHEO csp04	DCTP 1.31-EPR	DCTP 1.3-EPR	Paradox 1.1-casc	Vampire 7.0
Attempted	80	80	80	80	80	80
Solved	79	79	72	72	56	46
Av. Time	26.45	38.28	36.14	66.75	39.90	17.98
Solutions	0	0	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

---