MIX	Vampire 6.0	E-SETHEO csp03	E 0.8	Vampire 5.0	EP 0.8	Gandalf c-2.6	Gandalf c-2.6-PRF	DCTP 10.2p	DCTP 1.3	THEO J2003	Otter 3.2	CARINE 0.72
Attempted	140	140	140	140	140	140	140	140	140	140	140	140
Solved	120	119	113	113	113	102	79	72	55	49	34	7
Av. Time	65.64	34.65	20.91	23.08	25.35	67.75	30.94	43.28	18.15	45.59	99.12	104.86
Solutions	120	0	0	113	110	0	79	0	0	47	34	7

FOF	Vampire 5.0	Vampire 6.0	E-SETHEO csp03	DCTP 10.2p	Otter 3.2	MUSCADET 2.4
Attempted	70	70	70	70	70	70
Solved	57	56	48	42	14	13
Av. Time	15.18	56.50	66.12	74.00	72.00	0.46
Solutions	57	56	0	0	14	0

SAT	Gandalf c-2.6-SAT	Paradox 1.0-casc	Gandalf c-2.5-SAT	E-SETHEO csp03-SAT	DCTP 10.2p-SAT	DCTP 1.3-SAT
Attempted	70	70	70	70	70	70
Solved	63	60	49	31	22	19
Av. Time	142.16	6.52	93.94	14.16	27.95	2.47
Solutions	40	60	0	0	0	0

EPR	DCTP 1.3-EPR	Gandalf c-2.6-SAT	E-SETHEO csp02	E-SETHEO csp03	DCTP 10.2p	Paradox 1.0-casc	Vampire 6.0	E 0.8
Attempted	70	70	70	70	70	70	70	70
Solved	66	61	57	57	55	48	47	47
Av. Time	95.83	248.13	24.95	71.19	47.36	60.71	49.70	80.74
Solutions	0	0	0	0	0	26	32	0

UEQ	Waldmeister 702	Waldmeister 703	E 0.8	E-SETHEO csp03	Vampire 6.0	Gandalf c-2.6	CiME 2.01	Otter 3.2
Attempted	70	70	70	70	70	70	70	70
Solved	56	56	53	52	48	45	21	11
Av. Time	6.89	6.95	26.36	45.73	52.58	73.29	93.86	44.09
Solutions	56	56	0	0	48	0	0	11

---