FOF	Vampire 10.0	E 1.0pre	EP 1.0pre	Vampire 9.0	iProver 0.5c	randoCoP 1.1	Equinox 3.0	Metis 2.1	Otter 3.3	E-KRHyper 1.1	Zenon 0.5.0	Muscadet 3.0	OSHL-S 0.1
Attempted	200	200	200	200	200	200	200	200	200	200	200	200	200
Solved	169	164	164	163	139	95	86	84	76	60	51	38	27
Av. Time	27.81	15.52	20.97	25.67	10.29	21.51	20.16	16.19	17.92	16.31	4.33	8.77	4.97
Solutions	169	0	161	163	0	95	0	84	76	0	51	31	0
SOTAC	0.18	0.15	0.15	0.15	0.15	0.13	0.11	0.12	0.11	0.10	0.12	0.19	0.09
New Attempted	37	37	37	37	37	37	37	37	37	37	37	37	37
New Solved	18	27	27	17	18	8	8	11	3	4	5	1	1

FNT	MetaProver 1.0	Paradox 2.2	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
Attempted	100	100	100	100	100	100	100	100	100
Solved	74	70	70	69	52	41	37	12	0
Av. Time	4.96	0.95	0.97	12.20	0.73	0.84	4.57	1.98	-
Solutions	0	70	70	0	0	41	0	0	0
SOTAC	0.19	0.18	0.18	0.18	0.17	0.16	0.17	0.14	-
New Attempted	11	11	11	11	11	11	11	11	11
New Solved	1	1	1	1	1	1	1	0	0

CNF	Vampire 10.0	Vampire 8.1	E 1.0pre	iProver 0.5c	E-Darwin 1.0	Equinox 3.0	Otter 3.3	E-KRHyper 1.1	Metis 2.1	CHewTPTP 1.0	OSHL-S 0.1
Attempted	100	100	100	100	100	100	100	100	100	100	100
Solved	93	88	77	40	39	21	16	15	14	6	4
Av. Time	25.19	20.46	9.61	10.04	45.90	34.00	10.61	10.35	35.46	13.25	26.43
Solutions	93	88	0	0	0	0	16	0	14	0	0
SOTAC	0.28	0.26	0.26	0.19	0.22	0.23	0.17	0.14	0.14	0.18	0.12
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

SAT	MetaProver 1.0	Paradox 1.3	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	Infinox 0.1
Attempted	80	80	80	80	80	80	80	80
Solved	80	78	77	60	7	5	2	0
Av. Time	3.93	1.63	3.49	46.98	0.26	4.02	0.25	-
Solutions	0	78	77	0	0	5	0	0
SOTAC	0.27	0.27	0.27	0.24	0.19	0.18	0.20	-
New Attempted	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0

EPR	iProver 0.5c	E-Darwin 1.0	Darwin 1.3	Paradox 3.0	E 1.0pre	E-KRHyper 1.1	Metis 2.1	OSHL-S 0.1
Attempted	80	80	80	80	80	80	80	80
Solved	72	70	69	55	46	35	35	31
Av. Time	19.92	16.54	11.15	9.69	5.57	6.77	11.73	1.80
Solutions	0	0	38	35	0	0	35	0
SOTAC	0.25	0.20	0.20	0.17	0.16	0.16	0.15	0.14
New Attempted	23	23	23	23	23	23	23	23
New Solved	17	15	14	5	0	3	1	0

UEQ	Waldmeister 806	Vampire 10.0	E 1.0pre	Otter 3.3	Metis 2.1	Equinox 3.0
Attempted	80	80	80	80	80	80
Solved	73	55	49	25	18	3
Av. Time	15.53	38.10	4.82	12.88	33.27	8.17
Solutions	73	55	0	25	18	0
SOTAC	0.44	0.30	0.28	0.27	0.22	0.32
New Attempted	0	0	0	0	0	0
New Solved	0	0	0	0	0	0

FNE	Vampire 10.0	Vampire 9.0	iProver 0.5c	E 1.0pre	EP 1.0pre	Equinox 3.0	randoCoP 1.1	Zenon 0.5.0	Metis 2.1	E-KRHyper 1.1	Otter 3.3	OSHL-S 0.1	Muscadet 3.0
Attempted	50	50	50	50	50	50	50	50	50	50	50	50	50
Solved	49	48	48	47	47	45	42	41	37	34	34	25	4
Av. Time	1.80	0.76	7.58	7.96	8.64	25.33	4.16	1.81	2.02	7.84	9.47	4.91	70.85
Solutions	49	48	0	0	47	0	42	41	37	0	34	0	3
SOTAC	0.11	0.10	0.11	0.10	0.10	0.10	0.10	0.09	0.09	0.09	0.09	0.09	0.08
New Attempted	8	8	8	8	8	8	8	8	8	8	8	8	8
New Solved	7	6	6	6	6	3	3	1	5	3	2	0	0

FEQ	Vampire 10.0	E 1.0pre	EP 1.0pre	Vampire 9.0	iProver 0.5c	randoCoP 1.1	Metis 2.1	Otter 3.3	Equinox 3.0	Muscadet 3.0	E-KRHyper 1.1	Zenon 0.5.0	OSHL-S 0.1
Attempted	150	150	150	150	150	150	150	150	150	150	150	150	150
Solved	120	117	117	115	91	53	47	42	41	34	26	10	2
Av. Time	38.43	18.55	25.93	36.07	11.72	35.25	27.35	24.76	14.50	1.46	27.40	14.63	5.80
Solutions	120	0	114	115	0	53	47	42	0	28	0	10	0
SOTAC	0.22	0.18	0.18	0.17	0.17	0.16	0.14	0.13	0.13	0.20	0.12	0.23	0.11
New Attempted	29	29	29	29	29	29	29	29	29	29	29	29	29
New Solved	11	21	21	11	12	5	6	1	5	1	1	4	1

FNN	MetaProver 1.0	iProver-SAT 0.5c	Paradox 2.2	Paradox 3.0	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
Attempted	50	50	50	50	50	50	50	50	50
Solved	48	47	46	46	33	24	23	11	0
Av. Time	1.60	7.00	1.38	1.41	0.11	1.39	1.19	2.15	-
Solutions	0	0	46	46	0	24	0	0	0
SOTAC	0.19	0.18	0.18	0.18	0.16	0.16	0.18	0.14	-
New Attempted	3	3	3	3	3	3	3	3	3
New Solved	1	1	1	1	1	1	1	0	0

FNQ	MetaProver 1.0	Paradox 2.2	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
Attempted	50	50	50	50	50	50	50	50	50
Solved	26	24	24	22	19	17	14	1	0
Av. Time	11.15	0.13	0.14	23.30	1.82	0.06	10.14	0.20	-
Solutions	0	24	24	0	0	17	0	0	0
SOTAC	0.20	0.19	0.19	0.17	0.17	0.15	0.15	0.17	-
New Attempted	8	8	8	8	8	8	8	8	8
New Solved	0	0	0	0	0	0	0	0	0

HNE	Vampire 10.0	Vampire 8.1	iProver 0.5c	E 1.0pre	E-Darwin 1.0	CHewTPTP 1.0	E-KRHyper 1.1	Otter 3.3	Metis 2.1	OSHL-S 0.1	Equinox 3.0
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	15	15	10	10	5	4	4	4	3	1	0
Av. Time	17.43	25.43	12.24	17.01	15.92	19.77	30.62	39.30	52.07	7.60	-
Solutions	15	15	0	0	0	0	0	4	3	0	0
SOTAC	0.24	0.24	0.21	0.21	0.20	0.19	0.19	0.17	0.16	0.11	-
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

HEQ	Vampire 10.0	E 1.0pre	Vampire 8.1	Otter 3.3	Equinox 3.0	Metis 2.1	iProver 0.5c	E-Darwin 1.0	E-KRHyper 1.1	CHewTPTP 1.0	OSHL-S 0.1
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	15	13	13	5	3	2	2	1	1	0	0
Av. Time	40.47	12.68	26.98	1.40	0.77	1.50	2.75	0.00	0.50	-	-
Solutions	15	0	13	5	0	2	0	0	0	0	0
SOTAC	0.34	0.29	0.28	0.21	0.18	0.16	0.14	0.11	0.11	-	-
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

NNE	E 1.0pre	iProver 0.5c	Vampire 8.1	Vampire 10.0	E-Darwin 1.0	E-KRHyper 1.1	Metis 2.1	Equinox 3.0	OSHL-S 0.1	Otter 3.3	CHewTPTP 1.0
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	14	14	14	14	9	5	4	4	3	2	2
Av. Time	0.73	4.10	4.46	5.21	1.93	2.32	36.97	57.73	32.70	0.00	0.20
Solutions	0	0	14	14	0	0	4	0	0	2	0
SOTAC	0.18	0.18	0.18	0.18	0.16	0.12	0.14	0.12	0.12	0.11	0.15
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

NEQ	Vampire 10.0	Vampire 8.1	E 1.0pre	E-Darwin 1.0	iProver 0.5c	Equinox 3.0	E-KRHyper 1.1	Metis 2.1	Otter 3.3	CHewTPTP 1.0	OSHL-S 0.1
Attempted	40	40	40	40	40	40	40	40	40	40	40
Solved	37	34	30	24	14	12	5	4	3	0	0
Av. Time	29.85	18.86	11.22	70.55	15.46	39.14	4.12	21.85	0.47	-	-
Solutions	37	34	0	0	0	0	0	4	3	0	0
SOTAC	0.28	0.25	0.25	0.26	0.19	0.26	0.13	0.13	0.11	-	-
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

PEQ	Vampire 10.0	Vampire 8.1	E 1.0pre	Otter 3.3	Equinox 3.0	Metis 2.1	CHewTPTP 1.0	E-Darwin 1.0	E-KRHyper 1.1	iProver 0.5c	OSHL-S 0.1
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	12	12	10	2	2	1	0	0	0	0	0
Av. Time	24.73	30.37	5.86	2.05	5.50	101.90	-	-	-	-	-
Solutions	12	12	0	2	0	1	0	0	0	0	0
SOTAC	0.41	0.41	0.39	0.21	0.33	0.17	-	-	-	-	-
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0	0

SNE	MetaProver 1.0	Paradox 1.3	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	Infinox 0.1
Attempted	40	40	40	40	40	40	40	40
Solved	40	38	38	33	7	5	2	0
Av. Time	1.93	1.78	3.62	38.35	0.26	4.02	0.25	-
Solutions	0	38	38	0	0	5	0	0
SOTAC	0.25	0.26	0.26	0.24	0.19	0.18	0.20	-
New Attempted	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0

SEQ	Paradox 1.3	MetaProver 1.0	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	E-KRHyper 1.1	Infinox 0.1	Metis 2.1
Attempted	40	40	40	40	40	40	40	40
Solved	40	40	39	27	0	0	0	0
Av. Time	1.49	5.93	3.37	57.52	-	-	-	-
Solutions	40	0	39	0	0	0	0	0
SOTAC	0.28	0.28	0.28	0.25	-	-	-	-
New Attempted	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0

EPT	iProver 0.5c	E-Darwin 1.0	Darwin 1.3	Paradox 3.0	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1
Attempted	40	40	40	40	40	40	40	40
Solved	34	32	31	20	17	10	6	2
Av. Time	39.26	30.54	24.00	19.77	9.40	33.27	39.20	3.90
Solutions	0	0	0	0	0	10	0	0
SOTAC	0.36	0.26	0.25	0.21	0.18	0.17	0.25	0.15
New Attempted	23	23	23	23	23	23	23	23
New Solved	17	15	14	5	0	1	3	0

EPS	Darwin 1.3	iProver 0.5c	E-Darwin 1.0	Paradox 3.0	E-KRHyper 1.1	OSHL-S 0.1	E 1.0pre	Metis 2.1
Attempted	40	40	40	40	40	40	40	40
Solved	38	38	38	35	29	29	29	25
Av. Time	0.68	2.61	4.74	3.93	0.06	1.66	3.33	3.12
Solutions	38	0	0	35	0	0	0	25
SOTAC	0.15	0.15	0.15	0.15	0.14	0.14	0.14	0.14
New Attempted	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0

---