CYC/50	Vampire‑LTB  1.8	E‑LTB  1.4pre	iProver‑SInE  0.9	iProver‑Eq‑SInE  0.7	E‑KRHyper‑LTB  1.2
Solved	50/50	45/50	3/50	3/50	1/50
Av. CPU Time	8.49	59.33	471.93	475.99	48.12
Av. WC Time	7.04	38.87	57.30	57.31	48.21
Solutions	50/50	43/50	0/50	0/50	0/50
μEfficiency	106.11	21.71	1.00	1.00	0.39
SOTAC	0.53	0.47	0.33	0.33	0.33
Core Usage	1.13	1.50	8.11	8.18	1.00
New Solved	0/0	0/0	0/0	0/0	0/0

ISA/75	Vampire‑LTB  1.8	E‑LTB  1.4pre	iProver‑SInE  0.9	E‑KRHyper‑LTB  1.2	iProver‑Eq‑SInE  0.7
Solved	37/75	32/75	18/75	0/75	0/75
Av. CPU Time	6.22	66.52	71.87	-	-
Av. WC Time	1.06	10.36	9.22	-	-
Solutions	37/75	28/75	0/75	0/75	0/75
μEfficiency	141.48	86.84	29.71	-	-
SOTAC	0.57	0.54	0.37	-	-
Core Usage	1.81	3.36	4.44	-	-
New Solved	37/75	32/75	18/75	0/75	0/75

MZR/80	Vampire‑LTB  1.8	E‑LTB  1.4pre	iProver‑SInE  0.9	E‑KRHyper‑LTB  1.2	iProver‑Eq‑SInE  0.7
Solved	32/80	22/80	16/80	3/80	3/80
Av. CPU Time	11.34	48.39	115.33	1.00	133.77
Av. WC Time	1.89	8.09	19.79	1.00	23.13
Solutions	32/80	22/80	0/80	0/80	0/80
μEfficiency	106.25	58.67	14.48	10.42	2.92
SOTAC	0.57	0.42	0.37	0.32	0.26
Core Usage	1.94	2.60	3.83	1.00	3.21
New Solved	0/0	0/0	0/0	0/0	0/0

SMO/20	Vampire‑LTB  1.8	iProver‑SInE  0.9	E‑LTB  1.4pre	iProver‑Eq‑SInE  0.7	E‑KRHyper‑LTB  1.2
Solved	20/20	17/20	12/20	11/20	10/20
Av. CPU Time	15.80	47.87	31.71	19.96	1.79
Av. WC Time	2.57	11.88	9.04	13.43	1.81
Answers	18/20	17/20	12/20	0/20	10/20
μEfficiency	237.50	72.83	113.67	34.05	116.67
SOTAC	0.37	0.29	0.24	0.23	0.21
Core Usage	2.31	2.35	2.71	1.42	1.00
New Solved	16/16	14/16	9/16	10/16	9/16

---