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	94	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	94	73	0	52	0	0	27
New Attempted	48	48	48	48	48	48	48	48	48	48	48
New Solved	31	29	29	29	20	25	12	10	24	7	7

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
New Attempted	65	65	65	65	65	65	65	65	65	65	65
New Solved	64	60	58	57	36	34	30	31	30	17	7

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
New Attempted	3	3	3	3	3	3
New Solved	3	3	0	0	3	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
New Attempted	1	1	1	1	1	1	1	1	1
New Solved	1	1	1	1	1	1	1	1	1

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
New Attempted	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0

FNE	E 0.99	Vampire 8.1	EP 0.99	Vampire 8.0	Theo 2006	Geo 2006i	Darwin 1.3	Otter 3.3	Faust 1.0	Muscadet 2.6	Equinox 1.0a
Attempted	35	35	35	35	35	35	35	35	35	35	35
Solved	35	35	35	35	34	34	33	33	24	17	13
Av. Time	0.07	0.12	0.20	0.62	0.08	2.86	0.01	0.02	0.35	0.05	0.00
Solutions	0	35	35	35	34	34	0	33	24	0	0
New Attempted	6	6	6	6	6	6	6	6	6	6	6
New Solved	6	6	6	6	6	6	6	6	6	6	3

FEQ	Vampire 8.1	E 0.99	EP 0.99	Vampire 8.0	Theo 2006	Geo 2006i	Muscadet 2.6	Darwin 1.3	Otter 3.3	Equinox 1.0a	Faust 1.0
Attempted	115	115	115	115	115	115	115	115	115	115	115
Solved	93	77	77	74	60	39	33	31	19	18	3
Av. Time	29.46	9.69	11.50	48.17	23.81	40.28	23.16	37.85	68.61	52.00	0.83
Solutions	93	0	57	74	60	39	0	0	19	0	3
New Attempted	42	42	42	42	42	42	42	42	42	42	42
New Solved	25	23	23	23	14	19	18	6	4	4	1

HNE	Vampire 8.0	Vampire 8.1	E 0.99	EP 0.99	Theo 2006	Otter 3.3	iProver 0.1	Geo 2006i	Darwin 1.3	Equinox 1.0a	Faust 1.0
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	19	19	13	13	10	5	4	2	1	0	0
Av. Time	35.71	37.69	3.02	4.15	39.57	49.84	0.45	66.10	0.50	-	-
Solutions	19	19	0	13	10	5	0	2	0	0	0
New Attempted	1	1	1	1	1	1	1	1	1	1	1
New Solved	1	1	0	0	0	0	0	0	0	0	0

HEQ	Vampire 8.0	Vampire 8.1	E 0.99	EP 0.99	Otter 3.3	Theo 2006	Darwin 1.3	Geo 2006i	iProver 0.1	Faust 1.0	Equinox 1.0a
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	20	20	18	18	12	10	9	9	6	3	0
Av. Time	11.29	16.79	7.17	9.66	0.33	11.65	9.38	17.78	52.12	0.13	-
Solutions	20	20	0	18	12	10	0	9	0	3	0
New Attempted	10	10	10	10	10	10	10	10	10	10	10
New Solved	10	10	9	9	10	8	7	9	6	3	0

NNE	Vampire 8.1	Vampire 8.0	E 0.99	EP 0.99	Darwin 1.3	Theo 2006	iProver 0.1	Geo 2006i	Otter 3.3	Faust 1.0	Equinox 1.0a
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	20	19	18	18	16	15	14	14	10	9	3
Av. Time	10.01	1.55	3.68	5.43	5.37	43.09	12.39	62.43	2.55	1.78	0.30
Solutions	20	19	0	18	0	15	0	14	10	9	0
New Attempted	10	10	10	10	10	10	10	10	10	10	10
New Solved	10	10	10	10	9	9	9	9	7	7	0

NEQ	Vampire 8.1	Vampire 8.0	E 0.99	EP 0.99	Theo 2006	iProver 0.1	Otter 3.3	Geo 2006i	Darwin 1.3	Equinox 1.0a	Faust 1.0
Attempted	70	70	70	70	70	70	70	70	70	70	70
Solved	66	62	59	58	30	22	20	19	17	9	6
Av. Time	20.42	24.80	25.31	21.21	56.12	50.78	31.85	64.86	20.61	5.77	2.67
Solutions	66	62	0	38	30	0	20	19	0	0	6
New Attempted	43	43	43	43	43	43	43	43	43	43	43
New Solved	42	38	38	37	18	15	16	11	13	7	6

PEQ	E 0.99	EP 0.99	Vampire 8.0	Vampire 8.1	Otter 3.3	Darwin 1.3	Geo 2006i	Faust 1.0	Theo 2006	iProver 0.1	Equinox 1.0a
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	18	18	18	17	8	4	1	1	1	1	0
Av. Time	6.82	9.97	29.23	8.71	21.29	65.33	0.00	0.10	0.10	0.70	-
Solutions	0	16	18	17	8	0	1	1	1	0	0
New Attempted	1	1	1	1	1	1	1	1	1	1	1
New Solved	1	1	1	1	1	1	1	1	1	1	0

SNE	Paradox 1.3	Paradox 2.0a	DarwinFM 1.3	Geo 2006i	Darwin 1.3	E 0.99
Attempted	50	50	50	50	50	50
Solved	50	50	41	30	14	8
Av. Time	4.25	8.72	8.41	18.81	0.92	6.74
Solutions	50	50	41	30	14	0
New Attempted	0	0	0	0	0	0
New Solved	0	0	0	0	0	0

SEQ	Paradox 1.3	Paradox 2.0a	DarwinFM 1.3	Geo 2006i	E 0.99	Darwin 1.3
Attempted	50	50	50	50	50	50
Solved	40	39	29	21	6	4
Av. Time	7.63	19.00	21.00	40.65	0.00	139.22
Solutions	40	39	29	21	0	4
New Attempted	3	3	3	3	3	3
New Solved	3	3	0	0	0	3

EPT	Darwin 1.3	E 0.99	DCTP 10.21p	Vampire 8.1	Paradox 2.0a	DarwinFM 1.3	iProver 0.1	Geo 2006i	Equinox 1.0a
Attempted	50	50	50	50	50	50	50	50	50
Solved	50	49	49	48	43	42	38	29	15
Av. Time	1.83	8.21	10.72	6.54	16.03	5.10	9.33	5.14	11.22
Solutions	0	0	0	48	0	0	0	29	0
New Attempted	1	1	1	1	1	1	1	1	1
New Solved	1	1	1	1	1	1	1	1	1

EPS	Darwin 1.3	DCTP 10.21p	DarwinFM 1.3	Paradox 2.0a	Geo 2006i	iProver 0.1	E 0.99	Vampire 8.1	Equinox 1.0a
Attempted	50	50	50	50	50	50	50	50	50
Solved	50	50	50	44	39	39	39	30	0
Av. Time	7.60	12.93	14.72	10.95	5.13	10.57	14.39	0.43	-
Solutions	50	0	50	44	39	0	0	0	0
New Attempted	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0

---