LTB	SInE-VD 0.3	SInE 0.3	Vampire-LTB 10.0	iProver-LTB 0.5c	MaLARea 0.3	E-LTB 1.0pre	EP-LTB 1.0pre	randoCoP 1.1	Muscadet-LTB 3.0
Attempted	150	150	150	150	150	150	150	150	150
Solved	88	86	76	62	52	34	32	23	5
Av. Time	389.45	402.85	446.71	520.06	568.66	1058.82	1125.00	1388.28	6555.96
Solutions	88	85	76	0	52	0	32	23	0
SOTAC	0.26	0.24	0.25	0.24	0.33	0.15	0.15	0.19	0.15
New Attempted	150	150	150	150	150	150	150	150	150
New Solved	88	86	76	62	52	34	32	23	5

CYC	Vampire-LTB 10.0	SInE 0.3	SInE-VD 0.3	iProver-LTB 0.5c	E-LTB 1.0pre	EP-LTB 1.0pre	randoCoP 1.1	MaLARea 0.3	Muscadet-LTB 3.0
Attempted	50	50	50	50	50	50	50	50	50
Solved	50	46	46	31	19	19	11	9	0
Av. Time	199.01	249.59	253.14	323.87	631.58	631.58	938.40	618.94	-
Solutions	50	46	46	0	0	19	11	9	0
SOTAC	0.25	0.23	0.23	0.23	0.16	0.16	0.13	0.13	-
New Attempted	50	50	50	50	50	50	50	50	50
New Solved	50	46	46	31	19	19	11	9	0

MZR	MaLARea 0.3	Vampire-LTB 10.0	SInE-VD 0.3	iProver-LTB 0.5c	SInE 0.3	E-LTB 1.0pre	EP-LTB 1.0pre	randoCoP 1.1	Muscadet-LTB 3.0
Attempted	70	70	70	70	70	70	70	70	70
Solved	23	15	13	13	12	11	11	9	2
Av. Time	730.43	1120.00	1250.54	1265.38	1338.00	1527.27	1527.27	1658.61	6789.90
Solutions	23	15	13	0	11	0	11	9	0
SOTAC	0.49	0.28	0.26	0.26	0.17	0.14	0.14	0.28	0.11
New Attempted	70	70	70	70	70	70	70	70	70
New Solved	23	15	13	13	12	11	11	9	2

SMO	SInE-VD 0.3	SInE 0.3	MaLARea 0.3	iProver-LTB 0.5c	Vampire-LTB 10.0	E-LTB 1.0pre	randoCoP 1.1	Muscadet-LTB 3.0	EP-LTB 1.0pre
Attempted	30	30	30	30	30	30	30	30	30
Solved	29	28	20	18	11	4	3	3	2
Av. Time	219.66	253.86	360.00	319.64	654.55	1800.00	2226.83	2400.00	3600.00
Solutions	29	28	20	0	11	0	3	0	2
SOTAC	0.29	0.27	0.24	0.23	0.23	0.15	0.15	0.17	0.13
New Attempted	30	30	30	30	30	30	30	30	30
New Solved	29	28	20	18	11	4	3	3	2

---