Results

Colour key: 1st place 2nd place 3rd place Demonstration

Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for THF (Higher-order Theorems)

Higher-order Theorems	Vampire 4.9	Vampire 4.8	Zipperpin 2.1.9999	E 3.2.0	cvc5 1.1.3	Leo-III 1.7.15	LEO-II 1.7.0
`AGT031^1`	⁺0.80	⁺1.41	⁺1.17	⁺0.39	⁺0.58	⁺2.65	⁺0.47
`SYO325^5`	⁺0.62	⁺0.65	⁺7.86	⁺0.37	⁺0.45	TMO‑Non	TMO‑Non
`ITP032^1`	⁺3.15	⁺1.94	⁺4.24	⁺0.62	⁺0.99	⁺6.68	GUP‑Non
`SYN386^5`	⁺0.27	⁺0.27	⁺0.67	⁺0.39	TMO‑Non	⁺1.34	⁺0.29
`SEU734^1`	⁺0.58	⁺0.99	⁺1.52	⁺1.06	⁺2.38	⁺7.64	GUP‑Non
`SYO262^5`	⁺0.27	⁺0.26	⁺0.63	⁺0.37	TMO‑Non	⁺1.45	TMO‑Non
`ITP183^1`	⁺0.35	⁺0.40	⁺4.67	⁺0.67	⁺0.88	⁺4.95	GUP‑Non
`CSR131^1`	⁺0.37	⁺0.30	⁺1.39	⁺0.38	⁺0.43	⁺11.37	TMO‑Non
`SEU686^2`	⁺0.34	⁺0.32	⁺0.79	⁺0.32	⁺0.46	⁺1.58	TMO‑Non
`SEV019^5`	⁺0.27	⁺0.23	⁺0.82	⁺0.37	⁺0.56	⁺1.40	⁺0.28
`SYO539^1`	⁺0.44	⁺0.24	⁺0.62	⁺0.38	⁺0.45	⁺1.45	GUP‑Non
`SYO272^5`	⁺0.29	⁺0.40	⁺1.06	⁺0.38	⁺21.24	⁺12.92	TMO‑Non
`SYO031^1`	⁺0.26	⁺0.26	⁺0.72	⁺0.37	⁺20.50	⁺1.22	GUP‑Non
`SEV091^5`	⁺0.28	⁺0.25	⁺0.68	⁺0.45	⁺0.36	⁺1.58	⁺0.27
`SEV261^5`	⁺0.35	⁺0.24	⁺1.65	⁺179.93	⁺12.85	⁺15.37	GUP‑Non
`SYO387^5`	⁺0.29	⁺0.27	⁺0.88	⁺0.38	⁺20.83	⁺1.75	⁺0.87
`CSR146^3`	⁺0.28	⁺0.27	⁺1.56	⁺0.37	⁺0.40	⁺2.63	TMO‑Non
`SEV058^5`	⁺0.33	⁺0.29	⁺4.09	⁺0.34	⁺20.62	⁺1.91	⁺3.98
`SEU995^5`	⁺0.33	⁺0.29	⁺0.63	⁺0.37	UNK‑Non	⁺2.16	GUP‑Non
`SYN036^5`	⁺0.27	⁺0.23	⁺0.78	⁺0.46	⁺0.41	⁺5.51	⁺0.46
`SEU616^1`	⁺0.34	⁺0.35	⁺0.68	⁺179.93	⁺0.53	⁺3.01	GUP‑Non
`SYN996^1`	⁺0.26	⁺0.26	⁺0.56	⁺0.38	TMO‑Non	⁺1.51	⁺0.26
`SEU564^1`	⁺0.41	⁺0.41	⁺0.65	⁺0.43	⁺0.58	⁺2.73	GUP‑Non
`SEV246^6`	⁺1.62	⁺0.90	⁺6.97	⁺0.39	⁺0.33	TMO‑Non	TMO‑Non
`SEU752^1`	⁺0.71	⁺0.49	⁺2.92	⁺2.54	⁺2.12	⁺11.45	GUP‑Non
`SEV243^5`	⁺4.99	⁺3.62	⁺7.25	⁺0.38	⁺0.42	TMO‑Non	TMO‑Non
`SYO064^4.004`	⁺3.62	⁺9.12	⁺16.59	⁺47.59	⁺16.34	TMO‑Non	TMO‑Non
`CSR130^1`	⁺0.35	⁺0.25	⁺1.10	⁺0.38	⁺0.41	⁺4.69	⁺0.36
`SEU460^1`	⁺0.27	⁺0.23	⁺0.63	⁺0.41	⁺0.45	⁺2.11	GUP‑Non
`PUZ031^5`	⁺0.32	⁺0.31	⁺1.33	⁺0.40	⁺2.29	⁺1.68	⁺1.19
`LCL710^1`	⁺0.28	⁺0.28	⁺0.69	⁺0.38	⁺55.73	⁺2.88	⁺0.58
`SEV086^5`	⁺0.28	⁺0.27	⁺3.15	⁺0.42	⁺20.66	⁺1.63	⁺8.78
`SEU820^1`	⁺71.70	⁺22.29	⁺21.24	⁺179.95	⁺2.52	⁺12.42	GUP‑Non
`SYO018^1`	⁺0.24	⁺0.27	⁺0.64	⁺0.33	⁺0.54	⁺1.79	⁺0.26
`SET607^3`	⁺0.27	⁺0.26	⁺0.65	⁺0.37	⁺0.73	⁺1.78	GUP‑Non
`SYO388^5`	⁺0.30	⁺0.29	⁺1.02	⁺0.39	⁺22.51	⁺1.70	⁺1.67
`ITP084^1`	⁺0.90	⁺0.41	⁺2.08	⁺0.42	⁺0.93	TMO‑Non	GUP‑Non
`SYO327^5`	⁺0.28	⁺0.40	⁺1.03	⁺0.37	TMO‑Non	⁺42.16	TMO‑Non
`NUM651^1`	⁺0.27	⁺0.32	⁺0.62	⁺0.38	⁺0.45	⁺5.56	GUP‑Non
`PUZ094^5`	⁺0.33	⁺0.29	⁺0.73	⁺0.35	⁺0.50	⁺1.58	⁺0.87
`ITP052^1`	⁺1.03	⁺1.19	⁺3.99	⁺0.53	⁺0.72	⁺66.28	GUP‑Non
`SYO527^1`	⁺0.27	⁺0.25	⁺0.63	⁺0.37	UNK‑Non	⁺1.42	⁺0.25
`SEU636^1`	⁺0.45	⁺0.40	⁺3.91	⁺179.98	⁺0.99	⁺4.67	GUP‑Non
`SEV246^5`	⁺1.14	⁺0.96	⁺7.09	⁺0.38	⁺0.45	TMO‑Non	TMO‑Non
`SEU561^1`	⁺0.30	⁺0.31	⁺0.68	⁺179.94	⁺0.48	⁺2.42	GUP‑Non
`SYO310^5`	⁺0.26	⁺0.26	⁺0.58	⁺0.36	⁺20.50	⁺1.36	⁺0.41
`NUN024^2`	⁺0.26	⁺0.26	⁺0.66	⁺0.38	⁺0.43	⁺2.03	GUP‑Non
`SYO514^1`	⁺0.27	⁺0.28	⁺0.64	⁺0.38	UNK‑Non	TMO‑Non	⁺0.29
`GEG013^1`	⁺0.30	⁺0.29	⁺0.69	⁺0.39	⁺0.47	⁺1.64	GUP‑Non
`MSC020^5`	⁺0.28	⁺0.40	⁺1.01	⁺0.38	⁺21.45	⁺54.28	TMO‑Non
`SEU807^2`	⁺0.82	⁺0.35	⁺0.68	⁺0.40	⁺0.73	⁺2.01	GUP‑Non
`SYO376^5`	⁺0.27	⁺0.33	⁺0.63	⁺0.34	⁺1.00	⁺1.78	⁺0.35
`SEU559^1`	⁺0.38	⁺0.36	⁺0.66	⁺179.95	⁺0.45	⁺1.66	GUP‑Non
`NUM753^1`	⁺0.27	⁺0.26	⁺0.66	⁺0.38	⁺0.49	⁺1.51	⁺0.27
`ALG268^4`	⁺0.33	⁺0.31	⁺0.69	⁺0.42	⁺20.87	⁺2.28	⁺5.36
`SEV218^5`	⁺0.28	⁺0.26	⁺0.71	⁺0.38	⁺0.46	⁺1.53	⁺0.28
`AGT040^1`	⁺0.32	⁺0.32	⁺0.70	⁺0.40	⁺0.51	⁺1.69	⁺0.46
`SYO180^5`	⁺0.27	⁺0.26	⁺0.55	⁺0.66	⁺0.40	⁺1.55	GUP‑Non
`SWV073^7`	⁺0.49	⁺0.47	⁺0.89	⁺0.45	⁺1.35	⁺5.08	TMO‑Non
`PUZ047^5`	⁺0.28	⁺0.27	⁺0.65	⁺0.37	⁺0.63	⁺1.60	⁺0.48
`SET753^4`	⁺0.28	⁺0.26	⁺0.64	⁺0.38	⁺0.41	⁺1.44	GUP‑Non
`SEV084^5`	⁺0.27	⁺0.27	⁺1.06	⁺0.37	UNK‑Non	⁺1.59	GUP‑Non
`SEU918^5`	⁺0.36	⁺0.29	⁺0.65	⁺0.38	⁺41.04	⁺2.09	GUP‑Non
`SYO391^5`	⁺0.31	⁺0.30	⁺1.13	⁺0.39	⁺26.19	⁺1.98	⁺1.70
`SEU904^5`	⁺0.25	⁺0.28	⁺0.76	⁺0.39	⁺0.44	⁺1.62	⁺0.42
`SYO264^5`	⁺0.28	⁺0.26	⁺1.50	⁺0.69	⁺20.61	⁺2.06	⁺4.18
`SEV420^1`	⁺0.37	⁺0.28	⁺0.74	⁺0.43	⁺21.11	⁺1.72	GUP‑Non
`SYO559^1`	⁺0.28	⁺0.26	⁺0.70	⁺0.38	⁺1.23	⁺1.77	⁺156.61
`LCL945^9`	⁺2.06	⁺1.85	⁺7.27	⁺12.59	⁺140.69	⁺55.71	TMO‑Non
`NUM016^5`	⁺0.26	⁺0.26	⁺0.62	⁺0.37	⁺0.43	⁺1.44	⁺0.34
`SEV272^5`	⁺0.27	⁺0.25	⁺0.60	⁺0.42	⁺0.42	⁺2.33	GUP‑Non
`SEV254^5`	⁺0.53	⁺0.95	⁺34.23	⁺20.95	TMO‑Non	TMO‑Non	TMO‑Non
`ITP098^1`	⁺0.39	⁺0.38	⁺4.03	⁺0.46	TMO‑Non	⁺3.47	GUP‑Non
`NUM791^1`	⁺0.27	⁺0.25	⁺0.63	⁺0.39	⁺0.39	⁺1.44	GUP‑Non
`SEU626^1`	⁺0.47	⁺0.35	⁺3.91	⁺0.47	⁺0.86	⁺3.31	GUP‑Non
`SYO364^5`	⁺0.26	⁺0.26	⁺0.66	⁺0.37	TMO‑Non	⁺2.59	⁺0.53
`SEU674^1`	⁺1.68	⁺2.25	⁺0.77	⁺0.64	⁺20.80	⁺16.47	GUP‑Non
`SEV085^5`	⁺0.27	⁺0.27	⁺3.86	⁺0.37	⁺20.70	⁺5.93	TMO‑Non
`SEU651^1`	⁺0.62	⁺0.39	⁺0.83	⁺0.49	⁺1.01	⁺10.84	GUP‑Non
`SYO179^5`	⁺0.31	⁺0.29	⁺1.13	⁺0.39	⁺0.45	⁺1.60	⁺0.59
`SYO022^1`	⁺0.27	⁺0.26	⁺0.66	⁺0.38	⁺3.90	⁺1.59	GUP‑Non
`SYO317^5`	⁺0.27	⁺0.27	⁺0.76	⁺0.38	⁺10.50	⁺2.85	⁺0.27
`SEU604^1`	⁺38.33	⁺11.37	⁺11.22	⁺0.71	TMO‑Non	⁺4.10	GUP‑Non
`NUM754^1`	⁺0.27	⁺0.27	⁺0.62	⁺0.38	⁺0.39	⁺1.45	⁺0.27
`ITP054^1`	⁺1.93	⁺1.50	⁺9.20	⁺0.55	⁺1.16	⁺15.56	GUP‑Non
`SYO169^5`	⁺0.31	⁺0.29	⁺0.73	⁺0.38	⁺0.45	⁺1.53	⁺0.30
`SYO224^5`	⁺0.27	⁺0.25	⁺0.70	⁺0.56	⁺2.15	⁺2.82	TMO‑Non
`SEV244^6`	⁺3.28	⁺3.60	⁺10.85	⁺0.41	⁺0.50	TMO‑Non	TMO‑Non
`CSR153^1`	⁺0.27	⁺0.25	⁺0.67	⁺0.34	⁺0.57	TMO‑Non	⁺0.32
`SYO386^5`	⁺0.28	⁺0.28	⁺0.85	⁺0.38	⁺5.88	⁺1.67	⁺0.59
`SEU456^1`	⁺0.27	⁺0.28	⁺0.69	⁺0.39	⁺0.44	⁺1.53	GUP‑Non
`SYO114^5`	⁺0.26	⁺0.25	⁺0.65	⁺0.34	⁺0.40	⁺1.55	⁺0.25
`AGT039^1`	⁺0.42	⁺0.32	⁺0.72	⁺0.39	⁺0.51	⁺1.80	⁺0.47
`CSR144^1`	⁺0.26	⁺0.28	⁺0.70	⁺0.38	⁺0.45	⁺2.79	TMO‑Non
`SEU639^1`	⁺8.60	⁺7.68	⁺10.58	TMO‑Non	⁺1.10	TMO‑Non	GUP‑Non
`SEV252^5`	⁺3.23	⁺3.62	⁺10.31	⁺0.41	⁺0.48	TMO‑Non	TMO‑Non
`SEU565^1`	⁺0.41	⁺0.32	⁺0.66	⁺0.44	⁺0.56	⁺2.49	GUP‑Non
`SYO174^5`	⁺0.38	⁺0.35	⁺5.86	TMO‑Non	⁺0.56	TMO‑Non	TMO‑Non
`ITP100^1`	⁺0.38	⁺0.42	⁺0.83	⁺0.49	⁺0.99	TMO‑Non	GUP‑Non
`SEV154^5`	⁺0.45	⁺0.44	⁺7.16	TMO‑Non	⁺0.61	⁺17.35	TMO‑Non
`SEU668^2`	⁺0.27	⁺0.26	⁺0.71	⁺0.34	⁺0.42	⁺3.24	TMO‑Non
`SEV153^5`	⁺0.60	⁺0.53	⁺7.18	TMO‑Non	⁺0.65	⁺18.20	GUP‑Non
`NUM812^5`	⁺0.27	⁺0.26	⁺0.69	⁺0.36	TMO‑Non	⁺3.78	TMO‑Non
`SYO173^5`	⁺0.34	⁺0.32	⁺0.81	⁺0.37	TMO‑Non	⁺1.65	⁺0.32
`ANA125^1`	⁺0.27	⁺0.26	⁺0.65	⁺0.36	⁺41.13	⁺2.25	GUP‑Non
`SYO374^5`	⁺0.26	⁺0.24	⁺0.67	⁺0.37	⁺0.68	⁺1.72	⁺0.34
`SYO540^1`	⁺0.27	⁺0.28	⁺0.65	⁺0.34	⁺0.42	⁺1.45	GUP‑Non
`SEV156^5`	⁺0.47	⁺0.56	⁺7.47	TMO‑Non	⁺0.62	⁺17.85	GUP‑Non
`SEU811^1`	⁺3.50	⁺1.94	⁺23.39	⁺1.79	⁺4.47	⁺13.18	GUP‑Non
`SEV066^5`	⁺0.30	⁺0.31	⁺7.25	⁺0.56	UNK‑Non	TMO‑Non	GUP‑Non
`ITP066^1`	⁺0.68	⁺0.61	⁺5.18	⁺0.47	⁺1.14	TMO‑Non	GUP‑Non
`SEV064^5`	⁺0.30	⁺0.30	⁺9.01	⁺0.59	UNK‑Non	TMO‑Non	GUP‑Non
`SET062^7`	⁺0.37	⁺0.41	⁺0.78	⁺0.40	⁺10.92	⁺3.77	⁺0.71
`SEV152^5`	⁺0.44	⁺0.72	⁺7.18	TMO‑Non	⁺0.56	⁺19.11	TMO‑Non
`CSR131^2`	⁺1.30	⁺0.53	⁺1.05	⁺0.39	⁺0.53	⁺87.76	TMO‑Non
`SYO334^5`	⁺0.29	⁺0.29	⁺0.66	⁺0.37	TMO‑Non	⁺2.45	⁺0.30
`ITP093^1`	⁺0.44	⁺0.40	⁺0.68	⁺0.49	⁺1.08	TMO‑Non	GUP‑Non
`SYO548^1`	⁺0.39	⁺0.37	⁺0.74	GUP‑Non	UNK‑Non	⁺1.71	TMO‑Non
`SEU909^5`	⁺0.32	⁺0.38	⁺7.19	⁺3.16	TMO‑Non	⁺17.42	TMO‑Non
`SEV101^5`	⁺0.31	⁺0.34	⁺6.94	⁺0.48	TMO‑Non	TMO‑Non	GUP‑Non
`ALG268^3`	⁺1.29	⁺2.95	⁺0.93	⁺0.45	⁺76.62	⁺2.79	⁺1.40
`LCL728^5`	⁺1.35	⁺0.86	⁺45.00	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SYO024^1`	⁺0.26	⁺0.25	⁺0.64	⁺0.37	⁺1.81	⁺1.54	GUP‑Non
`SYO288^5`	⁺0.29	⁺0.56	⁺0.61	GUP‑Non	⁺20.84	⁺1.49	TMO‑Non
`ITP087^1`	⁺0.47	⁺0.42	⁺6.94	⁺0.97	⁺0.84	⁺126.05	GUP‑Non
`SYO269^5`	⁺10.11	⁺13.32	⁺8.95	⁺0.38	TMO‑Non	TMO‑Non	TMO‑Non
`SEU897^5`	⁺0.27	⁺0.27	⁺0.71	⁺98.74	⁺20.61	⁺4.45	⁺44.72
`SEV071^5`	⁺143.82	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV432^2`	⁺0.32	⁺0.30	⁺0.77	⁺0.40	⁺0.44	⁺17.81	⁺0.29
`SEV155^5`	⁺0.48	⁺0.72	⁺6.91	TMO‑Non	⁺0.60	TMO‑Non	TMO‑Non
`NUN025^2`	⁺0.28	⁺0.27	⁺0.66	⁺0.38	⁺0.42	⁺2.06	GUP‑Non
`SEU960^5`	⁺0.47	⁺0.90	⁺4.01	⁺0.39	TMO‑Non	⁺8.80	TMO‑Non
`SEU717^1`	⁺0.67	⁺0.58	⁺1.69	⁺1.52	⁺2.09	⁺75.66	GUP‑Non
`SYO287^5`	⁺0.26	⁺0.49	⁺0.60	GUP‑Non	UNK‑Non	⁺1.58	TMO‑Non
`SEV300^5`	⁺0.42	⁺0.82	⁺8.68	⁺0.39	⁺1.00	⁺2.82	GUP‑Non
`SYO309^5`	⁺0.28	⁺0.29	⁺0.97	⁺0.40	TMO‑Non	⁺5.46	GUP‑Non
`ALG272^5`	⁺0.38	⁺0.35	⁺0.67	⁺0.39	⁺15.21	⁺6.54	⁺0.32
`GRA028^1`	⁺0.58	⁺0.44	⁺21.55	⁺0.71	TMO‑Non	⁺85.89	TMO‑Non
`SEV087^5`	⁺0.27	⁺0.33	⁺1.26	⁺0.41	⁺21.27	⁺2.02	⁺49.60
`GRA030^1`	⁺0.87	⁺0.92	⁺9.02	⁺0.35	⁺20.73	TMO‑Non	TMO‑Non
`SEU779^2`	⁺0.27	⁺0.26	⁺0.66	⁺0.37	⁺0.43	⁺4.88	TMO‑Non
`SEV157^5`	⁺0.47	⁺0.62	⁺14.15	TMO‑Non	⁺1.55	⁺34.56	TMO‑Non
`SEU739^1`	⁺0.56	⁺0.45	⁺0.80	⁺179.91	⁺1.60	⁺11.30	GUP‑Non
`GRA027^1`	TMO‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺59.66	TMO‑Non	TMO‑Non
`SEU494^1`	⁺0.29	⁺0.27	⁺0.65	⁺0.38	⁺0.37	⁺2.04	GUP‑Non
`SEV400^5`	⁺0.63	⁺0.54	⁺21.12	⁺101.00	UNK‑Non	TMO‑Non	TMO‑Non
`SEU591^1`	⁺0.57	⁺0.40	⁺0.89	⁺0.41	⁺0.66	⁺4.17	GUP‑Non
`SEU940^5`	⁺0.31	⁺0.28	⁺0.83	⁺0.30	⁺20.82	TMO‑Non	TMO‑Non
`SWV428^2`	⁺0.32	⁺0.43	⁺74.91	⁺2.71	⁺42.48	TMO‑Non	⁺3.01
`SEV072^5`	⁺0.68	⁺0.42	⁺100.28	GUP‑Non	⁺31.74	TMO‑Non	TMO‑Non
`SEU467^1`	⁺0.27	⁺0.27	⁺0.63	⁺0.38	⁺0.39	⁺1.43	GUP‑Non
`SYO209^5`	⁺0.29	⁺0.39	⁺25.30	GUP‑Non	TMO‑Non	⁺3.42	GUP‑Non
`SYO556^1`	⁺0.38	⁺0.39	⁺8.70	⁺0.30	⁺0.48	⁺2.00	GUP‑Non
`SEV317^5`	⁺2.78	⁺1.20	⁺10.98	⁺4.21	TMO‑Non	TMO‑Non	TMO‑Non
`SEU738^1`	⁺0.54	⁺0.41	⁺0.80	⁺0.67	⁺1.53	⁺6.36	GUP‑Non
`SEV165^5`	⁺0.65	⁺0.76	⁺2.81	TMO‑Non	TMO‑Non	⁺3.04	TMO‑Non
`SET143^3`	⁺0.26	⁺0.26	⁺0.62	⁺0.37	⁺0.75	⁺1.52	GUP‑Non
`SEV113^5`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU632^1`	⁺9.56	⁺3.08	⁺0.85	⁺78.58	⁺0.99	⁺9.92	GUP‑Non
`SEV319^5`	⁺7.62	⁺1.82	⁺11.08	⁺3.65	TMO‑Non	TMO‑Non	TMO‑Non
`GEG007^1`	⁺0.39	⁺0.44	⁺1.76	⁺0.37	⁺11.87	⁺3.36	GUP‑Non
`SEV321^5`	⁺9.55	⁺4.50	⁺6.74	⁺3.57	TMO‑Non	TMO‑Non	TMO‑Non
`CSR146^1`	⁺0.26	⁺0.28	⁺0.69	⁺0.38	⁺0.42	⁺5.23	TMO‑Non
`SYO329^5`	⁺1.31	⁺0.92	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR130^2`	⁺0.50	⁺0.65	⁺0.79	⁺0.40	⁺0.47	⁺9.09	⁺54.74
`SEV319^6`	⁺4.21	⁺1.66	⁺113.67	⁺3.62	TMO‑Non	TMO‑Non	TMO‑Non
`SEU550^1`	⁺0.35	⁺0.42	⁺2.60	⁺0.73	⁺6.18	⁺64.65	GUP‑Non
`SEV318^5`	⁺4.38	⁺7.57	⁺11.29	⁺3.82	TMO‑Non	TMO‑Non	TMO‑Non
`NUM924^2`	⁺0.58	⁺0.54	⁺1.10	⁺0.59	⁺0.74	⁺5.77	GUP‑Non
`SEV050^5`	⁺14.64	⁺6.16	⁺103.52	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU876^5`	⁺0.32	⁺0.28	⁺56.24	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEV414^5`	TMO‑Non	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEG011^1`	⁺0.40	⁺0.34	⁺11.60	⁺0.39	⁺0.47	⁺1.80	GUP‑Non
`SEV090^5`	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.38	TMO‑Non	TMO‑Non	TMO‑Non
`SEV011^5`	⁺0.43	⁺0.39	⁺1.13	⁺0.82	⁺10.95	TMO‑Non	⁺0.45
`SEV312^5`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR138^1`	⁺0.27	⁺0.28	⁺0.81	⁺0.37	⁺0.39	⁺2.79	⁺0.32
`GRA029^2`	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.39	UNK‑Non	TMO‑Non	TMO‑Non
`ALG262^2`	⁺0.34	⁺0.41	⁺0.70	⁺0.44	UNK‑Non	⁺2.63	⁺7.02
`SEV305^6`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEG019^1`	⁺0.42	⁺0.64	⁺13.63	⁺1.91	⁺49.16	⁺17.22	GUP‑Non
`LCL729^5`	⁺0.72	⁺3.16	⁺118.98	TMO‑Non	UNK‑Non	⁺10.87	TMO‑Non
`SEU585^2`	⁺0.27	⁺0.29	⁺0.65	⁺0.38	⁺0.41	⁺1.47	⁺0.36
`SYO335^5`	⁺0.86	⁺0.95	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU699^2`	⁺0.32	⁺0.37	⁺8.34	⁺0.39	⁺0.39	⁺17.71	TMO‑Non
`GRA043^2`	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.42	UNK‑Non	TMO‑Non	TMO‑Non
`PHI004^2`	⁺0.32	⁺0.29	⁺1.08	⁺0.34	⁺0.44	⁺1.62	TMO‑Non
`SEV305^5`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ALG274^5`	⁺0.43	⁺0.51	⁺0.90	⁺0.81	TMO‑Non	⁺1.52	⁺0.34
`SYO275^5`	⁺5.03	⁺0.96	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP160^1`	⁺0.53	⁺0.37	⁺0.87	⁺0.58	TMO‑Non	⁺10.91	GUP‑Non
`GRA032^2`	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.39	UNK‑Non	TMO‑Non	TMO‑Non
`SEU613^2`	⁺0.27	⁺0.26	⁺0.66	⁺0.39	⁺0.42	⁺2.20	TMO‑Non
`SYO326^5`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`ITP125^1`	⁺0.43	⁺0.39	⁺12.29	⁺0.53	TMO‑Non	⁺42.27	GUP‑Non
`SEV068^5`	TMO‑Non	UNK‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`ITP018^1`	⁺0.27	⁺0.27	⁺0.54	⁺0.40	⁺0.46	⁺2.16	⁺4.65
`SYO533^1`	⁺0.56	⁺0.54	⁺41.57	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEV158^5`	⁺0.28	⁺0.28	⁺2.92	⁺0.39	⁺20.66	⁺2.70	⁺9.51
`GRA043^1`	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.57	UNK‑Non	TMO‑Non	TMO‑Non
`ALG294^5`	⁺10.05	⁺1.21	⁺75.08	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU772^1`	⁺28.99	⁺13.01	⁺1.63	⁺0.69	⁺0.70	⁺8.29	GUP‑Non
`SYO868^1`	⁺0.41	⁺0.57	⁺0.72	⁺0.70	⁺4.34	TMO‑Non	⁺17.91
`PRO029^16`	⁺0.30	⁺0.30	⁺0.81	⁺0.30	⁺0.32	⁺1.53	UNK‑Non
`SYO543^1`	⁺0.25	⁺0.28	⁺0.71	⁺0.37	⁺0.41	⁺1.90	GUP‑Non
`SET606^3`	⁺0.26	⁺0.25	⁺0.61	⁺0.38	⁺0.51	⁺2.30	GUP‑Non
`PHI005^2`	⁺0.30	⁺0.29	⁺0.84	⁺0.40	⁺0.66	TMO‑Non	⁺0.31
`NUM417^1`	⁺0.91	⁺0.83	⁺1.94	⁺0.38	⁺3.51	⁺93.92	TMO‑Non
`SEU454^1`	⁺0.38	⁺0.27	⁺0.73	⁺0.34	⁺0.45	⁺1.69	GUP‑Non
`SEU777^1`	⁺1.66	⁺1.31	⁺17.23	⁺0.78	⁺1.89	⁺8.16	GUP‑Non
`SEU687^2`	⁺0.27	⁺0.27	⁺0.85	⁺0.37	⁺20.62	⁺1.81	TMO‑Non
`PHI003^1`	⁺0.42	⁺0.35	⁺11.38	⁺0.38	TMO‑Non	TMO‑Non	⁺0.37
`PUZ150^18`	⁺0.26	⁺0.28	⁺0.64	⁺0.39	⁺0.43	⁺1.60	UNK‑Non
`SEV195^5`	⁺0.28	⁺0.27	⁺0.69	⁺0.34	TMO‑Non	⁺11.39	TMO‑Non
`ITP184^1`	⁺0.38	⁺0.41	⁺0.80	⁺53.43	⁺0.98	⁺10.00	GUP‑Non
`ITP059^1`	⁺2.06	⁺2.38	⁺1.51	⁺0.66	⁺0.91	⁺8.20	GUP‑Non
`LCL960^12`	⁺0.56	⁺0.46	⁺0.70	⁺0.38	TMO‑Non	⁺1.55	⁺0.94
`SEU611^2`	⁺0.27	⁺0.23	⁺0.63	⁺0.39	⁺0.42	⁺2.33	TMO‑Non
`SYO221^5`	⁺0.26	⁺0.26	⁺0.68	⁺0.37	⁺0.41	⁺2.20	⁺0.37
`SEU713^1`	⁺0.77	⁺1.67	⁺0.62	⁺1.87	⁺1.38	⁺12.94	GUP‑Non
`SYO538^1`	⁺0.25	⁺0.25	⁺0.66	⁺0.38	⁺0.48	⁺1.92	GUP‑Non
`SEU742^1`	⁺0.80	⁺0.56	⁺2.00	⁺0.83	⁺1.82	⁺12.91	GUP‑Non
`SEU660^1`	⁺0.50	⁺0.43	⁺1.19	⁺0.52	⁺1.12	⁺3.97	GUP‑Non
`SET601^3`	⁺0.26	⁺0.26	⁺0.65	⁺0.38	⁺5.19	⁺1.77	GUP‑Non
`SEU612^2`	⁺0.27	⁺0.26	⁺0.80	⁺0.34	⁺0.41	⁺2.91	TMO‑Non
`NUM637^2`	⁺0.26	⁺0.26	⁺0.93	⁺0.37	TMO‑Non	⁺10.73	TMO‑Non
`GEG005^1`	⁺0.44	⁺0.42	⁺3.36	⁺0.42	TMO‑Non	⁺18.20	GUP‑Non
`GEG020^1`	⁺0.46	⁺0.42	⁺14.96	⁺0.52	TMO‑Non	⁺1.82	GUP‑Non
`SYO225^5`	⁺0.27	⁺0.27	⁺0.95	⁺0.39	⁺0.42	⁺1.65	⁺0.60
`ITP186^1`	⁺0.46	⁺0.45	⁺1.15	⁺24.13	⁺0.82	⁺8.57	GUP‑Non
`PHI003^2`	⁺0.30	⁺0.27	⁺0.71	⁺0.39	⁺20.68	TMO‑Non	⁺0.28
`ITP043^1`	⁺0.66	⁺0.51	⁺3.94	⁺0.53	⁺0.64	⁺4.65	GUP‑Non
`SEV119^5`	⁺0.34	⁺0.46	⁺3.30	⁺26.52	TMO‑Non	⁺40.96	TMO‑Non
`NUM799^1`	⁺0.25	⁺0.26	⁺0.63	⁺1.98	⁺20.60	⁺4.04	TMO‑Non
`CSR148^2`	⁺0.35	⁺0.47	⁺0.69	⁺0.40	⁺0.66	⁺2.60	⁺0.44
`NLP266^4`	⁺0.32	⁺0.32	⁺0.79	⁺0.38	TMO‑Non	⁺2.42	⁺0.53
`SET597^5`	⁺0.35	⁺0.40	⁺1.34	⁺0.87	⁺1.46	TMO‑Non	⁺25.79
`SEU468^1`	⁺0.53	⁺0.34	⁺1.11	⁺0.41	⁺0.43	⁺1.62	GUP‑Non
`SEU646^1`	⁺3.80	⁺3.15	⁺0.71	⁺52.73	⁺1.00	TMO‑Non	GUP‑Non
`SEU562^1`	⁺0.40	⁺0.31	⁺0.67	⁺0.43	⁺0.45	⁺2.09	GUP‑Non
`ITP099^1`	⁺0.37	⁺0.46	⁺4.22	⁺0.54	TMO‑Non	⁺3.76	TMO‑Non
`SEU589^1`	⁺0.88	⁺0.39	⁺3.89	⁺179.97	⁺0.74	⁺4.31	GUP‑Non
`ITP073^1`	⁺0.48	⁺0.40	⁺4.70	⁺0.45	⁺1.05	TMO‑Non	GUP‑Non
`ITP167^1`	⁺0.39	⁺0.41	⁺9.55	⁺0.67	TMO‑Non	TMO‑Non	GUP‑Non
`ITP048^1`	⁺9.94	⁺7.31	⁺4.33	⁺0.49	⁺1.22	TMO‑Non	GUP‑Non
`SEU766^1`	⁺0.59	⁺0.46	⁺0.96	⁺179.94	⁺0.73	⁺11.00	GUP‑Non
`LCL949^4`	⁺4.05	⁺13.43	⁺13.51	⁺1.27	⁺2.93	⁺6.51	⁺35.91
`AGT037^1`	⁺0.40	⁺0.54	⁺0.71	⁺0.37	⁺0.51	⁺1.72	⁺0.46
`GEG015^1`	⁺0.33	⁺0.41	⁺3.88	⁺0.42	⁺0.52	⁺1.76	GUP‑Non
`ITP077^1`	⁺0.46	⁺0.38	⁺0.77	⁺0.52	⁺0.98	⁺28.55	GUP‑Non
`SEV432^1`	⁺0.26	⁺0.25	⁺0.60	⁺0.38	UNK‑Non	⁺2.03	⁺0.25
`ITP046^1`	⁺0.68	⁺0.42	⁺4.49	⁺1.69	⁺1.11	TMO‑Non	GUP‑Non
`SEU704^2`	⁺0.38	⁺0.50	⁺1.02	⁺0.39	⁺20.61	⁺1.69	GUP‑Non
`SEU602^1`	⁺0.63	⁺0.41	⁺0.83	⁺179.95	⁺0.71	⁺2.97	GUP‑Non
`SEU735^1`	⁺0.53	⁺0.53	⁺8.64	⁺0.85	⁺1.55	⁺10.37	GUP‑Non
`ITP194^1`	⁺0.42	⁺0.49	⁺2.13	⁺0.47	⁺0.82	⁺3.42	GUP‑Non
`CSR152^2`	⁺0.28	⁺0.27	⁺0.62	⁺0.59	⁺0.42	⁺11.09	⁺18.10
`AGT034^2`	⁺0.75	⁺0.50	⁺0.94	⁺0.42	⁺0.51	⁺2.54	⁺0.44
`SEU751^1`	⁺0.45	⁺0.52	⁺2.52	⁺0.86	⁺5.90	⁺13.08	GUP‑Non
`SEU652^1`	⁺0.55	⁺0.38	⁺0.80	⁺179.94	⁺1.25	⁺4.41	GUP‑Non
`SYO304^5`	⁺0.25	⁺0.27	⁺0.62	⁺0.42	⁺0.61	⁺1.88	TMO‑Non
`SEU696^2`	⁺0.34	⁺0.28	⁺8.77	⁺0.38	TMO‑Non	⁺2.59	TMO‑Non
`ITP201^1`	⁺0.43	⁺0.42	⁺5.94	⁺0.53	TMO‑Non	⁺3.74	GUP‑Non
`SET004^4`	⁺0.59	⁺0.35	⁺2.75	⁺0.64	⁺0.56	TMO‑Non	TMO‑Non
`SWV433^2`	⁺1.00	⁺1.92	⁺110.62	⁺4.86	TMO‑Non	TMO‑Non	⁺4.70
`ITP074^1`	⁺0.47	⁺0.39	⁺1.15	⁺0.45	⁺0.75	TMO‑Non	GUP‑Non
`SEU689^2`	⁺0.27	⁺0.28	⁺1.47	⁺0.47	TMO‑Non	⁺3.37	TMO‑Non
`SEV124^5`	⁺0.30	⁺0.28	⁺2.17	⁺0.29	⁺0.42	TMO‑Non	⁺0.73
`ITP110^1`	⁺0.35	⁺0.34	⁺0.66	TMO‑Non	TMO‑Non	⁺4.38	GUP‑Non
`SEU665^2`	⁺0.28	⁺0.27	⁺0.72	⁺0.35	⁺0.35	⁺2.95	TMO‑Non
`ITP147^1`	⁺0.39	⁺0.47	⁺9.44	⁺100.32	⁺0.71	⁺175.84	GUP‑Non
`SYO069^4.002`	⁺4.36	⁺6.31	⁺3.35	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYO516^1`	⁺0.26	⁺0.26	⁺0.70	⁺0.38	TMO‑Non	⁺1.71	⁺0.24
`SYO063^4`	⁺0.70	⁺1.65	⁺10.58	⁺139.54	⁺28.18	TMO‑Non	TMO‑Non
`SEU707^1`	⁺0.78	⁺5.53	⁺34.34	⁺0.99	⁺1.48	⁺8.26	GUP‑Non
`SEU657^1`	⁺3.64	⁺1.58	⁺3.10	⁺0.49	⁺1.23	⁺4.57	GUP‑Non
`GEG014^1`	⁺0.37	⁺0.41	⁺11.46	⁺76.64	⁺40.78	⁺17.48	GUP‑Non
`NUM926^2`	⁺1.08	⁺1.43	⁺5.22	⁺0.62	⁺1.26	⁺81.47	GUP‑Non
`SEU781^1`	⁺76.98	UNK‑Non	⁺23.90	⁺34.98	⁺0.86	TMO‑Non	GUP‑Non
`NUM781^4`	⁺1.29	⁺0.66	⁺0.84	⁺0.51	TMO‑Non	TMO‑Non	GUP‑Non
`SEU764^1`	⁺1.34	⁺1.30	⁺15.96	⁺1.86	⁺3.08	⁺14.49	GUP‑Non
`SEU610^1`	⁺10.44	⁺8.70	⁺9.33	⁺3.99	⁺1.13	⁺4.68	GUP‑Non
`SEU700^1`	⁺0.55	⁺0.40	⁺6.01	⁺2.04	⁺1.30	⁺6.36	GUP‑Non
`NUN025^3`	⁺0.29	⁺0.27	⁺0.67	⁺0.36	⁺0.46	⁺2.40	GUP‑Non
`CSR146^2`	⁺1.87	⁺0.58	⁺2.34	⁺0.39	⁺1.20	⁺4.99	TMO‑Non
`SEU630^2`	⁺0.26	⁺0.27	⁺0.71	⁺0.36	⁺0.42	⁺2.04	TMO‑Non
`ITP151^1`	⁺0.38	⁺0.39	⁺3.97	⁺0.45	⁺0.66	TMO‑Non	GUP‑Non
`CSR141^2`	⁺0.36	⁺0.45	⁺0.72	⁺0.40	⁺1.81	⁺89.12	⁺1.57
`SET002^4`	⁺0.45	⁺0.33	⁺2.79	⁺0.62	⁺0.52	⁺66.16	TMO‑Non
`SEU673^1`	⁺0.55	⁺10.20	⁺12.12	⁺0.60	TMO‑Non	⁺16.51	GUP‑Non
`ALG017^7`	⁺2.56	⁺2.42	⁺20.33	TMO‑Non	⁺12.66	⁺119.56	TMO‑Non
`LCL950^17`	⁺0.82	⁺12.54	TMO‑Non	⁺0.62	TMO‑Non	⁺25.05	TMO‑Non
`PHI008^4`	⁺0.34	⁺0.30	⁺1.36	⁺0.38	TMO‑Non	⁺20.00	TMO‑Non
`ITP203^1`	⁺3.81	⁺3.47	⁺16.92	GUP‑Non	⁺1.20	TMO‑Non	GUP‑Non
`SEU490^1`	⁺0.34	⁺0.31	⁺6.93	⁺39.91	⁺0.44	TMO‑Non	GUP‑Non
`SEU797^1`	⁺0.63	⁺0.57	⁺1.23	⁺1.05	⁺1.84	⁺15.19	GUP‑Non
`SEV080^5`	⁺0.41	⁺0.45	⁺0.95	⁺0.47	TMO‑Non	⁺19.47	TMO‑Non
`SEU788^2`	⁺10.45	⁺5.96	⁺6.76	⁺0.56	⁺0.90	TMO‑Non	TMO‑Non
`ITP188^1`	⁺0.52	⁺0.77	⁺8.94	⁺92.92	⁺0.93	TMO‑Non	GUP‑Non
`SEV208^5`	⁺3.58	⁺2.42	⁺7.92	⁺0.39	⁺0.45	⁺19.77	TMO‑Non
`ITP081^1`	⁺0.43	⁺0.50	⁺11.70	⁺0.91	⁺1.00	TMO‑Non	GUP‑Non
`ITP068^1`	⁺1.26	⁺16.35	⁺4.51	⁺0.52	⁺0.73	⁺3.08	GUP‑Non
`LCL942^2`	⁺0.51	⁺2.00	⁺38.07	TMO‑Non	⁺11.92	⁺19.88	TMO‑Non
`SEU684^1`	⁺11.66	⁺37.18	⁺17.11	⁺0.97	TMO‑Non	⁺5.90	GUP‑Non
`ITP067^1`	⁺7.51	⁺14.17	⁺3.99	⁺0.46	⁺0.66	⁺3.31	GUP‑Non
`SWW473^2`	⁺0.99	⁺0.63	⁺4.05	⁺0.59	⁺2.02	⁺5.80	GUP‑Non
`GEG002^1`	⁺0.55	⁺0.59	⁺3.01	⁺0.50	⁺24.78	⁺3.60	GUP‑Non
`SEU730^1`	⁺20.58	UNK‑Non	⁺8.91	⁺18.38	⁺3.29	⁺16.52	GUP‑Non
`CSR139^2`	⁺0.29	⁺0.27	⁺0.65	⁺0.37	⁺40.85	⁺2.25	⁺3.68
`ITP205^1`	⁺4.37	⁺4.79	⁺5.06	⁺0.79	TMO‑Non	TMO‑Non	GUP‑Non
`SEV001^5`	⁺21.65	⁺9.06	⁺5.02	⁺99.97	⁺10.21	TMO‑Non	⁺1.11
`ITP018^4`	⁺47.40	⁺34.28	⁺37.93	⁺15.75	TMO‑Non	⁺52.53	GUP‑Non
`SEU776^1`	⁺2.36	⁺2.48	⁺34.67	⁺0.82	⁺1.97	⁺8.60	GUP‑Non
`ITP062^1`	⁺2.81	⁺2.94	⁺12.20	⁺0.70	⁺0.76	⁺23.60	GUP‑Non
`ITP023^2`	⁺0.70	⁺1.06	⁺1.79	⁺0.42	⁺6.62	TMO‑Non	GUP‑Non
`ITP102^1`	⁺3.29	⁺1.08	⁺4.06	⁺0.71	⁺12.39	TMO‑Non	GUP‑Non
`NUM768^1`	⁺13.48	⁺2.58	⁺1.04	⁺0.39	TMO‑Non	⁺5.33	⁺160.07
`ITP162^1`	⁺0.56	⁺0.43	⁺0.77	⁺0.43	TMO‑Non	⁺5.69	GUP‑Non
`ITP019^5`	⁺31.92	⁺19.91	⁺6.83	⁺5.60	TMO‑Non	TMO‑Non	GUP‑Non
`SEV108^5`	⁺8.36	⁺9.68	TMO‑Non	TMO‑Non	⁺0.66	⁺17.32	⁺67.35
`SEU643^2`	⁺0.33	⁺0.36	⁺3.02	⁺0.57	⁺0.41	⁺5.09	TMO‑Non
`KRS272^7`	⁺0.58	⁺1.19	⁺5.44	⁺17.94	TMO‑Non	⁺6.65	TMO‑Non
`ALG258^2`	⁺0.31	⁺0.37	⁺0.94	⁺0.43	⁺41.32	⁺1.93	⁺1.31
`ITP197^1`	⁺2.03	⁺0.76	⁺3.24	⁺0.60	⁺1.32	⁺3.75	GUP‑Non
`SWV097^7`	⁺0.71	⁺0.44	⁺6.37	TMO‑Non	TMO‑Non	⁺9.96	TMO‑Non
`NUM827^5`	⁺0.65	⁺0.28	⁺2.11	⁺0.50	TMO‑Non	⁺11.79	TMO‑Non
`LCL944^8`	⁺1.27	⁺0.57	⁺89.21	⁺0.91	TMO‑Non	⁺45.29	TMO‑Non
`SEV010^5`	⁺0.39	⁺0.44	⁺1.17	⁺4.96	⁺11.96	TMO‑Non	⁺0.84
`SEV190^5`	⁺0.36	⁺0.43	⁺0.89	⁺0.38	TMO‑Non	⁺20.59	TMO‑Non
`SEU473^1`	⁺0.33	⁺0.37	⁺1.51	⁺2.25	⁺0.47	⁺12.30	GUP‑Non
`ITP141^1`	⁺1.08	⁺1.08	⁺9.11	⁺86.65	TMO‑Non	TMO‑Non	GUP‑Non
`ALG290^5`	⁺0.44	⁺0.37	⁺146.96	TMO‑Non	⁺3.39	TMO‑Non	TMO‑Non
`SEU687^1`	⁺20.90	⁺13.32	⁺5.52	⁺22.63	⁺40.12	TMO‑Non	GUP‑Non
`SEU671^2`	⁺0.25	⁺0.25	⁺0.83	⁺0.45	⁺0.37	⁺7.76	TMO‑Non
`SEU716^1`	⁺0.67	⁺0.60	⁺2.03	⁺179.89	⁺3.53	TMO‑Non	GUP‑Non
`SEU603^1`	⁺0.65	⁺0.40	⁺3.55	⁺179.90	⁺0.78	⁺3.18	GUP‑Non
`SEU749^1`	⁺1.38	⁺1.30	⁺22.56	⁺34.78	⁺1.78	⁺7.73	GUP‑Non
`SYO544^1`	⁺1.39	⁺0.95	⁺6.75	⁺0.40	⁺25.87	TMO‑Non	TMO‑Non
`NUM639^4`	⁺0.56	⁺0.44	⁺1.11	⁺0.43	⁺28.35	TMO‑Non	GUP‑Non
`SEV204^5`	⁺0.45	⁺0.79	⁺0.97	⁺0.36	TMO‑Non	⁺55.72	TMO‑Non
`NUM671^4`	⁺0.45	⁺0.48	⁺1.11	⁺0.51	TMO‑Non	TMO‑Non	GUP‑Non
`PUZ142^1`	⁺1.08	⁺0.89	⁺68.14	⁺0.52	⁺0.63	TMO‑Non	TMO‑Non
`SEU972^5`	⁺0.90	⁺0.89	⁺8.94	⁺0.38	TMO‑Non	⁺99.76	TMO‑Non
`ITP270^1`	⁺10.96	⁺3.78	⁺22.10	⁺21.24	⁺118.72	TMO‑Non	GUP‑Non
`ITP280^3`	⁺8.23	⁺4.57	UNK‑Non	⁺15.56	TMO‑Non	UNK‑Non	GUP‑Non
`ITP257^3`	⁺7.72	⁺4.90	UNK‑Non	⁺15.15	⁺141.04	UNK‑Non	GUP‑Non
`NUM659^4`	⁺0.51	⁺0.39	⁺2.60	⁺0.37	TMO‑Non	TMO‑Non	GUP‑Non
`SEU466^1`	⁺0.30	⁺0.39	⁺9.44	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU779^1`	⁺5.94	⁺2.97	⁺35.53	⁺1.31	⁺2.70	TMO‑Non	GUP‑Non
`ITP216^1`	⁺8.30	⁺2.73	UNK‑Non	⁺4.27	⁺88.83	UNK‑Non	GUP‑Non
`ITP120^1`	⁺1.05	⁺1.09	⁺1.18	⁺0.41	⁺0.92	⁺4.83	TMO‑Non
`ITP082^1`	⁺0.44	⁺0.44	⁺0.79	⁺0.78	⁺0.84	TMO‑Non	GUP‑Non
`SYO249^5`	⁺0.47	⁺0.36	⁺8.91	⁺99.63	⁺0.44	⁺1.63	⁺0.92
`SYO244^5`	⁺0.28	⁺0.28	⁺2.39	⁺0.38	TMO‑Non	TMO‑Non	⁺0.38
`ITP246^1`	⁺10.70	⁺17.06	UNK‑Non	⁺15.37	⁺131.00	UNK‑Non	GUP‑Non
`ITP005^5`	⁺10.53	⁺4.23	⁺8.24	⁺2.52	TMO‑Non	TMO‑Non	GUP‑Non
`ITP220^1`	⁺6.31	⁺4.02	UNK‑Non	⁺18.19	⁺151.59	UNK‑Non	GUP‑Non
`NUM750^4`	⁺31.31	⁺18.50	⁺21.48	⁺0.40	TMO‑Non	TMO‑Non	GUP‑Non
`SYO222^5`	⁺0.27	⁺0.23	⁺0.82	⁺0.36	TMO‑Non	TMO‑Non	TMO‑Non
`ITP262^3`	⁺16.23	⁺6.05	UNK‑Non	⁺13.64	⁺48.72	UNK‑Non	GUP‑Non
`ANA126^1`	⁺0.46	⁺0.27	⁺0.87	⁺0.39	TMO‑Non	⁺3.55	GUP‑Non
`NUM729^4`	⁺3.19	UNK‑Non	⁺17.58	⁺1.11	TMO‑Non	TMO‑Non	GUP‑Non
`ITP021^4`	⁺45.63	⁺22.91	⁺41.56	⁺43.27	TMO‑Non	⁺14.79	GUP‑Non
`CSR144^2`	⁺0.45	⁺0.39	⁺1.44	⁺0.47	TMO‑Non	⁺17.77	TMO‑Non
`NUM926^3`	⁺0.93	⁺2.38	⁺4.78	⁺0.84	⁺1.56	TMO‑Non	GUP‑Non
`ITP092^1`	⁺1.06	⁺0.55	⁺5.26	⁺0.79	⁺2.14	TMO‑Non	GUP‑Non
`NUM682^4`	⁺1.18	⁺2.60	⁺5.91	⁺0.44	TMO‑Non	TMO‑Non	GUP‑Non
`SEU665^1`	⁺0.92	⁺1.16	⁺17.55	⁺0.54	⁺1.28	TMO‑Non	GUP‑Non
`SEU683^1`	⁺0.90	⁺1.15	⁺19.54	⁺1.47	⁺1.59	⁺5.25	GUP‑Non
`ALG267^1`	⁺0.53	⁺0.60	⁺0.76	⁺0.46	TMO‑Non	⁺3.23	TMO‑Non
`SWW474^2`	⁺4.85	⁺1.37	⁺4.70	⁺0.72	⁺1.46	⁺11.04	GUP‑Non
`SEV203^5`	⁺0.59	⁺0.84	⁺1.39	⁺0.39	TMO‑Non	⁺92.43	TMO‑Non
`ANA127^1`	⁺0.31	⁺0.43	⁺4.14	⁺0.39	TMO‑Non	⁺9.86	GUP‑Non
`SEU824^1`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺2.96	TMO‑Non	GUP‑Non
`SEV267^5`	⁺2.12	⁺0.90	⁺7.04	⁺0.37	⁺0.44	TMO‑Non	TMO‑Non
`SEU968^5`	⁺0.76	⁺2.61	⁺159.06	⁺0.40	TMO‑Non	⁺8.11	TMO‑Non
`SYO858^1`	⁺2.20	⁺2.70	⁺20.09	⁺13.50	⁺98.08	TMO‑Non	⁺38.52
`SYO069^4.003`	⁺10.61	⁺6.19	⁺6.31	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYO246^5`	⁺0.36	⁺0.34	⁺3.73	⁺0.40	TMO‑Non	TMO‑Non	⁺0.43
`SWV445^1`	⁺0.61	⁺0.74	⁺109.81	⁺0.40	TMO‑Non	⁺56.50	⁺1.13
`ITP010^4`	⁺51.18	⁺21.85	⁺13.91	⁺11.41	⁺38.29	TMO‑Non	GUP‑Non
`NUM635^4`	⁺0.46	⁺0.46	⁺0.94	⁺0.43	⁺21.96	TMO‑Non	GUP‑Non
`ITP236^3`	⁺7.23	⁺4.24	UNK‑Non	⁺6.39	⁺108.92	UNK‑Non	GUP‑Non
`SEU630^1`	⁺1.14	⁺1.16	⁺12.98	⁺17.21	⁺1.21	TMO‑Non	GUP‑Non
`NUM641^4`	⁺0.46	⁺0.46	⁺1.16	⁺0.45	⁺8.06	TMO‑Non	GUP‑Non
`NUM728^4`	⁺8.22	⁺2.50	⁺17.45	⁺0.77	TMO‑Non	TMO‑Non	GUP‑Non
`ITP020^5`	⁺36.55	UNK‑Non	⁺17.37	⁺22.30	TMO‑Non	TMO‑Non	GUP‑Non
`NUM672^4`	⁺5.49	UNK‑Non	⁺4.33	⁺0.97	TMO‑Non	TMO‑Non	GUP‑Non
`NUM654^4`	⁺41.48	UNK‑Non	⁺2.59	⁺0.43	TMO‑Non	TMO‑Non	GUP‑Non
`ITP227^1`	⁺5.34	⁺3.84	UNK‑Non	⁺4.48	⁺15.27	UNK‑Non	GUP‑Non
`NUM742^4`	⁺8.90	⁺12.37	⁺12.30	⁺5.08	TMO‑Non	TMO‑Non	GUP‑Non
`NUM710^1`	⁺0.47	⁺0.46	⁺2.17	⁺0.36	TMO‑Non	TMO‑Non	TMO‑Non
`NUM690^4`	⁺12.22	⁺10.01	⁺17.04	⁺0.52	TMO‑Non	TMO‑Non	GUP‑Non
`SYO515^1`	⁺0.28	⁺0.31	UNK‑Non	⁺0.42	⁺20.57	UNK‑Non	GUP‑Non
`ITP006^2`	⁺0.38	⁺0.34	⁺3.88	⁺1.76	TMO‑Non	⁺23.70	GUP‑Non
`NUM783^4`	⁺17.94	⁺14.41	⁺12.76	⁺1.10	TMO‑Non	TMO‑Non	GUP‑Non
`SEV074^5`	⁺0.42	⁺0.36	⁺61.42	⁺0.43	UNK‑Non	TMO‑Non	TMO‑Non
`NUM674^4`	⁺0.44	⁺0.46	⁺0.68	⁺0.45	⁺174.58	TMO‑Non	GUP‑Non
`NUM646^1`	⁺0.41	⁺0.40	⁺6.91	⁺0.39	UNK‑Non	TMO‑Non	TMO‑Non
`GEG012^1`	⁺20.02	⁺3.92	⁺14.44	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ITP006^5`	⁺34.25	UNK‑Non	⁺12.80	⁺1.52	TMO‑Non	TMO‑Non	GUP‑Non
`NUM689^4`	⁺12.08	⁺10.47	⁺5.37	⁺0.52	TMO‑Non	TMO‑Non	GUP‑Non
`SEU483^1`	⁺0.33	⁺0.28	⁺30.82	TMO‑Non	⁺11.43	TMO‑Non	GUP‑Non
`SYO069^4.004`	⁺53.99	⁺17.38	⁺12.94	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEV524^1`	⁺5.07	⁺21.57	⁺132.54	⁺4.57	TMO‑Non	TMO‑Non	TMO‑Non
`NUM643^1`	⁺0.43	⁺0.39	⁺1.95	⁺0.37	TMO‑Non	TMO‑Non	TMO‑Non
`NUM765^4`	⁺18.73	⁺6.66	⁺13.16	⁺0.60	TMO‑Non	TMO‑Non	GUP‑Non
`SEV141^5`	⁺0.42	⁺0.45	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN377^7`	⁺6.74	⁺7.21	⁺72.63	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU780^1`	⁺9.98	⁺11.36	⁺87.93	⁺4.84	⁺3.72	TMO‑Non	GUP‑Non
`ITP222^1`	⁺4.73	⁺3.71	UNK‑Non	⁺4.17	⁺12.20	UNK‑Non	GUP‑Non
`SEU805^1`	⁺74.88	⁺25.10	⁺14.35	⁺50.22	TMO‑Non	TMO‑Non	GUP‑Non
`NUM648^4`	⁺0.58	⁺0.54	⁺10.70	⁺0.47	TMO‑Non	TMO‑Non	GUP‑Non
`NUM810^5`	⁺0.28	⁺0.27	⁺0.98	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP004^5`	⁺23.63	⁺27.21	⁺20.06	⁺3.99	TMO‑Non	TMO‑Non	GUP‑Non
`SEV018^5`	⁺2.53	⁺1.73	⁺2.50	⁺0.34	TMO‑Non	TMO‑Non	TMO‑Non
`NUM757^4`	TMO‑Non	UNK‑Non	⁺20.04	⁺0.59	TMO‑Non	TMO‑Non	GUP‑Non
`LCL877^1`	⁺0.46	⁺0.70	⁺44.65	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.80
`ITP239^1`	⁺6.69	⁺4.01	UNK‑Non	⁺16.97	⁺9.74	UNK‑Non	GUP‑Non
`ITP208^1`	⁺13.42	⁺6.46	UNK‑Non	⁺6.41	⁺156.91	UNK‑Non	GUP‑Non
`ITP011^2`	⁺4.43	⁺1.49	⁺112.20	⁺0.97	TMO‑Non	TMO‑Non	GUP‑Non
`PUZ087^2`	⁺92.33	UNK‑Non	⁺17.21	⁺0.50	TMO‑Non	⁺24.45	⁺0.56
`NUM650^4`	⁺25.33	⁺22.95	⁺1.96	⁺0.51	TMO‑Non	TMO‑Non	GUP‑Non
`ITP214^3`	⁺8.61	⁺3.01	UNK‑Non	⁺5.17	⁺125.75	UNK‑Non	GUP‑Non
`NUM746^4`	⁺12.92	⁺12.31	⁺12.02	⁺1.10	TMO‑Non	TMO‑Non	GUP‑Non
`ITP269^1`	⁺4.84	⁺4.37	UNK‑Non	⁺8.13	⁺9.56	UNK‑Non	GUP‑Non
`SEV016^5`	⁺4.66	⁺3.15	⁺1.61	⁺2.35	TMO‑Non	TMO‑Non	TMO‑Non
`SEV023^5`	⁺9.48	⁺1.53	⁺7.48	⁺8.47	TMO‑Non	TMO‑Non	TMO‑Non
`ITP256^1`	⁺5.09	⁺7.43	UNK‑Non	⁺11.11	⁺42.17	UNK‑Non	GUP‑Non
`NUM752^4`	⁺28.95	⁺25.45	⁺13.33	⁺0.53	TMO‑Non	TMO‑Non	GUP‑Non
`SEU690^1`	⁺3.40	⁺1.92	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU600^2`	⁺5.79	⁺14.58	TMO‑Non	⁺0.55	TMO‑Non	TMO‑Non	TMO‑Non
`NLP009^7`	⁺3.59	⁺3.22	⁺8.27	⁺3.38	TMO‑Non	TMO‑Non	TMO‑Non
`ITP269^3`	⁺4.95	⁺4.37	UNK‑Non	⁺7.94	⁺9.13	UNK‑Non	GUP‑Non
`SEV529^1`	⁺0.82	⁺0.82	⁺0.74	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM664^4`	⁺21.70	UNK‑Non	⁺17.23	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ITP213^1`	⁺12.97	⁺7.01	UNK‑Non	⁺12.75	TMO‑Non	UNK‑Non	GUP‑Non
`SEV295^5`	⁺0.83	⁺0.30	⁺71.08	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU815^1`	TMO‑Non	UNK‑Non	⁺20.17	⁺74.32	TMO‑Non	TMO‑Non	GUP‑Non
`SEU695^1`	TMO‑Non	UNK‑Non	⁺107.91	TMO‑Non	⁺2.05	TMO‑Non	GUP‑Non
`NUM670^4`	TMO‑Non	UNK‑Non	⁺20.83	⁺0.54	TMO‑Non	TMO‑Non	GUP‑Non
`PUZ127^5`	⁺3.45	⁺4.48	TMO‑Non	TMO‑Non	⁺43.51	TMO‑Non	TMO‑Non
`SEV125^5`	⁺0.58	⁺0.88	⁺12.79	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP021^2`	⁺19.18	⁺22.57	⁺160.48	⁺6.23	⁺2.43	TMO‑Non	GUP‑Non
`ITP223^1`	⁺4.44	⁺3.98	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non
`NUM785^4`	TMO‑Non	UNK‑Non	⁺12.68	⁺5.12	TMO‑Non	TMO‑Non	GUP‑Non
`LCL946^10`	⁺2.15	⁺2.20	⁺12.21	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT170^3`	TMO‑Non	UNK‑Non	⁺12.30	⁺23.48	TMO‑Non	TMO‑Non	GUP‑Non
`NUN024^1`	⁺0.46	⁺0.57	⁺0.74	GUP‑Non	⁺20.61	TMO‑Non	GUP‑Non
`ALG269^2`	⁺0.55	⁺0.54	⁺158.15	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU729^1`	⁺75.83	UNK‑Non	⁺15.54	⁺34.50	⁺1.98	TMO‑Non	GUP‑Non
`NUM667^4`	⁺2.86	⁺0.84	⁺17.66	⁺100.00	TMO‑Non	TMO‑Non	GUP‑Non
`SEV198^5`	TMO‑Non	UNK‑Non	⁺17.28	⁺1.07	TMO‑Non	TMO‑Non	TMO‑Non
`NUM636^4`	⁺31.17	⁺23.14	⁺46.14	⁺1.38	TMO‑Non	TMO‑Non	GUP‑Non
`ITP226^1`	⁺5.27	⁺4.98	UNK‑Non	⁺9.42	⁺12.63	UNK‑Non	GUP‑Non
`ITP223^3`	⁺22.37	⁺5.73	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non
`SEU625^1`	⁺95.80	UNK‑Non	TMO‑Non	TMO‑Non	⁺0.86	⁺49.06	GUP‑Non
`SEU770^2`	TMO‑Non	UNK‑Non	⁺103.71	⁺0.63	TMO‑Non	TMO‑Non	TMO‑Non
`ITP013^2`	⁺1.52	⁺0.75	⁺31.79	⁺8.25	⁺1.68	TMO‑Non	TMO‑Non
`SYO877^1`	⁺0.37	⁺0.43	⁺154.23	⁺24.07	⁺103.62	TMO‑Non	TMO‑Non
`NUM792^4`	TMO‑Non	UNK‑Non	⁺72.93	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ITP278^3`	⁺4.94	⁺3.79	UNK‑Non	TMO‑Non	⁺13.03	UNK‑Non	GUP‑Non
`SYO881^1`	⁺1.36	⁺2.25	TMO‑Non	⁺15.54	TMO‑Non	TMO‑Non	TMO‑Non
`NUM698^4`	⁺36.17	UNK‑Non	⁺10.97	⁺0.79	TMO‑Non	TMO‑Non	GUP‑Non
`PHI007^4`	⁺2.62	⁺2.45	⁺11.21	⁺135.36	TMO‑Non	⁺63.68	TMO‑Non
`NUM811^5`	⁺0.33	⁺0.26	⁺61.05	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP207^1`	⁺4.02	⁺2.63	UNK‑Non	⁺3.49	TMO‑Non	UNK‑Non	GUP‑Non
`SYO518^1`	TMO‑Non	UNK‑Non	⁺2.10	GUP‑Non	UNK‑Non	⁺1.59	TMO‑Non
`ITP247^3`	⁺7.82	⁺5.61	UNK‑Non	TMO‑Non	⁺98.31	UNK‑Non	GUP‑Non
`NUN025^1`	⁺0.65	⁺0.65	⁺0.72	GUP‑Non	⁺20.70	TMO‑Non	GUP‑Non
`NUM747^4`	TMO‑Non	UNK‑Non	⁺20.28	⁺0.55	TMO‑Non	TMO‑Non	GUP‑Non
`NUM693^4`	TMO‑Non	UNK‑Non	⁺8.89	⁺0.59	TMO‑Non	TMO‑Non	GUP‑Non
`NUM652^4`	⁺60.48	⁺37.90	⁺2.78	⁺0.48	TMO‑Non	TMO‑Non	GUP‑Non
`SEV150^5`	⁺0.66	⁺3.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP213^3`	⁺12.59	⁺4.87	UNK‑Non	⁺8.69	⁺16.16	UNK‑Non	GUP‑Non
`SEV276^5`	⁺1.02	⁺5.85	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM705^4`	TMO‑Non	UNK‑Non	⁺37.04	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU475^1`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ALG268^1`	⁺25.27	⁺16.27	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM700^4`	⁺73.20	⁺29.18	TMO‑Non	⁺1.34	TMO‑Non	TMO‑Non	GUP‑Non
`SEU678^1`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`NUM692^4`	TMO‑Non	UNK‑Non	⁺171.64	⁺0.51	TMO‑Non	TMO‑Non	GUP‑Non
`QUA007^1`	⁺0.84	⁺0.89	⁺89.77	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL618^1`	⁺1.92	⁺1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP143^1`	⁺4.44	⁺5.04	⁺52.19	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ITP126^1`	⁺52.35	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU656^1`	TMO‑Non	UNK‑Non	TMO‑Non	⁺2.32	TMO‑Non	TMO‑Non	GUP‑Non
`ITP292^3`	⁺10.80	⁺4.41	UNK‑Non	⁺47.38	⁺102.03	UNK‑Non	GUP‑Non
`ITP023^5`	TMO‑Non	UNK‑Non	⁺37.47	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`NUM815^5`	⁺0.36	⁺1.45	⁺116.82	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP003^4`	TMO‑Non	UNK‑Non	TMO‑Non	⁺8.30	TMO‑Non	TMO‑Non	GUP‑Non
`SEU725^1`	TMO‑Non	UNK‑Non	⁺12.86	⁺39.34	⁺4.91	TMO‑Non	GUP‑Non
`SEU907^5`	TMO‑Non	UNK‑Non	⁺71.44	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP251^3`	⁺107.51	UNK‑Non	UNK‑Non	TMO‑Non	⁺146.06	UNK‑Non	GUP‑Non
`SEV021^7`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM795^4`	TMO‑Non	UNK‑Non	⁺26.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ITP005^4`	⁺23.99	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYO243^5`	⁺0.73	⁺0.61	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ITP221^3`	⁺4.44	⁺4.19	UNK‑Non	TMO‑Non	⁺108.81	UNK‑Non	GUP‑Non
`SEV248^5`	⁺2.96	⁺2.01	TMO‑Non	TMO‑Non	⁺1.16	TMO‑Non	TMO‑Non
Solved/500	463/500	447/500	433/500	411/500	299/500	268/500	88/500
Av. WC Time	5.41	2.62	13.08	11.87	13.14	12.47	8.65
Av. CPU Time	30.93	17.78	94.64	39.08	12.96	38.57	8.44
Solutions/500	463/500	447/500	433/500	411/500	299/500	268/500	88/500
μWCEfficiency	674	680	412	624	351	139	130
μEfficiency	514	499	321	575	363	72	132
SotAC	0.32	-	0.28	0.25	0.15	0.11	0.02
Core Usage/> 1.0	4.54/260	5.65/243	6.24/297	4.08/168	1.10/1	2.70/268	0.00/0
Core U. ≤ 1.0	203	204	136	243	298	0	88
New Solved	0/0	0/0	0/0	0/0	0/0	0/0	0/0
Unique Solved	3/17	0/17	5/17	7/17	2/17	0/17	0/17
Higher-order Theorems	Vampire 4.9	Vampire 4.8	Zipperpin 2.1.9999	E 3.2.0	cvc5 1.1.3	Leo-III 1.7.15	LEO-II 1.7.0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFA (Typed First-order Theorems +*-/)

Typed First-order Theorems +*-/	Vampire 4.9	cvc5 1.1.3	Vampire 4.8	iProver 3.9
`ARI495_1`	⁺0.35	⁺0.40	⁺0.37	⁺1.04
`SWW060_1`	⁺0.76	⁺16.49	⁺1.19	⁺79.33
`ARI743_1`	⁺0.28	⁺0.45	⁺0.32	⁺1.02
`SWW670_2`	⁺0.32	⁺15.67	⁺0.54	⁺4.03
`ARI400_1`	⁺0.54	⁺0.38	⁺0.37	UNK‑Non
`SWW594_2`	TMO‑Non	⁺15.83	⁺0.91	⁺16.55
`ARI619_3`	⁺0.79	⁺0.41	⁺0.38	TMO‑Non
`ARI701_1`	⁺0.36	⁺0.39	⁺0.32	⁺1.04
`ARI621_3`	⁺0.86	⁺0.40	⁺0.31	TMO‑Non
`DAT016_1`	⁺0.30	⁺20.58	⁺0.38	TMO‑Non
`ARI636_1`	⁺0.43	⁺15.44	⁺0.41	⁺1.05
`ARI708_1`	⁺0.40	⁺0.40	⁺0.38	⁺1.03
`ARI629_1`	⁺0.43	⁺0.41	⁺0.35	⁺1.04
`SEV422_1`	⁺1.78	⁺0.75	⁺0.40	⁺3.03
`ARI720_1`	⁺0.30	⁺0.31	⁺0.37	⁺1.04
`DAT105_1`	⁺0.31	⁺31.06	⁺0.30	⁺1.03
`ARI725_1`	⁺0.66	⁺0.41	⁺0.38	TMO‑Non
`DAT106_1`	⁺0.44	⁺0.44	⁺0.36	TMO‑Non
`ARI714_1`	⁺0.38	⁺0.42	⁺0.37	⁺1.00
`ARI177_1`	⁺0.40	⁺0.39	⁺0.36	⁺1.02
`ARI722_1`	⁺0.65	⁺0.40	⁺0.41	⁺1.00
`SWW090_1`	⁺0.78	⁺16.30	⁺1.10	⁺40.82
`ARI744_1`	⁺0.30	⁺10.55	⁺0.34	⁺1.04
`ARI575_1`	⁺0.52	⁺0.40	⁺0.43	⁺1.02
`ARI715_1`	⁺0.41	⁺0.35	⁺0.38	⁺0.98
`ARI120_1`	⁺0.86	⁺15.73	⁺0.38	⁺21.56
`ARI718_1`	⁺0.82	⁺0.36	⁺0.40	TMO‑Non
`DAT094_1`	⁺0.30	⁺14.53	⁺0.47	⁺3.50
`ARI634_1`	⁺0.39	⁺15.56	⁺0.46	⁺1.50
`SWW599_2`	⁺0.86	⁺15.58	⁺0.50	⁺1.49
`ARI628_1`	⁺0.41	⁺0.51	⁺0.45	⁺1.01
`ARI707_1`	⁺0.36	⁺0.41	⁺0.38	⁺1.03
`ARI639_1`	⁺0.39	⁺0.39	⁺0.39	⁺1.04
`ARI688_1`	⁺0.37	⁺0.40	⁺0.34	⁺0.99
`ARI637_1`	⁺1.41	⁺10.69	UNK‑Non	⁺1.07
`SWW083_1`	⁺0.82	⁺16.59	⁺1.28	TMO‑Non
`ARI641_1`	⁺0.41	TMO‑Non	⁺0.40	⁺1.03
`NUM858_1`	⁺1.06	⁺36.17	⁺0.87	TMO‑Non
`ARI642_1`	⁺0.49	TMO‑Non	⁺0.50	⁺6.57
`SWW093_1`	⁺0.89	⁺16.29	⁺1.12	⁺37.69
`ARI732_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`DAT029_1`	⁺0.67	⁺15.56	⁺23.29	⁺1.02
`ARI724_1`	⁺0.38	⁺0.41	UNK‑Non	TMO‑Non
`DAT077_1`	⁺0.28	⁺0.46	⁺0.31	⁺1.06
`ARI731_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`HWV089_2`	⁺1.95	⁺71.09	⁺0.73	⁺4.61
`ARI536_2`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SWW643_2`	⁺0.58	⁺15.81	⁺0.41	TMO‑Non
`ARI536_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SWW625_2`	⁺0.48	⁺16.09	⁺0.41	⁺38.08
`SWW624_2`	⁺1.02	⁺15.89	⁺7.51	⁺93.10
`SWW631_2`	⁺0.57	⁺17.23	⁺0.83	⁺4.58
`ARI685_1`	⁺4.48	⁺0.37	⁺1.77	⁺3.03
`ARI178_1`	⁺0.40	⁺0.40	⁺0.32	⁺1.04
`SWW632_2`	⁺0.32	⁺0.52	⁺0.25	⁺1.02
`DAT050_1`	⁺0.31	⁺0.67	⁺0.42	TMO‑Non
`SWW073_1`	⁺0.77	⁺16.05	⁺1.02	⁺20.70
`SWW634_2`	⁺0.66	⁺15.76	⁺1.32	⁺1.54
`SWW070_1`	⁺0.78	⁺16.18	⁺1.02	⁺19.73
`SWW071_1`	⁺0.77	⁺16.29	⁺1.05	⁺32.69
`SWW653_2`	⁺0.46	⁺15.55	⁺0.36	⁺3.02
`SWW597_2`	⁺2.12	⁺15.62	UNK‑Non	TMO‑Non
`ARI677_1`	⁺0.41	⁺0.40	⁺0.39	⁺1.02
`DAT073_1`	⁺0.41	⁺30.79	⁺0.38	⁺1.04
`ARI162_1`	⁺0.63	⁺0.37	⁺0.41	⁺1.02
`SWC462_1`^*	⁺1.15	⁺14.61	UNK‑Non	TMO‑Non
`SWC482_1`^*	⁺1.88	⁺47.82	UNK‑Non	⁺3.02
`SWC438_1`^*	TMO‑Non	⁺0.46	UNK‑Non	⁺42.58
`SWC449_1`^*	⁺1.57	⁺0.59	⁺0.43	TMO‑Non
`SWW604_2`	⁺3.36	⁺36.50	UNK‑Non	TMO‑Non
`ARI589_1`	⁺19.84	⁺0.38	⁺0.50	UNK‑Non
`SWW575_2`	⁺0.87	⁺16.01	⁺1.03	TMO‑Non
`ARI614_1`	⁺0.40	⁺0.44	⁺0.33	⁺1.00
`ARI689_1`	⁺2.33	⁺0.38	⁺0.47	⁺1.01
`SWW576_2`	⁺0.47	⁺26.47	⁺29.16	⁺1.54
`NUM861_1`	⁺1.84	⁺40.93	UNK‑Non	TMO‑Non
`SWW677_1`	⁺0.88	⁺15.52	⁺0.38	⁺1.03
`ARI700_1`	⁺1.27	⁺0.40	⁺0.41	⁺1.54
`SWW676_1`	⁺2.04	⁺41.87	⁺0.77	TMO‑Non
`ARI672_1`	⁺0.52	⁺0.43	⁺0.35	⁺1.02
`NUM860_1`	⁺69.90	⁺40.82	⁺35.46	TMO‑Non
`ARI696_1`	⁺2.52	⁺0.40	⁺2.44	⁺1.05
`ARI687_1`	⁺1.35	⁺0.52	⁺0.98	⁺1.02
`NUM862_1`	⁺5.93	TMO‑Non	UNK‑Non	TMO‑Non
`SWW589_2`	⁺2.06	⁺27.28	⁺1.37	TMO‑Non
`ARI649_1`	⁺0.42	⁺0.50	⁺0.37	⁺1.07
`SWW607_2`	⁺0.86	⁺15.71	⁺0.98	TMO‑Non
`ARI663_1`	⁺0.39	⁺0.42	⁺0.35	⁺1.03
`SWW672_2`	⁺0.33	⁺0.69	⁺0.49	⁺1.55
`SWW605_2`	⁺0.88	⁺36.52	UNK‑Non	TMO‑Non
`SWW610_2`	⁺0.85	⁺20.84	⁺29.39	⁺31.08
`SWW619_2`	⁺0.32	TMO‑Non	⁺0.45	⁺0.99
`SWW581_2`	⁺0.38	TMO‑Non	⁺0.39	⁺1.68
`DAT072_1`	⁺0.37	⁺0.52	⁺0.55	⁺1.49
`SWW600_2`	⁺0.31	TMO‑Non	⁺0.31	⁺0.99
`SWW641_2`	⁺6.53	⁺16.11	⁺1.07	TMO‑Non
`SWW602_2`	⁺3.72	⁺36.88	UNK‑Non	TMO‑Non
`ARI643_1`	⁺0.41	⁺0.40	⁺0.37	⁺1.00
`ARI679_1`	⁺0.40	⁺0.37	⁺0.37	⁺1.03
`ARI662_1`	⁺0.62	⁺0.56	⁺0.39	⁺1.04
`ARI675_1`	⁺0.39	⁺0.39	⁺0.37	⁺1.04
`ARI655_1`	⁺0.40	⁺0.91	⁺0.40	⁺1.03
`ARI603_1`	⁺1.01	TMO‑Non	⁺0.46	TMO‑Non
`SWC432_1`^*	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SWC434_1`^*	TMO‑Non	⁺1.11	UNK‑Non	TMO‑Non
`SWC448_1`^*	TMO‑Non	⁺0.42	UNK‑Non	TMO‑Non
`SWW573_2`	⁺16.89	⁺15.85	UNK‑Non	TMO‑Non
`ARI686_1`	⁺0.59	TMO‑Non	⁺0.33	⁺1.02
`SWW662_2`	TMO‑Non	⁺0.67	UNK‑Non	TMO‑Non
`SWW636_2`	⁺4.17	⁺15.85	⁺28.07	TMO‑Non
`SWW663_2`	TMO‑Non	⁺0.89	UNK‑Non	TMO‑Non
`SWW657_2`	⁺0.80	⁺21.08	UNK‑Non	TMO‑Non
`DAT078_1`	⁺1.65	TMO‑Non	⁺0.78	⁺6.06
`SWW587_2`	⁺3.33	⁺16.00	⁺2.44	TMO‑Non
`SWW608_2`	⁺6.55	⁺15.78	UNK‑Non	TMO‑Non
`ARI667_1`	⁺0.46	⁺0.89	⁺0.34	⁺1.03
`ARI668_1`	⁺0.43	⁺0.43	⁺0.32	⁺1.11
`SWW585_2`	⁺0.89	⁺15.88	UNK‑Non	TMO‑Non
`SWW654_2`	⁺0.95	⁺17.55	⁺1.62	TMO‑Non
`ARI664_1`	⁺0.46	⁺0.53	⁺0.38	⁺0.98
`DAT104_1`	⁺0.40	TMO‑Non	⁺0.32	⁺1.03
`ARI596_1`	TMO‑Non	⁺20.51	UNK‑Non	TMO‑Non
`ARI184_1`	⁺0.48	TMO‑Non	⁺5.51	TMO‑Non
`ARI597_1`	TMO‑Non	⁺20.47	UNK‑Non	TMO‑Non
`ARI595_1`	TMO‑Non	⁺20.51	UNK‑Non	TMO‑Non
`ARI683_1`	⁺2.12	⁺169.87	⁺0.83	⁺1.02
`ARI645_1`	⁺0.39	⁺26.00	⁺0.74	⁺1.07
`SWC435_1`^*	⁺3.97	TMO‑Non	⁺0.84	TMO‑Non
`SWC478_1`^*	TMO‑Non	⁺93.64	UNK‑Non	TMO‑Non
`DAT086_1`	⁺0.43	⁺12.46	⁺1.67	TMO‑Non
`SWW577_2`	⁺30.68	⁺45.34	⁺9.63	TMO‑Non
`MSC028_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SWW583_2`	⁺0.90	⁺21.11	⁺1.51	TMO‑Non
`SWW665_2`	⁺1.12	⁺49.82	UNK‑Non	TMO‑Non
`HWV091_2`	⁺2.75	TMO‑Non	⁺3.72	⁺28.36
`SWW586_2`	⁺1.05	⁺28.99	⁺33.30	⁺2.51
`SWW664_2`	⁺1.20	⁺56.70	UNK‑Non	TMO‑Non
`HWV087_2`	⁺1.46	⁺148.87	⁺4.02	TMO‑Non
`SWW661_2`	⁺0.33	TMO‑Non	UNK‑Non	TMO‑Non
`SWW612_2`	TMO‑Non	⁺15.85	UNK‑Non	TMO‑Non
`SWW635_2`	⁺2.88	⁺16.39	⁺2.37	TMO‑Non
`SWW648_2`	⁺0.32	TMO‑Non	⁺34.13	⁺14.57
`SWW640_2`	⁺2.35	⁺16.62	⁺17.13	TMO‑Non
`SWW593_2`	⁺36.07	⁺15.71	⁺4.47	TMO‑Non
`SEV425_1`	⁺12.15	⁺41.70	⁺1.46	TMO‑Non
`SWW606_2`	⁺17.30	⁺16.45	UNK‑Non	TMO‑Non
`SWW637_2`	⁺0.39	TMO‑Non	⁺9.81	⁺60.57
`SWW614_2`	⁺0.82	⁺35.92	UNK‑Non	TMO‑Non
`SWW618_2`	⁺0.33	TMO‑Non	⁺0.53	TMO‑Non
`SWW659_2`	⁺0.84	⁺36.21	UNK‑Non	TMO‑Non
`HWV096_2`	⁺20.29	TMO‑Non	⁺23.67	TMO‑Non
`SWW609_2`	⁺2.55	⁺0.81	⁺0.80	98.66
`ARI697_1`	TMO‑Non	⁺0.41	UNK‑Non	TMO‑Non
`SWW603_2`	⁺5.75	TMO‑Non	UNK‑Non	TMO‑Non
`SWW633_2`	TMO‑Non	TMO‑Non	⁺9.40	TMO‑Non
`HWV051_6`	⁺13.42	⁺120.07	UNK‑Non	TMO‑Non
`SWW667_2`	TMO‑Non	⁺16.55	UNK‑Non	TMO‑Non
`HWV050_5`	⁺18.81	⁺73.71	UNK‑Non	⁺64.12
`SEV424_1`	⁺1.21	⁺19.32	⁺1.30	TMO‑Non
`SWW655_2`	⁺10.82	⁺38.50	UNK‑Non	TMO‑Non
`HWV043_5`	⁺19.89	⁺174.34	⁺39.89	⁺92.17
`SWW582_2`	TMO‑Non	⁺69.84	UNK‑Non	TMO‑Non
`HWV051_5`	⁺10.88	⁺76.26	⁺20.47	⁺108.25
`SWW649_2`	⁺0.57	TMO‑Non	UNK‑Non	TMO‑Non
`SWW647_2`	⁺0.82	TMO‑Non	UNK‑Non	TMO‑Non
`SWW623_2`	TMO‑Non	⁺15.73	UNK‑Non	TMO‑Non
`SWW622_2`	TMO‑Non	⁺15.96	UNK‑Non	TMO‑Non
`SWW580_2`	⁺6.72	TMO‑Non	UNK‑Non	23.04
`SWW617_2`	⁺1.11	TMO‑Non	UNK‑Non	TMO‑Non
`SWC439_1`^*	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`HWV125_2`	⁺14.60	TMO‑Non	⁺26.66	TMO‑Non
`SWW590_2`	TMO‑Non	⁺0.84	UNK‑Non	TMO‑Non
`SWW658_2`	⁺2.85	⁺36.06	UNK‑Non	TMO‑Non
`HWV045_5`	⁺14.63	⁺119.47	UNK‑Non	⁺98.72
`SYO522_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`HWV040_5`	⁺45.34	⁺113.01	⁺20.19	⁺81.18
`HWV047_5`	⁺22.23	TMO‑Non	UNK‑Non	TMO‑Non
`HWV124_2`	⁺19.71	TMO‑Non	⁺30.81	TMO‑Non
`SWW660_2`	⁺34.29	⁺44.51	UNK‑Non	TMO‑Non
`HWV046_5`	⁺10.97	⁺133.77	⁺20.40	⁺105.68
`ARI694_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SWW671_2`	TMO‑Non	⁺16.35	UNK‑Non	TMO‑Non
`HWV108_2`	⁺26.37	TMO‑Non	⁺26.33	TMO‑Non
`HWV043_6`	TMO‑Non	⁺140.94	⁺24.09	TMO‑Non
`SWW669_2`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`HWV111_2`	⁺45.91	TMO‑Non	⁺3.24	TMO‑Non
`ARI693_1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`HWV041_5`	⁺11.44	⁺138.63	⁺20.73	⁺96.67
`HWV039_5`	⁺16.93	⁺88.58	⁺21.33	107.20
`HWV126_2`	⁺22.98	TMO‑Non	⁺26.41	TMO‑Non
`HWV127_2`	⁺26.85	TMO‑Non	⁺32.83	TMO‑Non
`HWV107_2`	⁺3.71	TMO‑Non	⁺22.99	TMO‑Non
`HWV112_2`	TMO‑Non	TMO‑Non	⁺18.74	TMO‑Non
`HWV123_2`	⁺22.00	TMO‑Non	⁺29.57	TMO‑Non
`SWW611_2`	⁺2.59	TMO‑Non	⁺15.82	TMO‑Non
`HWV114_2`	TMO‑Non	TMO‑Non	⁺6.04	TMO‑Non
`SWW668_2`	TMO‑Non	⁺17.19	UNK‑Non	TMO‑Non
`SWW627_2`	TMO‑Non	⁺37.53	UNK‑Non	TMO‑Non
`SWW621_2`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SWW651_2`	⁺2.10	TMO‑Non	UNK‑Non	TMO‑Non
Solved/200	164/200	151/200	136/200	93/200
Av. WC Time	4.85	23.56	5.74	16.77
Av. CPU Time	29.11	23.29	36.95	125.90
Solutions/200	164/200	151/200	136/200	90/200
μWCEfficiency	553	308	466	181
μEfficiency	336	308	341	138
SotAC	0.29	0.25	-	0.04
Core Usage/> 1.0	5.06/118	0.00/0	5.39/83	5.31/76
Core U. ≤ 1.0	46	151	53	17
New Solved	4/10	7/10	2/10	2/10
Unique Solved	8/29	18/29	3/29	0/29
Typed First-order Theorems +*-/	Vampire 4.9	cvc5 1.1.3	Vampire 4.8	iProver 3.9

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for TFN (Typed First-order Non-theorems)

Typed First-order Non-theorems	iProver 3.9	cvc5 1.1.3	Vampire 4.8	Vampire 4.9
`COM003_10`	⁺1.02	1.16	0.26	0.27
`SYO909_8`	⁺1.03	0.40	0.24	0.27
`HWV111_10`	⁺15.64	TMO‑Non	1.53	2.58
`PLA053_15`	⁺1.05	90.92	0.25	0.32
`LCL970_15`	⁺1.05	5.08	0.25	0.29
`ITP302_10`	⁺1.70	107.37	3.64	2.64
`SYO913_15`	⁺1.00	0.39	0.23	0.27
`HWV087_10`	⁺28.20	TMO‑Non	1.00	1.19
`HWV093_10`	⁺36.72	TMO‑Non	0.89	0.88
`COM002_20`	⁺1.06	0.53	0.25	0.27
`HWV113_10`	TMO‑Non	TMO‑Non	2.95	4.67
`SYO906_7`	⁺0.98	0.45	0.23	0.28
`ITP325_10`	TMO‑Non	163.21	1.70	0.79
`LCL963_3`	⁺0.98	74.11	0.32	0.54
`PUZ135_20`	⁺0.97	0.51	0.25	0.28
`KRS003_10`	⁺0.97	0.36	0.25	0.30
`ITP341_10`	TMO‑Non	119.07	1.10	1.33
`PUZ134_20`	⁺1.03	0.72	0.27	0.41
`ITP303_10`	⁺1.11	93.09	2.77	1.87
`HWV112_10`	⁺101.24	TMO‑Non	3.14	3.05
`HWV109_10`	⁺7.61	TMO‑Non	0.55	0.55
`ITP310_10`	TMO‑Non	101.67	3.30	2.10
`PUZ135_10`	⁺1.04	0.54	0.26	0.27
`SYO912_9`	⁺1.01	0.41	0.25	0.29
`HWV095_10`	⁺22.19	TMO‑Non	0.83	1.01
`LCL964_3`	⁺1.56	82.14	0.33	0.45
`COM002_10`	⁺1.08	0.42	0.26	0.29
`PUZ018_10`	⁺1.03	0.67	0.26	0.30
`ITP399_10`	⁺1.15	UNK‑Non	0.63	1.01
`LCL948_10`	⁺23.09	TMO‑Non	0.43	0.83
`SWW971_5`	⁺1.03	0.42	0.25	0.30
`PUZ012_10`	⁺1.02	0.44	0.23	0.30
`SYO910_13`	⁺1.00	0.40	0.25	0.29
`ITP383_10`	⁺0.99	93.39	0.65	1.82
`SWB109_15`	⁺1.01	60.51	0.25	0.29
`ITP209_10`	⁺1.01	0.41	0.25	0.31
`ITP322_10`	TMO‑Non	96.10	2.55	1.34
`LCL969_9`	⁺1.04	0.83	0.24	0.30
`SYO907_15`	⁺1.00	0.41	0.25	0.28
`GEO001_10`	⁺1.01	0.36	0.25	0.30
`SWB109_3`	⁺1.04	91.28	0.25	0.35
`PUZ131_10`	⁺1.01	0.39	0.25	0.30
`COM001_10`	⁺1.03	0.42	0.24	0.30
`ITP384_10`	⁺1.19	92.90	0.66	1.48
`SWW971_15`	⁺1.02	0.44	0.23	0.30
`LCL961_1`	⁺1.04	0.43	0.26	0.30
`NUM923_10`	⁺1.03	0.50	0.25	0.30
`LCL966_9`	⁺1.05	112.05	0.31	0.40
`PUZ130_10`	⁺1.02	0.40	0.25	0.31
`PUZ134_10`	⁺1.03	0.75	0.27	0.30
`ITP397_10`	⁺1.13	UNK‑Non	0.74	0.83
`SYO916_1`^*	⁺1.03	TMO‑Non	0.25	0.30
`HWV047_20`	⁺50.08	TMO‑Non	1.14	0.85
`HWV051_10`	⁺21.57	TMO‑Non	0.88	0.64
`HWV039_20`	⁺33.05	TMO‑Non	0.89	0.66
`ITP387_10`	TMO‑Non	TMO‑Non	1.13	1.24
`HWV047_10`	⁺35.60	TMO‑Non	1.22	1.03
`HWV042_4`	⁺37.55	TMO‑Non	1.11	0.93
`HWV041_10`	⁺42.02	TMO‑Non	0.94	0.73
`HWV116_10`	TMO‑Non	TMO‑Non	3.31	3.60
`LCL965_15`	TMO‑Non	TMO‑Non	1.05	6.38
`HWV043_20`	⁺85.11	TMO‑Non	0.90	0.67
`HWV046_20`	⁺46.30	TMO‑Non	0.68	0.56
`HWV119_10`	TMO‑Non	TMO‑Non	9.30	5.35
`HWV040_10`	⁺34.07	TMO‑Non	0.91	0.56
`HWV042_3`	⁺36.56	TMO‑Non	1.20	0.91
`HWV048_1`	⁺58.58	TMO‑Non	1.64	1.42
`ITP386_10`	TMO‑Non	TMO‑Non	9.61	14.29
`HWV048_4`	⁺69.09	TMO‑Non	1.15	0.65
`HWV045_10`	⁺25.01	TMO‑Non	1.25	0.68
`HWV118_10`	TMO‑Non	TMO‑Non	5.68	5.03
`LCL941_3`	TMO‑Non	TMO‑Non	6.60	4.26
`HWV117_10`	TMO‑Non	TMO‑Non	5.61	5.04
`HWV048_3`	⁺41.55	TMO‑Non	1.83	0.69
`HWV041_20`	⁺38.09	TMO‑Non	0.89	0.76
`HWV050_10`	⁺26.56	TMO‑Non	1.14	0.85
`HWV049_1`	⁺46.59	TMO‑Non	TMO‑Non	15.82
`HWV040_20`	⁺53.53	TMO‑Non	0.80	0.54
`LCL968_3`	⁺55.14	TMO‑Non	2.54	111.56
`HWV114_10`	⁺37.65	TMO‑Non	4.40	5.77
`HWV043_10`	⁺47.58	TMO‑Non	1.29	0.89
`HWV110_10`	⁺25.64	UNK‑Non	2.82	2.89
`HWV044_10`	⁺51.12	TMO‑Non	0.83	0.70
`HWV045_20`	⁺41.09	TMO‑Non	0.92	0.81
`HWV046_10`	⁺49.19	TMO‑Non	0.78	0.55
`LCL967_3`	⁺36.07	TMO‑Non	2.07	117.36
`HWV039_10`	⁺24.50	TMO‑Non	0.87	0.72
`HWV115_10`	⁺152.36	TMO‑Non	5.29	3.64
`HWV042_2`	⁺58.04	TMO‑Non	1.48	1.34
`HWV048_2`	⁺65.09	TMO‑Non	1.40	0.92
`HWV051_20`	⁺20.55	TMO‑Non	0.83	0.82
`HWV050_20`	⁺20.08	TMO‑Non	0.87	0.79
`HWV044_20`	⁺59.57	TMO‑Non	0.94	0.71
`HWV122_10`	TMO‑Non	TMO‑Non	13.32	9.90
`HWV121_10`	TMO‑Non	TMO‑Non	13.45	12.07
`HWV120_10`	TMO‑Non	TMO‑Non	14.28	11.25
`SWW471_1`	TMO‑Non	94.90	1.19	1.20
`SWW476_1`	TMO‑Non	63.73	1.10	1.59
`ITP382_10`	TMO‑Non	TMO‑Non	9.58	3.37
`HWV049_2`	⁺97.10	TMO‑Non	44.29	24.56
`ITP323_1`	⁺1.05	61.52	0.62	0.52
`ITP333_1`	TMO‑Non	92.42	1.01	0.99
`ITP389_1`	⁺8.09	95.48	0.65	1.30
`ITP385_1`	TMO‑Non	115.02	2.17	3.09
`ITP304_1`	TMO‑Non	TMO‑Non	2.37	1.24
`ITP391_1`	⁺1.14	92.62	1.39	1.64
`SYO917_1`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWW473_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM925_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV049_4`	⁺61.13	TMO‑Non	85.27	19.83
`SCT170_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW476_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW471_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW472_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW478_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW475_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT170_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW471_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM925_40`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT171_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW472_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT170_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW477_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM923_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926_40`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW470_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW472_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM925_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT169_30`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM925_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW477_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW476_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT169_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW470_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW478_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT169_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT171_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT171_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW478_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW473_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM923_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW475_30`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW475_10`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW470_20`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
Solved/150	85/150	48/150	106/150	107/150
Av. WC Time	23.18	41.91	2.99	4.27
Av. CPU Time	174.50	41.69	17.94	27.59
Solutions/150	85/150	0/150	0/150	0/150
μWCEfficiency	175	173	504	519
μEfficiency	208	176	301	308
SotAC	0.10	0.02	0.18	0.19
Core Usage/> 1.0	6.34/59	0.00/0	5.42/71	4.93/75
Core U. ≤ 1.0	26	48	35	32
New Solved	1/2	0/2	1/2	1/2
Unique Solved	0/0	0/0	0/0	0/0
Typed First-order Non-theorems	iProver 3.9	cvc5 1.1.3	Vampire 4.8	Vampire 4.9

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF TFA TFN FOF UEQ SLH ICU TNE TEQ TFI TFE TFN FNE FEQ UEQ SLH ICU

Results for FOF (First-order Theorems)

First-order Theorems	Vampire 4.9	Vampire 4.8	E 3.2.0	CSI_E 1.0	CSE_E 1.6	iProver 3.9	CSG_E 1.0	GKC 0.8	Drodi 3.6.0	Zipperpin 2.1.9999	cvc5 1.1.3	Prover9 1109a	ConnectPP 0.6.0	CSE 1.7
`SET020+1`	⁺0.32	⁺0.32	⁺0.37	⁺0.47	⁺0.50	⁺1.14	⁺0.57	⁺0.31	⁺0.24	⁺0.80	⁺0.42	TMO‑Non	⁺0.46	TMO‑Non
`CSR040+2`	⁺0.29	⁺0.34	⁺0.50	⁺0.59	⁺0.58	⁺2.01	⁺0.58	⁺0.33	⁺0.24	⁺1.18	⁺45.53	TMO‑Non	⁺151.06	⁺59.43
`NUM291+1`	⁺0.34	⁺0.29	⁺0.39	⁺0.48	⁺0.49	⁺1.09	⁺0.67	⁺0.39	⁺0.29	⁺0.72	⁺20.83	⁺5.89	⁺0.42	⁺61.51
`KRS192+1`	⁺0.31	⁺0.36	⁺0.38	⁺0.47	⁺0.54	⁺0.99	⁺26.42	⁺0.40	⁺0.21	⁺0.72	⁺0.44	⁺26.30	⁺12.44	⁺118.01
`MGT034+2`	⁺0.32	⁺0.33	⁺0.39	⁺0.45	⁺0.50	⁺0.89	⁺0.47	⁺0.33	⁺0.34	⁺0.77	⁺0.51	⁺0.91	TMO‑Non	⁺116.56
`KRS195+1`	⁺0.24	⁺0.26	⁺0.42	⁺115.72	⁺0.48	⁺1.07	⁺0.49	⁺0.40	⁺0.24	⁺0.65	⁺0.43	⁺1.04	⁺0.52	TMO‑Non
`SWV096+1`	⁺0.32	⁺0.34	⁺0.46	⁺0.56	⁺0.55	⁺1.08	⁺0.67	⁺0.36	⁺0.24	⁺8.95	⁺0.41	⁺27.39	TMO‑Non	TMO‑Non
`MED009+1`	⁺0.39	⁺6.40	⁺24.14	⁺23.99	⁺24.89	⁺1.09	⁺23.80	⁺25.89	⁺12.48	UNK‑Non	⁺14.10	TMO‑Non	TMO‑Non	TMO‑Non
`SEU242+1`	⁺0.32	⁺0.33	⁺0.37	⁺0.46	⁺0.53	⁺1.06	⁺0.69	⁺0.54	⁺0.29	⁺0.77	⁺0.39	⁺11.17	⁺3.93	TMO‑Non
`CSR048+2`	⁺0.32	⁺0.34	⁺0.41	⁺0.50	⁺0.50	⁺1.57	⁺0.60	⁺0.41	⁺0.27	⁺0.68	⁺1.49	TMO‑Non	⁺0.57	⁺0.74
`SET956+1`	⁺0.29	⁺0.28	⁺0.38	⁺0.47	⁺0.47	⁺1.04	⁺0.47	⁺0.32	⁺0.23	⁺0.61	⁺0.41	⁺2.83	TMO‑Non	TMO‑Non
`GEO259+1`	⁺0.45	⁺0.32	⁺0.43	⁺0.75	⁺0.50	⁺1.03	⁺0.50	⁺0.38	⁺0.50	⁺2.87	⁺5.75	⁺0.90	⁺4.30	TMO‑Non
`NUM322+1`	⁺0.32	⁺0.31	⁺0.40	⁺0.49	⁺0.47	⁺1.03	⁺0.57	⁺0.31	⁺0.23	⁺0.69	⁺11.71	⁺3.44	⁺0.40	⁺0.59
`LCL414+1`	⁺0.30	⁺0.31	⁺0.36	⁺82.49	⁺0.46	⁺1.04	⁺0.45	⁺0.26	⁺0.22	⁺0.62	⁺10.41	⁺0.85	⁺0.22	⁺0.49
`LCL538+1`	⁺0.37	⁺0.34	⁺0.35	⁺0.51	⁺0.49	⁺1.02	⁺0.47	⁺0.38	⁺0.24	⁺0.65	⁺2.10	⁺3.18	TMO‑Non	⁺0.97
`KRS262+1`	⁺0.31	⁺0.29	⁺0.45	⁺0.47	⁺0.46	⁺1.02	⁺0.87	⁺0.31	⁺0.23	⁺0.67	⁺62.21	⁺1.40	⁺0.96	⁺1.01
`SWC258+1`	⁺0.29	⁺0.33	⁺0.35	⁺0.56	⁺0.50	⁺1.06	⁺0.50	⁺0.32	⁺0.22	⁺0.67	⁺0.46	⁺7.80	TMO‑Non	⁺60.06
`SWB012+3`	⁺0.31	⁺0.28	⁺0.67	⁺0.75	⁺0.65	⁺41.76	⁺1.44	⁺0.62	⁺35.35	⁺2.61	⁺27.70	UNK‑Non	⁺18.57	⁺48.73
`GEO082+1`	⁺0.31	⁺0.32	⁺0.38	⁺0.61	⁺0.53	⁺1.04	⁺0.65	⁺0.33	⁺0.23	⁺0.86	⁺10.65	⁺0.92	⁺29.74	TMO‑Non
`KRS263+1`	⁺0.30	⁺0.31	⁺1.32	⁺0.98	⁺114.57	⁺1.03	⁺8.05	⁺0.39	⁺0.25	⁺0.68	⁺65.50	⁺1.45	⁺18.23	⁺118.15
`COM146+1`	⁺0.31	⁺0.26	⁺0.43	⁺0.60	⁺0.46	⁺1.07	⁺0.58	⁺0.40	⁺0.24	⁺0.63	⁺0.44	UNK‑Non	TMO‑Non	UNK‑Non
`KRS259+1`	⁺0.30	⁺0.31	⁺0.37	⁺0.49	⁺0.47	⁺1.04	⁺0.55	⁺0.39	⁺0.26	⁺0.79	⁺62.69	⁺0.93	⁺0.98	TMO‑Non
`MSC010+1`	⁺0.30	⁺0.36	⁺0.37	⁺0.55	⁺0.49	⁺1.50	⁺1.00	⁺0.37	⁺0.24	⁺0.71	⁺0.45	TMO‑Non	TMO‑Non	TMO‑Non
`KRS193+1`	⁺0.30	⁺0.32	⁺0.38	⁺115.97	⁺0.47	⁺1.03	⁺0.51	⁺0.40	⁺0.25	⁺0.77	⁺0.46	⁺1.00	⁺12.56	⁺164.76
`COM144+1`	⁺0.31	⁺0.36	⁺0.30	⁺0.49	⁺0.47	⁺1.02	⁺0.55	⁺0.32	⁺0.24	⁺0.67	⁺0.43	UNK‑Non	⁺18.27	UNK‑Non
`COM008+1`	⁺0.52	UNK‑Non	⁺0.55	⁺0.68	⁺0.67	⁺1.55	⁺2.84	⁺6.33	TMO‑Non	UNK‑Non	⁺21.11	⁺20.34	TMO‑Non	TMO‑Non
`ALG032+1`	⁺0.40	⁺0.55	⁺0.70	TMO‑Non	⁺0.78	⁺1.06	⁺0.85	⁺2.05	⁺0.41	⁺0.81	⁺0.58	UNK‑Non	TMO‑Non	TMO‑Non
`SYN386+1`	⁺0.30	⁺0.34	⁺0.38	⁺0.47	⁺0.48	⁺1.04	⁺0.47	⁺0.29	⁺0.22	⁺0.65	TMO‑Non	⁺0.81	⁺0.22	⁺0.48
`SWW473+1`	⁺0.33	⁺0.36	⁺0.44	⁺0.54	⁺0.51	⁺12.77	⁺0.62	⁺0.52	⁺0.31	⁺0.83	⁺0.79	⁺4.05	⁺4.74	⁺0.87
`MGT067+1`	⁺0.33	⁺0.33	⁺0.38	⁺0.50	⁺0.50	⁺1.04	⁺0.53	⁺0.34	⁺0.25	⁺0.75	TMO‑Non	⁺1.20	⁺0.82	⁺117.85
`NUN065+2`	⁺0.32	⁺0.33	⁺0.40	⁺0.47	⁺0.48	⁺1.01	⁺0.50	⁺0.58	⁺0.29	⁺0.67	⁺0.48	⁺1.11	TMO‑Non	TMO‑Non
`SYO604+1`	⁺0.66	⁺0.42	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.53	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺10.57	TMO‑Non	⁺5.20	TMO‑Non
`SWV157+1`	⁺0.33	⁺0.44	⁺0.35	⁺0.56	⁺0.46	⁺1.51	⁺0.53	⁺0.46	⁺0.40	⁺2.02	⁺0.47	⁺5.64	⁺24.82	⁺0.91
`KRS190+1`	⁺0.28	⁺0.32	⁺0.39	⁺0.46	⁺0.45	⁺1.07	⁺2.26	⁺0.30	⁺0.24	⁺0.66	⁺0.42	⁺1.19	⁺18.42	TMO‑Non
`SET095+1`	⁺0.32	⁺0.39	⁺0.37	⁺0.48	⁺0.47	⁺0.99	⁺4.80	⁺0.84	⁺0.25	⁺1.95	⁺0.44	⁺0.98	⁺47.70	TMO‑Non
`SYO605+1`	⁺0.34	⁺0.46	⁺3.57	⁺6.73	⁺5.31	⁺2.03	⁺5.91	⁺3.26	⁺12.88	⁺52.90	⁺22.66	TMO‑Non	⁺2.49	TMO‑Non
`SEU362+1`	⁺0.31	⁺0.25	⁺0.36	⁺0.55	⁺18.47	⁺0.99	⁺0.47	⁺0.45	⁺0.31	⁺0.68	⁺0.56	⁺0.99	TMO‑Non	⁺61.60
`KRS159+1`	⁺0.34	⁺0.32	⁺0.50	⁺0.60	⁺0.57	⁺1.06	⁺0.63	⁺0.68	⁺0.95	⁺1.48	⁺0.67	TMO‑Non	⁺18.30	⁺65.57
`GEO112+1`	⁺0.31	⁺0.35	⁺0.41	⁺106.78	⁺0.49	⁺1.03	⁺108.62	⁺0.73	⁺0.26	⁺0.74	⁺0.44	⁺0.86	⁺5.29	⁺3.20
`KRS258+1`	⁺0.30	⁺0.30	⁺0.33	⁺0.47	⁺0.47	⁺1.01	⁺0.91	⁺0.33	⁺0.28	⁺0.66	⁺21.36	⁺1.05	⁺0.99	⁺0.97
`NUM851+1`	⁺0.57	⁺3.40	⁺82.40	⁺0.47	⁺0.45	⁺1.02	⁺0.47	⁺0.31	⁺0.43	⁺0.70	⁺0.44	UNK‑Non	⁺72.23	TMO‑Non
`CSR056+2`	⁺0.31	⁺0.38	⁺0.44	⁺0.54	⁺0.52	⁺1.59	⁺0.69	⁺0.50	⁺0.26	⁺1.33	⁺27.83	TMO‑Non	⁺72.23	⁺72.40
`SEU119+2`	⁺0.32	⁺0.25	⁺0.37	⁺82.74	⁺0.48	⁺1.03	⁺0.49	⁺0.45	⁺0.25	⁺0.67	⁺4.84	⁺3.55	⁺3.83	TMO‑Non
`GEO230+1`	⁺0.44	⁺0.33	⁺0.34	⁺0.60	⁺0.50	⁺1.00	⁺0.50	⁺0.85	⁺0.50	⁺1.15	⁺0.66	⁺0.90	⁺18.46	TMO‑Non
`PUZ078+1`	⁺0.35	⁺0.37	⁺0.56	⁺0.65	⁺0.64	⁺1.06	⁺1.43	⁺0.72	⁺0.33	⁺1.61	⁺0.48	⁺2.31	TMO‑Non	TMO‑Non
`CSR036+2`	⁺0.59	⁺0.42	⁺8.24	⁺8.64	⁺8.39	⁺2.09	⁺6.66	⁺1.16	⁺19.10	⁺36.47	TMO‑Non	TMO‑Non	⁺137.89	⁺6.05
`SWV092+1`	⁺0.32	⁺0.32	⁺0.39	⁺0.46	⁺0.48	⁺1.06	⁺0.55	⁺0.48	⁺0.24	⁺0.90	⁺0.55	⁺2.33	TMO‑Non	⁺0.84
`GRP012+5`	⁺0.32	⁺0.35	⁺0.40	⁺0.50	⁺0.49	⁺1.05	⁺0.49	⁺0.31	⁺0.46	⁺0.84	⁺4.90	⁺0.94	⁺149.87	⁺9.90
`CSR020+1`	⁺0.34	⁺0.35	⁺0.38	⁺0.50	⁺0.48	⁺1.05	⁺0.50	⁺0.73	⁺0.38	⁺0.99	⁺0.43	⁺1.40	TMO‑Non	TMO‑Non
`SWV014+1`	⁺0.32	⁺0.32	⁺0.36	⁺82.43	⁺0.48	⁺1.08	⁺0.50	⁺0.37	⁺0.26	⁺0.65	⁺0.46	UNK‑Non	⁺144.41	⁺123.25
`NUM857+2`	⁺0.35	⁺2.55	⁺0.45	⁺0.52	⁺0.48	⁺11.69	⁺0.84	⁺0.64	⁺0.25	⁺0.90	⁺0.45	UNK‑Non	⁺48.74	⁺77.83
`CSR039+2`	⁺0.39	⁺0.35	⁺17.35	⁺5.25	⁺5.48	⁺7.61	⁺4.92	⁺0.71	⁺2.93	⁺45.54	TMO‑Non	TMO‑Non	⁺137.35	⁺20.03
`KRS133+1`	⁺0.35	⁺0.40	⁺0.84	179.93	⁺0.88	⁺1.53	⁺0.94	⁺9.94	⁺0.40	⁺0.97	⁺2.04	TMO‑Non	TMO‑Non	TMO‑Non
`CSR115+3`	⁺0.60	⁺0.54	⁺0.73	⁺0.78	⁺0.79	⁺14.37	⁺0.81	⁺0.43	⁺1.28	⁺2.85	⁺111.44	TMO‑Non	⁺164.08	TMO‑Non
`GEO498+1`	⁺0.31	⁺0.27	⁺0.36	⁺0.46	⁺0.56	⁺1.04	⁺0.46	⁺0.42	⁺0.24	⁺0.64	⁺0.60	⁺1.10	TMO‑Non	TMO‑Non
`CSR027+2`	⁺0.34	⁺0.41	⁺0.50	⁺0.55	⁺0.58	⁺1.53	⁺1.40	⁺0.48	⁺0.42	⁺0.73	⁺7.23	TMO‑Non	⁺72.34	⁺118.59
`ALG210+2`	⁺0.32	⁺0.28	⁺0.38	⁺0.47	⁺0.46	⁺1.05	⁺0.42	⁺0.46	⁺0.90	⁺0.80	⁺0.44	⁺0.89	TMO‑Non	TMO‑Non
`CSR048+3`	⁺0.48	⁺0.53	⁺0.42	⁺0.52	⁺0.64	⁺5.36	⁺1.05	⁺0.48	⁺0.46	⁺1.44	⁺13.39	TMO‑Non	⁺2.10	⁺4.58
`SET067+1`	⁺0.31	⁺0.31	⁺0.37	⁺0.46	⁺0.46	⁺1.07	⁺5.52	⁺0.87	⁺0.34	⁺1.29	⁺0.46	⁺1.00	⁺45.32	TMO‑Non
`NUN068+1`	⁺2.08	⁺0.44	⁺1.69	⁺1.88	⁺1.78	⁺2.10	⁺51.20	⁺64.01	⁺1.71	⁺126.17	TMO‑Non	TMO‑Non	⁺18.40	TMO‑Non
`CSR015+1`	⁺0.28	⁺0.31	⁺0.41	⁺0.56	⁺0.46	⁺1.04	⁺0.48	⁺0.47	⁺0.31	⁺0.86	⁺0.44	TMO‑Non	⁺130.44	⁺59.15
`NUN080+1`	⁺0.31	⁺0.28	⁺0.37	⁺0.48	⁺0.47	⁺1.06	⁺0.48	⁺0.33	⁺0.23	⁺0.67	TMO‑Non	⁺0.89	⁺1.71	⁺0.50
`NUN068+2`	⁺0.27	⁺0.31	⁺0.37	⁺0.46	⁺0.48	⁺1.07	⁺0.48	⁺0.62	⁺0.23	⁺0.68	⁺0.50	⁺0.93	TMO‑Non	TMO‑Non
`CSR044+2`	⁺0.34	⁺0.41	⁺0.45	⁺0.54	⁺0.45	⁺1.59	⁺1.32	⁺0.77	⁺0.42	⁺0.73	⁺6.44	TMO‑Non	⁺72.32	TMO‑Non
`COM141+1`	⁺0.36	⁺0.32	⁺0.37	⁺0.41	⁺0.48	⁺1.53	⁺0.59	⁺0.35	⁺0.23	⁺0.63	⁺0.50	UNK‑Non	⁺132.38	⁺0.84
`SYN938+1`	⁺0.34	⁺0.35	⁺1.21	⁺1.65	⁺1.37	⁺0.92	⁺1.84	UNK‑Non	TMO‑Non	⁺1.32	⁺25.64	TMO‑Non	TMO‑Non	TMO‑Non
`GEO271+1`	⁺0.46	⁺0.35	⁺0.62	⁺0.68	⁺0.68	⁺1.57	⁺0.74	⁺0.97	⁺0.27	⁺1.68	⁺3.77	UNK‑Non	⁺86.99	TMO‑Non
`KRS267+1`	⁺0.31	⁺0.32	⁺0.38	⁺0.49	⁺0.44	⁺1.04	⁺0.81	⁺0.42	⁺0.24	⁺0.71	⁺62.15	⁺1.15	⁺0.98	⁺1.00
`NUM293+1`	⁺0.32	⁺0.33	⁺0.41	⁺0.50	⁺0.49	⁺1.05	⁺0.50	⁺0.39	⁺0.24	⁺0.78	⁺10.62	⁺1.10	⁺0.33	⁺0.55
`NUN070+1`	⁺0.25	⁺0.31	⁺0.38	⁺0.50	⁺0.46	⁺1.05	⁺0.45	⁺0.34	⁺0.21	⁺0.68	TMO‑Non	⁺1.01	⁺0.29	⁺0.48
`SCT126+1`	⁺0.39	⁺0.50	⁺0.71	⁺0.85	⁺0.83	⁺75.28	⁺1.00	⁺3.21	⁺1.38	⁺52.97	⁺1.20	⁺22.38	⁺4.18	⁺1.42
`LCL642+1.010`	⁺0.37	⁺0.39	⁺13.05	⁺15.24	⁺13.53	⁺1.09	⁺12.55	TMO‑Non	⁺80.26	UNK‑Non	⁺46.46	TMO‑Non	TMO‑Non	TMO‑Non
`GEO146+1`	⁺0.28	⁺0.31	⁺0.40	⁺0.53	⁺0.48	⁺1.04	⁺0.67	⁺0.32	⁺0.22	⁺0.61	⁺0.42	⁺3.06	⁺18.22	TMO‑Non
`CSR029+3`	⁺0.48	⁺1.22	⁺0.57	⁺0.64	⁺0.63	⁺5.79	⁺4.72	⁺0.62	⁺0.83	⁺1.47	⁺76.32	TMO‑Non	⁺72.23	⁺86.11
`SWV454+1`	⁺0.33	⁺0.30	⁺0.46	⁺0.57	⁺0.57	⁺0.99	⁺0.64	⁺0.52	⁺0.36	⁺5.37	⁺0.59	⁺1.25	TMO‑Non	⁺120.82
`CSR060+2`	⁺0.34	⁺0.44	⁺0.50	⁺0.64	⁺0.59	⁺2.05	⁺1.26	⁺0.51	⁺0.35	⁺1.55	⁺30.04	TMO‑Non	⁺85.19	⁺119.49
`SWV455+1`	⁺0.33	⁺0.29	⁺0.45	⁺0.50	⁺0.48	⁺1.02	⁺0.51	⁺0.53	⁺0.26	⁺1.62	⁺0.58	⁺1.17	TMO‑Non	TMO‑Non
`CSR034+2`	⁺0.41	⁺0.35	⁺0.66	⁺0.73	⁺0.78	⁺1.61	⁺0.76	⁺0.66	⁺0.45	⁺1.95	⁺26.49	TMO‑Non	TMO‑Non	TMO‑Non
`SWV167+1`	⁺0.28	⁺0.33	⁺0.39	⁺0.49	⁺0.46	⁺3.57	⁺0.51	⁺0.47	⁺0.26	⁺1.25	⁺0.55	TMO‑Non	TMO‑Non	⁺0.82
`CSR116+12`	⁺0.58	⁺0.76	⁺0.71	⁺0.82	⁺0.81	⁺28.39	⁺0.83	⁺1.41	⁺6.53	⁺7.14	⁺110.29	TMO‑Non	⁺147.96	TMO‑Non
`SWV366+1`	⁺0.32	⁺0.42	⁺0.40	⁺0.48	⁺0.46	⁺1.03	⁺0.47	⁺0.31	⁺0.24	⁺0.65	⁺0.44	⁺0.94	⁺135.65	TMO‑Non
`CSR064+3`	⁺0.58	⁺0.69	⁺0.56	⁺0.70	⁺0.68	⁺16.95	⁺2.88	⁺0.54	⁺0.60	⁺2.39	⁺7.29	TMO‑Non	⁺3.00	TMO‑Non
`SWW473+5`	⁺0.42	⁺0.39	⁺0.49	⁺0.56	⁺0.55	⁺5.09	⁺0.63	⁺0.75	⁺0.38	⁺1.26	⁺1.02	⁺33.43	⁺1.63	⁺0.66
`NUN062+1`	⁺0.31	⁺0.31	⁺0.42	⁺0.51	⁺0.49	⁺1.06	⁺3.94	⁺0.66	⁺0.25	⁺0.67	TMO‑Non	⁺52.54	⁺0.32	⁺2.08
`GEO084+1`	⁺0.31	⁺0.35	⁺0.40	⁺1.86	⁺0.47	⁺5.09	⁺1.93	⁺0.94	⁺1.33	⁺0.74	⁺26.00	⁺1.22	⁺116.19	⁺59.54
`CSR074+3`	⁺0.44	⁺1.31	⁺0.63	⁺0.70	⁺0.71	⁺5.80	⁺2.54	⁺0.77	⁺0.97	⁺1.48	⁺76.37	TMO‑Non	⁺72.22	⁺122.05
`NUN086+2`	⁺0.31	⁺0.35	⁺0.37	⁺0.48	⁺0.47	⁺1.03	⁺0.50	⁺0.43	⁺0.23	⁺0.54	⁺0.41	⁺0.94	TMO‑Non	⁺171.81
`CSR113+11`	⁺0.56	⁺0.71	⁺0.75	⁺0.87	⁺0.82	⁺52.93	⁺0.83	⁺0.69	⁺1.78	⁺17.98	TMO‑Non	TMO‑Non	⁺1.22	⁺117.23
`RNG069+1`	⁺0.98	⁺4.78	⁺0.54	⁺0.64	⁺0.66	⁺80.37	⁺0.70	⁺0.34	⁺13.44	⁺0.96	⁺0.50	TMO‑Non	⁺73.06	⁺117.61
`CSR113+5`	⁺0.57	⁺0.71	⁺0.73	⁺0.85	⁺0.76	⁺53.37	⁺0.66	⁺0.71	⁺1.47	⁺16.97	TMO‑Non	TMO‑Non	⁺129.93	⁺117.69
`SEU387+1`	⁺0.29	⁺0.31	⁺0.39	⁺0.50	⁺0.51	⁺1.06	⁺0.49	⁺0.30	⁺0.23	⁺0.76	⁺0.43	⁺1.51	⁺163.95	⁺0.56
`CSR116+13`	⁺0.56	⁺0.69	⁺0.74	⁺0.93	⁺0.79	⁺27.86	⁺0.67	⁺1.46	⁺3.82	⁺3.00	⁺109.23	TMO‑Non	TMO‑Non	⁺116.38
`PRO010+1`	⁺0.31	⁺0.29	⁺0.40	⁺0.48	⁺10.55	⁺0.95	⁺10.71	⁺0.30	⁺0.25	⁺0.73	TMO‑Non	⁺0.98	⁺155.16	TMO‑Non
`CSR057+3`	⁺0.48	⁺0.67	⁺0.62	⁺0.70	⁺0.69	⁺4.77	⁺1.37	⁺0.69	⁺0.89	⁺1.46	TMO‑Non	TMO‑Non	⁺51.15	⁺89.86
`NUM926+1`	⁺0.33	⁺0.38	⁺0.39	⁺0.54	⁺0.46	⁺1.07	⁺0.48	⁺0.52	⁺0.24	⁺1.36	⁺0.49	⁺0.98	⁺1.65	⁺0.51
`NUN066+1`	⁺0.62	⁺0.37	⁺44.96	⁺55.84	⁺45.99	⁺1.56	TMO‑Non	⁺4.56	⁺1.55	⁺22.29	TMO‑Non	TMO‑Non	⁺0.87	TMO‑Non
`GRA004+1`	⁺0.37	⁺0.38	⁺0.38	⁺0.51	⁺0.49	⁺1.53	⁺0.48	⁺0.35	⁺0.33	⁺0.56	⁺0.59	⁺1.20	TMO‑Non	⁺60.31
`LCL660+1.010`	⁺0.42	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.03	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺46.61	TMO‑Non	TMO‑Non	TMO‑Non
`SWB087+1`	⁺0.35	⁺1.47	⁺1.25	⁺1.32	⁺1.40	⁺2.06	⁺99.09	⁺0.38	⁺12.83	⁺0.73	⁺2.35	TMO‑Non	⁺18.81	⁺1.71
`LCL656+1.015`	⁺1.28	⁺0.78	⁺25.88	⁺26.84	⁺26.62	⁺3.66	⁺22.36	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR016+1`	⁺0.32	⁺0.36	⁺0.40	⁺0.50	⁺0.47	⁺1.00	⁺0.50	⁺0.44	⁺0.38	⁺1.03	⁺0.43	⁺1.02	TMO‑Non	TMO‑Non
`CSR115+7`	⁺0.48	⁺0.69	⁺0.71	⁺0.76	⁺0.78	⁺11.91	⁺1.07	⁺1.02	⁺1.78	⁺2.36	⁺110.92	TMO‑Non	⁺155.05	TMO‑Non
`GRP655+2`	⁺5.50	⁺2.49	⁺22.00	⁺14.07	⁺14.53	⁺25.67	⁺10.39	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺30.51	TMO‑Non	TMO‑Non
`CSR070+3`	⁺0.58	⁺1.17	⁺0.53	⁺0.71	⁺0.65	⁺12.32	⁺2.45	⁺0.67	⁺9.85	⁺4.94	⁺122.32	TMO‑Non	⁺45.22	⁺5.73
`REL026+3`	⁺1.05	⁺9.02	⁺0.99	⁺1.05	⁺7.82	⁺154.33	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺25.45	TMO‑Non	TMO‑Non
`CSR116+4`	⁺0.57	⁺0.67	⁺0.77	⁺0.85	⁺0.77	⁺31.52	⁺0.80	⁺1.34	⁺6.95	⁺2.95	⁺111.60	TMO‑Non	TMO‑Non	⁺120.72
`REL025+1`	⁺3.54	⁺3.80	⁺0.84	⁺0.84	⁺6.99	⁺164.37	⁺8.33	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺3.61	TMO‑Non	TMO‑Non
`CSR040+3`	⁺0.58	⁺0.46	⁺2.41	⁺2.52	⁺2.51	⁺17.38	⁺2.48	⁺0.48	⁺1.57	⁺12.33	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ALG049+1`	⁺0.59	⁺0.55	⁺1.22	⁺1.59	⁺1.13	⁺1.60	⁺1.05	⁺3.11	⁺1.87	⁺86.09	⁺1.07	TMO‑Non	TMO‑Non	TMO‑Non
`LCL660+1.005`	⁺0.44	⁺0.65	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.03	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP655+3`	⁺3.31	⁺10.58	⁺90.48	⁺63.41	⁺60.18	⁺37.67	⁺56.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺18.85	TMO‑Non	TMO‑Non
`NLP260+1`	⁺31.50	⁺15.02	⁺11.16	⁺18.23	⁺11.85	⁺85.88	⁺15.87	⁺10.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺123.04	TMO‑Non
`SWB010+2`	⁺0.32	⁺0.31	⁺0.31	⁺0.53	⁺0.50	⁺1.02	⁺0.47	⁺0.29	⁺0.24	⁺0.66	⁺1.11	⁺0.88	⁺5.40	⁺23.72
`LCL658+1.005`	⁺0.51	⁺1.73	⁺50.22	⁺99.05	⁺51.37	⁺5.08	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺48.49	TMO‑Non	TMO‑Non	TMO‑Non
`MGT064+1`	⁺0.36	⁺0.40	⁺0.35	⁺0.52	⁺0.47	⁺7.66	⁺1.57	⁺0.30	⁺0.72	⁺51.40	⁺0.49	⁺2.24	TMO‑Non	TMO‑Non
`NLP262+1`	⁺17.20	⁺15.94	⁺19.76	⁺12.84	⁺12.06	TMO‑Non	⁺14.25	⁺9.21	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWV198+1`	⁺0.33	⁺0.33	⁺0.39	⁺0.49	⁺0.48	⁺1.03	⁺0.55	⁺0.38	⁺0.29	⁺1.16	⁺0.52	⁺16.64	TMO‑Non	TMO‑Non
`SYN353+1`	⁺0.31	⁺0.32	⁺0.40	⁺0.44	⁺0.47	⁺1.03	⁺0.47	⁺0.37	⁺0.25	⁺0.70	TMO‑Non	⁺2.01	TMO‑Non	TMO‑Non
`SEU252+1`	⁺0.30	⁺0.38	⁺0.39	⁺0.46	⁺0.47	⁺1.57	⁺116.28	⁺0.81	⁺0.28	⁺0.68	⁺0.44	TMO‑Non	⁺75.25	TMO‑Non
`CSR060+3`	⁺0.56	⁺1.29	⁺0.55	⁺0.85	⁺0.81	⁺17.85	⁺2.23	⁺0.67	⁺2.05	⁺29.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC101+1`	⁺0.31	⁺0.31	⁺0.40	⁺0.51	⁺0.48	⁺1.08	⁺0.54	⁺0.56	⁺0.25	⁺0.67	⁺0.53	⁺8.38	TMO‑Non	⁺61.33
`GEO168+1`	⁺56.76	⁺4.98	⁺10.74	⁺19.19	⁺10.68	⁺48.20	⁺8.56	TMO‑Non	TMO‑Non	UNK‑Non	⁺42.85	TMO‑Non	TMO‑Non	TMO‑Non
`CSR117+1`	⁺0.32	⁺0.33	⁺0.41	⁺0.50	⁺0.49	⁺1.56	⁺0.55	⁺0.95	⁺0.25	⁺0.87	⁺27.36	UNK‑Non	TMO‑Non	⁺66.49
`NUN086+1`	⁺1.26	⁺0.60	⁺3.51	⁺3.61	⁺3.82	⁺1.57	⁺4.73	⁺4.54	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺61.59
`SWV408+2`	⁺0.29	⁺0.31	⁺0.34	⁺0.46	⁺0.55	⁺1.06	⁺0.60	⁺0.36	⁺0.26	⁺0.73	⁺0.54	⁺0.91	⁺46.39	TMO‑Non
`CSR049+3`	⁺0.60	⁺3.71	TMO‑Non	TMO‑Non	TMO‑Non	⁺19.90	TMO‑Non	⁺1.26	⁺19.12	UNK‑Non	TMO‑Non	TMO‑Non	⁺153.26	TMO‑Non
`SWW473+2`	⁺0.42	⁺0.55	⁺0.58	⁺0.72	⁺0.67	TMO‑Non	⁺0.98	⁺0.43	⁺1.38	⁺1.13	⁺1.46	TMO‑Non	⁺21.08	⁺2.54
`SYN986+1.004`	⁺7.25	⁺6.69	⁺102.81	⁺63.42	⁺82.04	⁺2.02	⁺45.03	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺165.65	TMO‑Non
`SWV050+1`	⁺0.31	⁺0.32	⁺0.38	⁺0.48	⁺0.47	⁺1.04	⁺0.63	⁺0.69	⁺0.29	⁺0.67	⁺0.52	⁺1.44	TMO‑Non	TMO‑Non
`CSR036+3`	⁺0.60	⁺2.09	TMO‑Non	TMO‑Non	TMO‑Non	⁺23.97	TMO‑Non	⁺1.31	⁺23.94	UNK‑Non	TMO‑Non	TMO‑Non	⁺153.36	TMO‑Non
`SWV202+1`	⁺0.33	⁺0.34	⁺0.41	⁺0.52	⁺0.53	⁺3.55	⁺0.56	⁺0.49	⁺0.48	⁺4.71	⁺0.54	TMO‑Non	TMO‑Non	⁺131.15
`NUN055+1`	⁺0.61	⁺1.44	⁺80.89	⁺70.62	⁺54.49	TMO‑Non	⁺33.67	⁺3.64	⁺60.93	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM924+7`	⁺0.52	⁺0.50	⁺0.73	⁺0.81	⁺0.86	⁺2.71	⁺0.94	⁺1.63	⁺0.72	⁺2.19	⁺1.99	⁺9.52	TMO‑Non	TMO‑Non
`LCL652+1.015`	⁺0.90	⁺34.61	⁺121.97	⁺123.36	TMO‑Non	⁺9.65	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO083+1`	⁺0.32	⁺0.38	⁺0.39	⁺6.39	⁺0.48	⁺4.60	⁺7.17	⁺1.29	⁺1.15	⁺0.78	⁺26.23	⁺5.62	TMO‑Non	⁺58.85
`LCL664+1.010`	⁺0.50	⁺25.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.65	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB008+1`	⁺0.31	⁺1.85	⁺1.37	⁺1.82	⁺1.57	⁺13.21	⁺98.38	⁺0.45	⁺0.66	⁺0.72	⁺53.66	TMO‑Non	⁺21.06	⁺122.71
`BOO109+1`	⁺0.76	⁺1.13	⁺82.71	UNK‑Non	TMO‑Non	⁺7.74	TMO‑Non	⁺1.41	⁺1.41	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV468+1`	⁺0.29	⁺0.42	⁺6.01	⁺7.60	⁺10.61	⁺1.55	⁺10.56	⁺0.53	⁺0.29	⁺3.70	⁺0.51	⁺38.77	TMO‑Non	TMO‑Non
`GEO167+1`	⁺83.04	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺60.38	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺26.51	TMO‑Non	TMO‑Non	TMO‑Non
`SCT131+1`	⁺0.42	⁺0.54	⁺0.83	⁺0.99	⁺0.97	⁺2.61	⁺0.81	⁺0.92	⁺91.12	⁺23.54	⁺1.21	⁺4.51	⁺0.97	⁺1.22
`LCL638+1.015`	TMO‑Non	⁺6.39	TMO‑Non	TMO‑Non	TMO‑Non	⁺8.19	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV161+1`	⁺0.31	⁺0.31	⁺0.40	⁺0.54	⁺0.50	⁺1.03	⁺0.51	⁺0.62	⁺0.48	⁺0.76	⁺0.53	TMO‑Non	TMO‑Non	⁺0.79
`LCL876+1`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO275+1`	⁺0.33	⁺0.54	⁺0.50	⁺0.58	⁺0.63	⁺1.53	⁺0.69	⁺1.06	⁺0.29	⁺1.91	⁺76.43	UNK‑Non	TMO‑Non	⁺144.37
`LCL670+1.015`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV464+1`	⁺0.31	⁺0.36	⁺0.45	⁺0.53	⁺0.68	⁺5.57	⁺46.81	⁺0.65	⁺0.33	⁺1.30	⁺0.59	⁺1.05	⁺0.72	⁺117.17
`LAT258+1`	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET682+3`	⁺0.35	⁺0.31	⁺0.37	⁺0.49	⁺0.48	⁺1.05	⁺0.47	⁺0.33	⁺0.25	⁺0.58	TMO‑Non	⁺0.86	TMO‑Non	TMO‑Non
`NUN071+1`	⁺1.85	⁺5.14	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV028+1`	⁺0.30	⁺0.79	TMO‑Non	TMO‑Non	TMO‑Non	⁺3.15	TMO‑Non	⁺0.86	⁺0.24	UNK‑Non	⁺0.45	TMO‑Non	TMO‑Non	TMO‑Non
`GEO632+1`	⁺0.87	⁺16.51	⁺0.82	⁺0.69	⁺0.64	⁺3.55	⁺0.73	⁺0.60	⁺1.11	⁺7.38	TMO‑Non	⁺5.37	TMO‑Non	⁺106.58
`SWV237+1`	⁺0.33	⁺0.33	⁺0.40	⁺0.47	⁺0.52	⁺1.03	⁺0.52	⁺0.48	⁺0.40	⁺0.77	⁺2.33	⁺1.48	TMO‑Non	TMO‑Non
`SWC092+1`	⁺0.31	⁺0.36	⁺0.45	⁺0.53	⁺0.56	⁺1.53	⁺0.58	⁺0.61	⁺0.38	⁺0.95	⁺10.70	⁺145.64	TMO‑Non	TMO‑Non
`SWW474+1`	⁺0.37	⁺1.28	⁺0.42	⁺0.53	⁺0.53	⁺4.65	⁺0.56	⁺1.73	⁺0.66	⁺0.98	⁺0.74	⁺19.70	⁺124.64	⁺1.07
`PRO002+4`	⁺0.71	⁺0.35	⁺0.87	⁺0.61	⁺0.59	⁺32.73	⁺0.62	⁺1.52	TMO‑Non	⁺25.09	⁺26.63	⁺3.73	TMO‑Non	TMO‑Non
`LAT305+1`	⁺0.36	⁺0.30	⁺0.41	⁺0.53	⁺0.59	⁺1.04	⁺14.12	⁺1.35	⁺0.42	⁺1.87	⁺0.48	⁺1.34	TMO‑Non	TMO‑Non
`SWB017+1`	⁺0.32	⁺0.81	⁺0.59	⁺0.80	⁺0.69	⁺7.63	⁺0.59	⁺0.63	⁺0.56	⁺0.73	⁺5.00	TMO‑Non	TMO‑Non	⁺2.46
`PRO004+4`	⁺1.12	⁺0.42	⁺0.82	⁺0.59	⁺0.57	⁺6.59	⁺15.54	⁺2.46	⁺6.32	⁺32.69	⁺26.65	⁺2.97	TMO‑Non	TMO‑Non
`GEO654+1`	⁺1.42	⁺4.31	⁺1.35	⁺0.76	⁺0.97	⁺9.11	⁺0.93	⁺0.55	⁺0.61	⁺71.02	TMO‑Non	⁺5.17	TMO‑Non	⁺63.22
`SWV461+1`	⁺0.33	⁺0.36	⁺1.64	⁺1.80	⁺1.73	⁺11.40	⁺47.19	⁺49.70	⁺10.29	⁺50.82	⁺0.55	TMO‑Non	⁺8.51	⁺60.60
`GEO343+1`	⁺0.33	⁺0.55	⁺0.56	⁺0.69	⁺0.65	⁺2.11	⁺0.71	⁺2.53	⁺0.25	⁺52.95	⁺1.58	UNK‑Non	TMO‑Non	TMO‑Non
`PUZ133+2`	⁺0.41	⁺0.36	⁺1.13	⁺0.97	⁺10.61	⁺2.55	⁺10.81	⁺1.65	⁺0.45	⁺9.79	⁺20.92	⁺1.12	TMO‑Non	TMO‑Non
`SWV055+1`	⁺0.40	⁺0.32	⁺0.38	⁺0.53	⁺0.45	⁺3.02	⁺0.71	⁺0.50	⁺0.40	⁺3.10	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non
`GRP775+1`	⁺0.50	⁺0.31	⁺0.50	⁺0.57	⁺0.59	⁺6.07	⁺0.65	⁺35.60	⁺0.71	⁺3.23	⁺0.58	⁺9.17	TMO‑Non	TMO‑Non
`SWV098+1`	⁺0.32	⁺0.36	⁺0.47	⁺0.52	⁺0.51	⁺1.54	⁺2.02	⁺0.66	⁺0.26	⁺1.41	⁺0.56	⁺40.34	TMO‑Non	TMO‑Non
`SET801+4`	⁺0.35	⁺0.33	⁺0.34	⁺0.47	⁺0.48	⁺1.03	⁺0.94	⁺0.92	⁺1.13	⁺1.90	⁺0.44	TMO‑Non	TMO‑Non	TMO‑Non
`HAL002+1`	⁺0.39	⁺0.31	⁺0.39	⁺0.49	⁺0.48	⁺11.10	⁺0.48	⁺4.01	⁺0.35	⁺0.90	⁺0.46	TMO‑Non	TMO‑Non	TMO‑Non
`COM129+1`	⁺0.32	⁺0.31	⁺0.42	⁺0.50	⁺0.57	⁺1.05	⁺0.54	⁺0.37	⁺0.24	⁺0.74	⁺0.60	UNK‑Non	TMO‑Non	TMO‑Non
`SWV451+1`	⁺0.34	⁺0.37	⁺3.76	⁺4.25	⁺4.75	⁺2.54	⁺103.79	⁺0.60	⁺6.83	⁺128.33	⁺0.51	⁺42.36	TMO‑Non	TMO‑Non
`SWB097+1`	⁺0.33	⁺4.08	⁺29.92	⁺15.65	⁺4.02	⁺2.57	⁺1.69	⁺0.41	⁺0.98	⁺0.87	⁺53.87	TMO‑Non	⁺18.97	⁺2.69
`SET814+4`	⁺0.30	⁺0.31	⁺0.34	⁺0.47	⁺0.39	⁺27.20	⁺92.05	⁺0.58	⁺0.35	⁺3.29	⁺0.45	TMO‑Non	⁺121.20	TMO‑Non
`GEO126+1`	⁺0.30	⁺0.35	⁺0.51	⁺0.48	⁺0.64	⁺1.53	⁺0.62	⁺0.31	⁺0.23	⁺0.70	TMO‑Non	⁺2.11	TMO‑Non	⁺59.25
`SWB057+1`	⁺0.31	⁺0.50	⁺0.64	⁺0.74	⁺0.85	⁺16.15	⁺0.98	⁺0.63	⁺0.61	⁺0.66	⁺2.10	TMO‑Non	TMO‑Non	⁺1.71
`GEO300+1`	⁺0.33	⁺0.44	⁺0.52	⁺0.64	⁺0.63	⁺1.56	⁺0.78	⁺0.70	⁺0.34	⁺1.49	⁺0.78	UNK‑Non	⁺162.43	⁺2.34
`NUM303+1`	⁺0.38	⁺0.33	⁺0.43	⁺0.48	⁺0.53	⁺1.58	⁺5.40	⁺0.30	⁺0.34	⁺1.60	TMO‑Non	TMO‑Non	⁺4.42	TMO‑Non
`NUM842+2`	⁺0.41	⁺0.54	⁺0.39	⁺0.55	⁺0.43	⁺2.57	⁺0.59	⁺2.47	⁺0.66	⁺1.87	⁺0.55	UNK‑Non	TMO‑Non	TMO‑Non
`KLE170+1.002`	⁺0.46	⁺0.41	⁺0.74	⁺2.21	⁺11.67	⁺3.75	⁺10.89	⁺30.91	⁺3.57	UNK‑Non	⁺1.32	⁺1.09	TMO‑Non	TMO‑Non
`GEO553+1`	⁺0.77	⁺3.71	⁺0.72	⁺0.92	⁺0.81	⁺1.91	⁺0.93	⁺0.50	⁺0.89	⁺30.42	⁺135.57	⁺9.35	TMO‑Non	TMO‑Non
`SET056+1`	⁺0.32	⁺0.31	⁺0.37	⁺0.50	⁺0.56	⁺1.08	⁺0.47	⁺0.34	⁺0.21	⁺0.76	TMO‑Non	TMO‑Non	⁺39.37	TMO‑Non
`NUM858+1`	⁺0.53	⁺0.39	⁺0.42	⁺0.49	⁺0.49	⁺9.11	⁺2.20	TMO‑Non	⁺176.63	⁺11.32	⁺26.07	TMO‑Non	TMO‑Non	TMO‑Non
`SWV374+1`	⁺0.31	⁺0.36	⁺0.48	⁺0.53	⁺0.48	⁺1.03	⁺0.64	⁺0.33	⁺0.22	⁺0.75	⁺0.41	UNK‑Non	TMO‑Non	⁺120.35
`PUZ133+1`	⁺0.80	⁺0.38	⁺0.92	⁺0.97	TMO‑Non	⁺2.05	TMO‑Non	⁺1.06	⁺0.54	⁺64.68	⁺0.43	⁺1.52	TMO‑Non	TMO‑Non
`GEO499+1`	⁺0.33	⁺0.49	⁺0.44	⁺0.48	⁺0.56	⁺14.14	⁺0.59	⁺0.68	⁺0.30	⁺1.42	⁺20.72	⁺2.51	⁺18.49	⁺3.84
`SWW967+1`	⁺0.31	⁺0.25	⁺0.36	⁺0.52	⁺0.46	⁺1.05	⁺0.46	⁺0.74	⁺0.25	⁺0.72	⁺2.45	TMO‑Non	⁺2.16	⁺59.99
`MGT063+1`	⁺0.34	⁺0.49	⁺0.40	⁺82.49	⁺0.50	⁺1.07	⁺2.80	⁺1.33	⁺3.21	⁺53.32	⁺0.57	TMO‑Non	TMO‑Non	TMO‑Non
`GEO094+1`	⁺0.78	⁺7.85	⁺0.32	⁺0.54	⁺0.48	⁺1.03	⁺0.51	⁺0.63	⁺0.32	⁺0.79	⁺10.88	⁺0.94	TMO‑Non	TMO‑Non
`SWW302+1`	⁺0.75	⁺0.78	⁺0.68	⁺0.78	⁺0.76	⁺7.05	⁺6.56	⁺0.67	⁺0.95	⁺1.58	⁺7.57	TMO‑Non	⁺18.21	⁺90.63
`HAL004+1`	⁺1.40	⁺4.23	⁺0.42	⁺0.53	⁺0.56	⁺12.06	⁺0.93	⁺35.31	⁺0.37	⁺1.16	⁺28.11	TMO‑Non	TMO‑Non	TMO‑Non
`ALG050+1`	⁺0.57	⁺0.50	TMO‑Non	TMO‑Non	UNK‑Non	⁺1.49	⁺67.32	TMO‑Non	⁺1.97	⁺89.02	⁺1.62	TMO‑Non	TMO‑Non	TMO‑Non
`ALG108+1`	⁺0.42	⁺0.41	⁺22.88	⁺19.85	⁺26.68	⁺1.53	⁺21.88	TMO‑Non	⁺1.41	⁺12.23	⁺0.65	TMO‑Non	TMO‑Non	TMO‑Non
`SWV480+1`	⁺0.39	⁺0.34	⁺0.67	⁺0.80	⁺0.84	⁺8.63	⁺68.31	⁺0.64	⁺0.51	⁺1.62	⁺0.87	⁺85.21	TMO‑Non	TMO‑Non
`SWV479+1`	⁺0.38	⁺0.37	⁺0.64	⁺0.71	⁺0.58	⁺11.18	⁺71.09	⁺1.45	⁺0.40	⁺1.48	⁺1.01	⁺71.16	TMO‑Non	TMO‑Non
`NUM305+1`	⁺0.43	⁺0.34	⁺0.38	⁺0.49	⁺0.48	⁺13.23	⁺91.48	⁺0.73	⁺0.34	⁺6.12	TMO‑Non	⁺40.93	⁺0.58	⁺66.22
`SEU098+1`	⁺0.31	⁺0.35	⁺0.39	⁺0.52	⁺0.48	⁺0.95	⁺0.76	⁺0.33	⁺0.45	⁺0.98	⁺0.68	⁺35.26	TMO‑Non	TMO‑Non
`GRA007+1`	⁺0.56	⁺0.34	⁺0.59	⁺0.52	⁺0.66	⁺3.63	⁺0.64	⁺4.35	⁺0.32	⁺1.63	⁺26.00	TMO‑Non	TMO‑Non	TMO‑Non
`CSR024+1.010`	⁺0.49	⁺0.53	⁺0.43	⁺0.57	⁺0.51	⁺1.54	⁺0.58	⁺1.18	⁺0.39	⁺1.03	⁺96.65	⁺3.41	TMO‑Non	TMO‑Non
`SCT146+1`	⁺0.35	⁺0.43	⁺0.46	⁺0.63	⁺1.19	⁺2.07	⁺0.71	⁺2.18	⁺0.32	⁺1.16	⁺1.02	⁺4.42	TMO‑Non	TMO‑Non
`GEO584+1`	⁺2.88	UNK‑Non	⁺0.74	⁺0.96	⁺0.94	⁺15.73	⁺0.82	⁺0.68	⁺1.83	⁺71.83	TMO‑Non	⁺9.94	TMO‑Non	TMO‑Non
`NUM926+6`	⁺0.42	⁺0.37	⁺0.75	⁺0.78	⁺1.00	⁺3.11	⁺1.00	⁺0.89	⁺10.58	⁺5.66	⁺0.92	⁺2.69	TMO‑Non	TMO‑Non
`SWW233+1`	⁺0.79	⁺0.79	⁺1.06	⁺1.07	⁺1.04	⁺5.73	⁺1.77	⁺58.56	⁺7.76	⁺11.50	⁺1.87	⁺16.36	TMO‑Non	TMO‑Non
`GEO543+1`	⁺0.76	⁺4.66	⁺0.69	⁺0.82	⁺0.70	⁺8.12	⁺0.78	⁺0.59	⁺0.96	⁺26.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW963+1`	⁺0.32	⁺0.32	⁺0.40	⁺0.50	⁺3.63	⁺1.06	⁺0.61	⁺0.39	⁺0.24	⁺0.70	⁺0.64	TMO‑Non	⁺3.45	⁺59.71
`SWV380+1`	⁺0.31	⁺0.42	⁺0.69	⁺0.62	⁺0.63	⁺35.13	⁺1.19	⁺0.93	⁺0.94	⁺1.32	⁺0.44	UNK‑Non	TMO‑Non	TMO‑Non
`SET606+3`	⁺0.33	⁺0.32	⁺1.78	⁺4.49	⁺1.37	⁺1.05	⁺2.45	⁺0.77	⁺2.78	UNK‑Non	⁺0.58	TMO‑Non	⁺18.81	TMO‑Non
`ITP010+4`	⁺1.56	⁺4.50	⁺2.06	⁺2.12	⁺3.09	⁺14.55	⁺2.26	⁺5.06	⁺6.93	⁺7.91	⁺31.22	TMO‑Non	TMO‑Non	TMO‑Non
`PRO002+2`	⁺0.88	⁺0.42	⁺0.88	⁺1.20	⁺1.19	178.06	⁺0.91	⁺2.80	TMO‑Non	UNK‑Non	⁺26.54	⁺54.83	TMO‑Non	TMO‑Non
`SWW238+1`	⁺0.48	⁺0.51	⁺0.87	⁺1.35	⁺0.97	⁺5.65	⁺2.54	⁺0.41	⁺3.60	⁺4.08	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non
`SWV473+1`	⁺0.43	⁺0.36	⁺3.49	⁺2.35	⁺25.77	⁺1.08	⁺26.05	⁺0.55	⁺0.56	⁺1.18	⁺0.65	⁺83.12	TMO‑Non	TMO‑Non
`GRP631+1`	⁺0.35	⁺0.33	⁺1.65	⁺0.79	⁺0.77	⁺12.56	⁺7.79	⁺2.78	⁺1.66	⁺1.27	⁺0.68	TMO‑Non	TMO‑Non	TMO‑Non
`PRO003+3`	⁺0.77	⁺0.52	⁺0.71	⁺0.65	⁺0.68	⁺16.37	⁺1.05	⁺4.35	TMO‑Non	⁺135.62	⁺63.24	⁺38.34	TMO‑Non	TMO‑Non
`NUM924+4`	⁺0.75	⁺16.89	⁺1.85	⁺1.54	⁺27.23	⁺8.51	⁺42.80	⁺32.86	⁺5.80	⁺11.62	⁺7.69	UNK‑Non	TMO‑Non	TMO‑Non
`SWB023+1`	⁺0.34	⁺3.13	⁺0.40	⁺0.51	⁺0.50	⁺23.52	⁺24.99	⁺0.77	⁺0.85	⁺0.93	⁺41.90	TMO‑Non	TMO‑Non	TMO‑Non
`NUM925+4`	⁺0.77	⁺1.40	⁺0.91	⁺0.97	⁺0.91	⁺55.86	⁺4.91	⁺0.79	⁺1.38	⁺4.82	⁺19.69	UNK‑Non	TMO‑Non	TMO‑Non
`GRA007+2`	⁺0.76	⁺0.37	⁺0.52	⁺0.65	⁺0.61	⁺4.03	⁺0.61	⁺4.30	⁺0.36	⁺2.33	⁺27.23	TMO‑Non	TMO‑Non	TMO‑Non
`LCL489+1`	⁺4.62	⁺2.47	⁺2.96	⁺28.03	⁺10.62	⁺43.75	⁺6.47	⁺26.30	TMO‑Non	⁺12.51	TMO‑Non	⁺78.41	TMO‑Non	TMO‑Non
`SWW375+1`	⁺0.77	⁺1.02	⁺3.01	⁺4.86	⁺3.11	⁺58.91	⁺4.66	⁺1.21	⁺2.76	⁺4.47	⁺14.67	TMO‑Non	⁺18.26	⁺34.05
`GEO342+1`	⁺0.31	⁺0.34	⁺0.50	⁺0.68	⁺0.65	⁺1.56	⁺0.80	⁺1.30	⁺0.35	⁺0.96	⁺0.68	UNK‑Non	⁺75.21	TMO‑Non
`ALG128+1`	⁺0.40	⁺0.52	⁺32.57	TMO‑Non	⁺57.89	⁺1.05	⁺47.77	TMO‑Non	⁺1.80	⁺15.82	⁺0.87	TMO‑Non	TMO‑Non	TMO‑Non
`GEO504+1`	⁺0.33	⁺0.92	⁺0.41	⁺0.55	⁺0.54	⁺3.56	⁺0.68	⁺0.97	⁺0.56	⁺1.46	⁺61.60	⁺5.76	TMO‑Non	TMO‑Non
`ITP013+1`	⁺0.33	⁺1.10	⁺0.36	⁺0.51	⁺10.68	⁺52.27	⁺12.52	⁺0.80	⁺0.31	⁺2.92	⁺0.49	⁺1.14	TMO‑Non	TMO‑Non
`SWW344+1`	⁺0.79	⁺1.30	⁺1.30	⁺1.66	⁺1.20	⁺58.98	⁺3.53	⁺0.61	⁺3.31	⁺1.78	TMO‑Non	TMO‑Non	⁺18.23	⁺32.74
`COM130+1`	⁺0.31	⁺0.31	⁺0.39	⁺0.48	⁺0.51	⁺1.52	⁺0.54	⁺2.68	⁺0.26	⁺0.65	⁺0.48	UNK‑Non	TMO‑Non	TMO‑Non
`KLE012+1`	⁺1.89	⁺0.49	⁺2.96	⁺4.60	⁺11.36	⁺1.52	⁺13.28	⁺25.97	⁺30.91	UNK‑Non	⁺22.82	⁺5.91	TMO‑Non	TMO‑Non
`SWW383+1`	⁺0.68	⁺0.95	⁺1.63	⁺1.57	⁺1.55	⁺54.55	⁺4.02	⁺1.73	⁺3.72	⁺3.28	⁺18.93	TMO‑Non	⁺144.88	⁺17.92
`SWV475+1`	⁺0.39	⁺0.53	⁺9.55	⁺10.48	⁺6.53	TMO‑Non	⁺69.96	⁺5.54	⁺24.77	⁺2.12	⁺1.21	TMO‑Non	TMO‑Non	TMO‑Non
`GEO270+1`	⁺0.44	⁺0.34	⁺0.59	⁺0.61	⁺0.76	⁺2.05	⁺34.57	⁺3.12	⁺1.30	⁺1.44	⁺1.45	UNK‑Non	TMO‑Non	TMO‑Non
`SWW470+2`	⁺0.29	⁺4.31	⁺5.57	⁺9.36	⁺12.44	⁺4.60	⁺11.63	⁺7.28	⁺7.29	⁺46.42	⁺3.64	TMO‑Non	TMO‑Non	TMO‑Non
`SEV517+1`	⁺0.31	⁺0.36	⁺0.39	⁺0.49	⁺0.48	⁺3.04	⁺1.52	⁺0.33	⁺7.67	⁺57.95	⁺0.33	TMO‑Non	TMO‑Non	TMO‑Non
`LCL903+1`	⁺0.68	⁺0.59	⁺0.43	⁺0.61	⁺0.58	⁺2.04	⁺0.61	⁺3.34	⁺3.24	⁺1.82	⁺54.59	UNK‑Non	TMO‑Non	TMO‑Non
`SWW345+1`	⁺0.67	⁺1.11	⁺1.15	⁺2.06	⁺1.21	⁺75.38	⁺5.29	⁺0.67	⁺3.14	⁺1.61	TMO‑Non	TMO‑Non	⁺18.22	⁺19.99
`ITP012+1`	⁺0.42	UNK‑Non	⁺0.37	⁺0.51	⁺15.90	TMO‑Non	⁺11.36	⁺0.69	⁺0.99	⁺65.64	⁺0.65	TMO‑Non	TMO‑Non	TMO‑Non
`NUM476+1`	⁺0.32	⁺0.49	⁺0.40	⁺0.53	⁺0.52	⁺2.03	⁺0.65	⁺4.47	⁺2.21	⁺1.40	⁺25.91	TMO‑Non	TMO‑Non	TMO‑Non
`SWW287+1`	⁺0.38	⁺0.51	⁺0.81	⁺0.74	⁺1.12	⁺5.15	⁺1.09	⁺65.83	⁺0.59	⁺1.10	⁺1.06	TMO‑Non	TMO‑Non	TMO‑Non
`GEO526+1`	⁺0.59	⁺0.87	⁺1.61	⁺1.83	⁺2.33	⁺15.14	⁺2.03	⁺1.68	⁺0.88	⁺1.60	⁺3.99	⁺15.60	TMO‑Non	TMO‑Non
`SWV466+1`	⁺0.33	⁺0.40	⁺1.27	⁺1.43	⁺1.47	⁺3.08	⁺3.32	⁺0.55	⁺3.44	⁺1.93	⁺2.12	⁺1.51	TMO‑Non	TMO‑Non
`SWW470+5`	⁺0.46	⁺1.17	⁺2.17	⁺1.45	⁺39.20	⁺4.16	TMO‑Non	⁺3.85	⁺1.66	⁺39.35	⁺27.10	⁺2.20	TMO‑Non	TMO‑Non
`LCL519+1`	⁺0.53	⁺0.53	⁺0.73	⁺1.28	⁺0.78	⁺7.58	⁺0.79	⁺0.75	⁺1.14	⁺6.10	TMO‑Non	⁺3.32	TMO‑Non	TMO‑Non
`NUM338+1`	⁺0.40	⁺0.35	⁺0.50	⁺0.51	⁺0.51	⁺46.09	TMO‑Non	⁺0.97	⁺0.46	UNK‑Non	TMO‑Non	⁺24.45	⁺2.25	TMO‑Non
`LCL535+1`	⁺1.21	⁺0.51	⁺0.49	⁺0.69	⁺0.53	⁺3.06	⁺0.71	⁺8.35	⁺1.31	⁺1.75	TMO‑Non	⁺13.29	TMO‑Non	TMO‑Non
`SWV465+1`	⁺0.38	⁺0.39	⁺0.42	⁺0.55	⁺0.57	⁺4.13	⁺7.29	⁺4.31	⁺6.67	⁺1.73	⁺0.63	⁺1.06	TMO‑Non	TMO‑Non
`SWV448+1`	⁺0.50	⁺0.35	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.01	⁺25.64	⁺0.65	⁺3.75	⁺5.05	⁺0.62	TMO‑Non	TMO‑Non	TMO‑Non
`COM008+2`	⁺4.62	⁺9.12	⁺0.54	⁺0.72	⁺0.69	⁺7.40	⁺1.02	⁺11.81	⁺14.65	⁺143.60	⁺21.35	TMO‑Non	TMO‑Non	TMO‑Non
`LCL894+1`	⁺0.80	⁺0.39	⁺0.48	⁺0.58	⁺0.57	⁺3.03	⁺0.55	⁺9.16	⁺16.04	⁺8.56	⁺21.83	UNK‑Non	TMO‑Non	TMO‑Non
`SWB077+1`	⁺0.32	⁺3.27	⁺12.17	⁺15.44	⁺8.25	⁺12.71	TMO‑Non	⁺24.74	⁺9.60	⁺53.05	TMO‑Non	TMO‑Non	TMO‑Non	⁺123.99
`COM138+1`	⁺0.43	⁺0.45	⁺0.44	⁺0.46	⁺0.57	⁺91.26	⁺0.53	⁺10.05	⁺2.32	⁺0.83	⁺0.53	UNK‑Non	TMO‑Non	TMO‑Non
`CSR001+2`	⁺0.51	⁺1.33	⁺1.66	⁺1.62	⁺2.05	⁺1.52	⁺6.80	⁺48.96	⁺100.02	⁺76.76	⁺33.11	TMO‑Non	TMO‑Non	TMO‑Non
`MGT035+2`	⁺2.58	⁺0.77	⁺179.91	TMO‑Non	⁺48.94	⁺4.10	⁺27.19	TMO‑Non	TMO‑Non	⁺12.70	⁺0.83	TMO‑Non	TMO‑Non	TMO‑Non
`CSR064+4`	⁺2.85	⁺1.43	⁺1.19	⁺1.25	⁺1.58	⁺135.63	⁺17.13	⁺0.92	⁺6.48	⁺18.05	TMO‑Non	TMO‑Non	⁺18.31	TMO‑Non
`GRP655+1`	TMO‑Non	⁺34.30	⁺38.64	⁺48.52	⁺31.65	⁺50.15	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926+3`	⁺0.62	⁺2.59	⁺2.49	⁺1.30	⁺5.16	⁺7.71	⁺7.74	⁺0.51	⁺3.83	UNK‑Non	⁺1.71	⁺43.41	TMO‑Non	⁺4.11
`LCL510+1`	⁺3.22	⁺0.46	⁺0.87	⁺1.25	⁺1.17	⁺8.05	⁺1.27	⁺0.83	⁺6.35	⁺16.05	TMO‑Non	⁺3.67	TMO‑Non	TMO‑Non
`GEO089+1`	⁺0.62	UNK‑Non	⁺0.41	⁺2.52	⁺0.41	⁺2.54	⁺0.37	TMO‑Non	TMO‑Non	UNK‑Non	⁺26.84	TMO‑Non	TMO‑Non	TMO‑Non
`SWB056+1`	⁺0.34	UNK‑Non	TMO‑Non	TMO‑Non	⁺11.88	⁺2.53	⁺2.84	⁺0.72	⁺2.55	⁺0.81	⁺41.77	TMO‑Non	TMO‑Non	⁺4.32
`LCL523+1`	⁺0.93	⁺1.43	⁺0.53	⁺0.60	⁺0.57	⁺3.58	⁺1.14	⁺46.59	⁺2.50	⁺1.13	TMO‑Non	⁺52.04	TMO‑Non	TMO‑Non
`GEO283+1`	⁺0.60	⁺1.65	⁺13.77	⁺5.59	⁺6.14	⁺2.55	⁺75.11	⁺3.46	⁺16.35	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU320+2`	⁺3.83	⁺6.73	⁺0.58	⁺0.66	⁺0.65	⁺23.29	⁺1.74	⁺15.08	⁺0.33	⁺61.89	⁺1.34	TMO‑Non	TMO‑Non	TMO‑Non
`COM135+1`	⁺0.45	⁺0.97	⁺0.48	⁺0.55	⁺0.56	⁺7.64	⁺0.59	TMO‑Non	⁺8.77	⁺5.49	⁺6.01	UNK‑Non	TMO‑Non	TMO‑Non
`SWW311+1`	⁺0.64	⁺1.04	⁺0.93	⁺1.12	⁺1.04	⁺143.76	⁺5.01	⁺0.95	⁺0.81	⁺2.06	TMO‑Non	TMO‑Non	⁺46.60	⁺48.11
`LCL458+1`	⁺1.71	⁺1.28	⁺8.43	⁺5.53	UNK‑Non	⁺24.20	⁺65.33	TMO‑Non	⁺34.24	⁺30.66	⁺29.48	⁺71.93	TMO‑Non	TMO‑Non
`SWV407+1`	⁺1.74	UNK‑Non	⁺11.08	⁺9.24	⁺7.52	TMO‑Non	⁺66.88	⁺16.04	⁺0.97	⁺103.71	⁺0.65	TMO‑Non	TMO‑Non	TMO‑Non
`GEO497+1`	⁺0.38	⁺5.80	⁺0.46	⁺0.52	⁺0.50	⁺11.95	⁺0.51	⁺7.41	⁺9.34	⁺3.32	⁺8.05	TMO‑Non	TMO‑Non	TMO‑Non
`LCL896+1`	⁺0.55	⁺6.28	⁺8.81	⁺5.28	⁺3.51	⁺2.00	⁺2.78	⁺1.02	⁺19.77	UNK‑Non	⁺43.47	UNK‑Non	TMO‑Non	TMO‑Non
`SWB047+1`	⁺0.37	⁺1.88	⁺1.67	⁺1.63	⁺1.70	⁺47.57	⁺99.80	⁺1.18	⁺53.77	⁺1.76	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO535+1`	⁺1.25	⁺1.53	⁺118.25	⁺123.24	⁺107.33	⁺12.63	TMO‑Non	⁺21.38	⁺90.68	UNK‑Non	⁺0.74	TMO‑Non	⁺51.14	TMO‑Non
`SWB009+1`	⁺0.32	⁺30.26	⁺0.41	⁺0.49	⁺0.49	⁺175.75	⁺155.17	⁺0.60	⁺2.27	⁺0.76	⁺98.05	TMO‑Non	TMO‑Non	⁺118.16
`CSR072+5`	⁺9.66	⁺17.67	⁺12.33	⁺16.60	⁺13.64	⁺74.07	⁺10.05	⁺4.94	⁺18.65	TMO‑Non	TMO‑Non	UNK‑Non	⁺143.40	TMO‑Non
`COM137+1`	⁺1.20	⁺0.55	⁺0.49	⁺0.64	⁺0.59	⁺20.19	⁺0.65	TMO‑Non	⁺92.96	⁺1.11	⁺25.89	UNK‑Non	TMO‑Non	TMO‑Non
`GEO286+1`	⁺0.58	⁺11.82	⁺5.51	⁺8.10	⁺3.81	⁺2.59	⁺3.85	⁺3.49	TMO‑Non	UNK‑Non	⁺77.57	UNK‑Non	TMO‑Non	TMO‑Non
`SET010+3`	⁺0.34	⁺3.47	⁺60.32	⁺63.79	⁺54.24	⁺2.01	⁺40.73	⁺27.31	TMO‑Non	UNK‑Non	⁺63.73	TMO‑Non	TMO‑Non	TMO‑Non
`LCL549+1`	⁺0.73	⁺1.39	⁺0.48	⁺1.08	⁺0.53	⁺6.38	⁺0.69	TMO‑Non	⁺2.84	⁺2.48	TMO‑Non	⁺69.66	TMO‑Non	TMO‑Non
`CSR073+4`	⁺1.33	⁺1.83	⁺1.48	⁺1.20	⁺1.64	⁺63.40	⁺43.73	⁺0.91	⁺7.42	⁺23.70	TMO‑Non	TMO‑Non	⁺19.01	TMO‑Non
`SWW284+1`	⁺0.67	⁺1.17	⁺1.50	⁺1.40	⁺1.69	TMO‑Non	⁺0.92	⁺24.94	⁺31.86	⁺56.68	TMO‑Non	⁺19.62	TMO‑Non	TMO‑Non
`GEO290+1`	⁺0.43	⁺0.80	⁺1.71	⁺1.77	⁺2.54	⁺9.80	⁺2.25	⁺34.83	⁺2.46	UNK‑Non	⁺75.74	UNK‑Non	TMO‑Non	TMO‑Non
`ITP006+2`	⁺0.42	⁺0.38	⁺0.65	⁺0.76	⁺0.73	⁺76.75	⁺35.36	⁺3.41	⁺1.15	⁺1.70	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.96
`GEO507+1`	⁺1.03	UNK‑Non	⁺20.12	⁺13.02	⁺12.65	⁺22.08	⁺10.53	⁺42.00	⁺14.02	⁺4.60	⁺26.83	TMO‑Non	TMO‑Non	TMO‑Non
`GEO281+1`	⁺0.66	⁺10.52	⁺4.00	⁺4.77	⁺4.37	⁺2.58	⁺3.63	⁺3.44	⁺21.21	UNK‑Non	⁺0.63	UNK‑Non	TMO‑Non	TMO‑Non
`NUM527+3`	⁺5.58	⁺0.59	⁺0.67	⁺0.65	⁺0.64	⁺100.28	⁺0.75	⁺125.31	TMO‑Non	⁺9.71	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL548+1`	⁺0.59	⁺1.09	⁺0.46	⁺0.77	⁺0.59	⁺2.96	⁺0.73	⁺78.17	⁺10.66	⁺4.44	TMO‑Non	⁺87.54	TMO‑Non	TMO‑Non
`GRA009+1`	⁺0.88	⁺9.82	⁺4.54	⁺1.95	⁺1.62	⁺9.55	⁺2.52	TMO‑Non	⁺47.28	⁺8.69	⁺27.94	TMO‑Non	TMO‑Non	TMO‑Non
`SCT122+1`	⁺0.35	⁺0.46	⁺22.87	⁺15.08	⁺9.53	TMO‑Non	⁺94.47	⁺7.55	⁺5.21	UNK‑Non	⁺27.44	⁺113.45	TMO‑Non	TMO‑Non
`SCT123+1`	⁺0.37	⁺0.92	⁺171.64	⁺138.59	TMO‑Non	TMO‑Non	TMO‑Non	⁺7.56	TMO‑Non	⁺3.47	⁺1.23	TMO‑Non	TMO‑Non	TMO‑Non
`ALG047+1`	⁺0.43	⁺0.51	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.53	TMO‑Non	TMO‑Non	⁺1.51	TMO‑Non	⁺0.60	UNK‑Non	TMO‑Non	TMO‑Non
`ALG104+1`	⁺0.62	⁺0.67	TMO‑Non	TMO‑Non	UNK‑Non	⁺1.61	UNK‑Non	TMO‑Non	⁺28.96	⁺17.89	⁺1.19	TMO‑Non	TMO‑Non	TMO‑Non
`SWV474+1`	⁺0.58	⁺1.38	⁺3.93	⁺2.45	⁺31.99	⁺1.48	⁺24.33	⁺1.46	TMO‑Non	⁺5.40	⁺0.76	TMO‑Non	TMO‑Non	TMO‑Non
`SWV470+1`	⁺0.44	⁺0.39	⁺9.64	⁺6.80	TMO‑Non	⁺4.26	⁺60.42	⁺4.59	⁺90.73	⁺6.53	⁺0.56	⁺24.09	TMO‑Non	TMO‑Non
`LCL541+1`	⁺0.87	⁺2.06	⁺0.70	⁺0.84	⁺0.93	⁺69.60	⁺2.54	⁺67.37	⁺5.43	UNK‑Non	TMO‑Non	⁺85.21	TMO‑Non	TMO‑Non
`SWB014+1`	⁺0.35	⁺3.52	TMO‑Non	TMO‑Non	⁺2.30	TMO‑Non	TMO‑Non	⁺0.73	⁺0.76	⁺1.16	⁺2.73	TMO‑Non	⁺22.82	⁺2.65
`SWW960+1`	⁺0.36	⁺0.32	⁺0.47	⁺0.57	⁺0.56	⁺1.05	⁺0.54	⁺0.33	⁺0.32	⁺1.22	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB058+1`	⁺0.31	⁺2.06	⁺1.92	⁺4.71	⁺1.87	⁺76.45	⁺99.13	⁺7.54	⁺33.57	⁺0.75	⁺5.09	TMO‑Non	TMO‑Non	⁺160.54
`SWW949+1`	⁺0.43	⁺0.46	⁺0.42	⁺0.51	⁺0.44	⁺54.67	⁺3.86	TMO‑Non	⁺1.11	⁺0.79	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR005+2`	⁺0.58	UNK‑Non	⁺0.91	⁺1.05	⁺0.90	⁺38.65	⁺2.56	TMO‑Non	TMO‑Non	⁺86.00	⁺53.31	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474+6`	⁺1.02	⁺36.34	⁺11.77	⁺11.48	⁺46.51	⁺17.75	⁺45.03	⁺68.16	⁺3.03	UNK‑Non	⁺27.78	TMO‑Non	TMO‑Non	TMO‑Non
`SWV459+1`	⁺0.34	⁺0.45	⁺93.53	⁺124.33	⁺10.74	⁺26.14	TMO‑Non	⁺1.17	⁺0.26	UNK‑Non	⁺0.62	TMO‑Non	TMO‑Non	TMO‑Non
`GEO306+1`	⁺0.82	UNK‑Non	⁺0.70	⁺0.75	⁺12.15	⁺7.03	⁺11.39	TMO‑Non	⁺4.12	⁺6.47	⁺1.95	UNK‑Non	TMO‑Non	TMO‑Non
`SWB079+1`	⁺0.35	⁺2.13	TMO‑Non	TMO‑Non	⁺11.43	⁺149.62	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.19	⁺2.65	TMO‑Non	TMO‑Non	⁺119.02
`PRO018+1`	⁺0.99	⁺1.35	⁺9.33	⁺6.64	⁺12.71	⁺16.14	⁺12.07	TMO‑Non	TMO‑Non	UNK‑Non	⁺28.86	TMO‑Non	TMO‑Non	TMO‑Non
`NUM925+8`	⁺5.18	⁺3.27	⁺5.24	⁺4.02	⁺5.88	⁺93.32	⁺6.60	⁺1.30	⁺51.85	⁺27.13	⁺17.70	TMO‑Non	TMO‑Non	TMO‑Non
`SWB024+1`	⁺0.35	UNK‑Non	⁺2.18	⁺1.36	⁺1.47	⁺50.11	⁺98.95	⁺6.64	⁺12.13	⁺1.22	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO307+1`	⁺0.34	⁺7.51	TMO‑Non	TMO‑Non	TMO‑Non	⁺21.16	TMO‑Non	⁺1.46	⁺0.31	UNK‑Non	⁺76.29	UNK‑Non	TMO‑Non	TMO‑Non
`GEO321+1`	⁺2.23	⁺3.66	TMO‑Non	TMO‑Non	TMO‑Non	⁺21.60	TMO‑Non	⁺18.01	⁺0.96	UNK‑Non	⁺0.79	UNK‑Non	TMO‑Non	TMO‑Non
`SWV491+4`	⁺5.25	⁺0.89	⁺44.48	⁺37.55	⁺57.44	TMO‑Non	⁺47.37	⁺36.86	TMO‑Non	⁺55.52	⁺18.16	TMO‑Non	TMO‑Non	TMO‑Non
`SWB044+1`	⁺0.36	⁺3.24	⁺2.44	⁺2.48	⁺2.44	⁺33.29	⁺100.61	⁺1.25	⁺41.29	⁺0.87	TMO‑Non	TMO‑Non	TMO‑Non	⁺134.66
`COM134+1`	⁺1.55	UNK‑Non	⁺0.53	⁺0.63	⁺0.71	⁺20.25	⁺0.70	TMO‑Non	TMO‑Non	UNK‑Non	⁺25.95	UNK‑Non	TMO‑Non	TMO‑Non
`SWV467+1`	⁺0.45	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	⁺6.55	TMO‑Non	⁺1.27	TMO‑Non	⁺130.25	⁺0.64	TMO‑Non	TMO‑Non	TMO‑Non
`SWB096+1`	⁺0.33	UNK‑Non	⁺34.76	⁺16.96	⁺16.71	TMO‑Non	⁺17.08	⁺92.03	TMO‑Non	⁺1.02	⁺98.72	TMO‑Non	⁺30.72	⁺133.99
`ITP020+2`	⁺0.43	⁺41.98	⁺0.49	⁺0.59	⁺0.55	⁺3.00	⁺132.63	⁺0.33	⁺3.48	⁺58.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO288+1`	⁺0.55	UNK‑Non	⁺8.59	⁺9.27	⁺5.28	⁺20.98	⁺10.08	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.98	UNK‑Non	TMO‑Non	TMO‑Non
`NUM345+1`	⁺0.38	⁺0.62	⁺0.59	⁺0.54	⁺0.62	⁺80.33	TMO‑Non	⁺0.92	TMO‑Non	⁺4.46	TMO‑Non	⁺68.43	TMO‑Non	TMO‑Non
`CSR002+1`	⁺1.19	⁺7.43	⁺0.93	⁺1.07	⁺1.30	⁺136.78	⁺1.77	⁺105.12	TMO‑Non	UNK‑Non	⁺33.46	TMO‑Non	TMO‑Non	TMO‑Non
`SWB046+1`	⁺0.36	⁺3.30	⁺2.66	⁺2.72	⁺2.67	⁺36.68	⁺99.38	⁺1.24	TMO‑Non	⁺0.89	TMO‑Non	TMO‑Non	TMO‑Non	⁺62.71
`SWV489+3`	⁺4.97	⁺1.28	⁺4.54	⁺2.96	⁺4.49	TMO‑Non	⁺99.68	⁺5.25	TMO‑Non	⁺55.08	⁺46.40	TMO‑Non	TMO‑Non	TMO‑Non
`SWB083+1`	⁺0.31	⁺5.54	TMO‑Non	TMO‑Non	⁺9.34	TMO‑Non	⁺17.68	⁺0.61	⁺64.63	⁺0.88	⁺99.36	TMO‑Non	TMO‑Non	⁺59.96
`SWW874+1`	⁺0.57	UNK‑Non	⁺179.92	⁺0.60	⁺0.38	TMO‑Non	⁺0.45	⁺101.86	TMO‑Non	⁺64.82	⁺0.67	UNK‑Non	TMO‑Non	TMO‑Non
`ITP015+2`	⁺0.45	⁺0.52	⁺0.69	⁺0.92	⁺11.49	⁺21.89	⁺91.66	⁺30.99	⁺92.72	⁺45.93	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV091+1`	⁺1.19	⁺2.33	TMO‑Non	TMO‑Non	TMO‑Non	⁺25.96	TMO‑Non	⁺5.81	⁺26.17	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KLE023+1`	⁺1.32	⁺0.44	⁺6.87	⁺24.03	⁺6.46	⁺2.02	⁺23.26	TMO‑Non	TMO‑Non	UNK‑Non	⁺20.43	TMO‑Non	TMO‑Non	TMO‑Non
`SWB086+1`	⁺0.48	UNK‑Non	⁺1.75	⁺2.25	⁺2.02	⁺73.34	⁺99.50	⁺6.72	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW470+6`	⁺1.14	⁺9.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺14.69	TMO‑Non	⁺26.25	⁺49.62	UNK‑Non	⁺30.13	UNK‑Non	TMO‑Non	TMO‑Non
`COM140+1`	⁺1.06	⁺33.53	⁺4.02	⁺2.62	⁺2.86	⁺2.07	⁺2.51	TMO‑Non	⁺6.12	⁺1.41	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB004+1`	⁺0.33	⁺0.41	⁺0.50	⁺0.56	⁺0.55	⁺41.78	TMO‑Non	⁺150.89	⁺1.31	⁺0.84	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW339+1`	⁺0.62	⁺2.32	⁺15.09	⁺6.58	⁺10.73	TMO‑Non	⁺11.89	⁺4.63	⁺70.58	⁺3.51	⁺7.71	TMO‑Non	TMO‑Non	TMO‑Non
`GEO287+1`	⁺0.87	⁺26.52	⁺3.72	⁺6.38	⁺5.77	⁺34.81	⁺6.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW348+1`	⁺0.77	⁺2.19	⁺0.87	⁺2.91	⁺0.89	⁺143.14	⁺10.61	⁺5.61	⁺0.99	⁺1.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM575+3`	⁺1.76	⁺6.78	⁺4.73	⁺3.46	⁺5.03	⁺2.63	⁺20.38	⁺10.19	⁺96.11	⁺9.52	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR159+1`	⁺0.85	⁺0.78	⁺1.20	⁺1.22	⁺1.20	⁺137.78	⁺3.90	⁺4.68	⁺0.92	⁺2.83	⁺99.97	TMO‑Non	TMO‑Non	TMO‑Non
`SCT121+1`	⁺0.36	⁺0.47	⁺11.42	⁺16.10	⁺11.60	TMO‑Non	⁺97.41	⁺7.30	⁺3.01	UNK‑Non	⁺27.27	⁺159.94	TMO‑Non	TMO‑Non
`SWW350+1`	⁺0.66	⁺2.17	⁺0.93	⁺1.05	⁺1.16	TMO‑Non	⁺6.33	⁺3.52	⁺32.08	⁺1.82	TMO‑Non	TMO‑Non	TMO‑Non	⁺169.73
`SCT135+1`	⁺0.35	UNK‑Non	⁺0.40	⁺0.51	TMO‑Non	TMO‑Non	TMO‑Non	⁺49.29	⁺91.09	⁺0.65	⁺31.65	TMO‑Non	TMO‑Non	TMO‑Non
`SWW252+1`	⁺2.58	⁺3.99	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺17.51	⁺19.08	⁺16.44	⁺1.82	⁺45.71	TMO‑Non	TMO‑Non
`SWB062+1`	⁺0.46	⁺3.49	⁺3.09	⁺2.84	⁺3.64	⁺28.79	⁺100.77	⁺85.62	TMO‑Non	⁺0.94	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC395+1`	⁺0.62	⁺0.76	⁺0.62	⁺0.61	⁺0.59	⁺18.21	⁺0.66	TMO‑Non	TMO‑Non	UNK‑Non	⁺20.79	TMO‑Non	TMO‑Non	TMO‑Non
`REL033+3`	⁺23.22	UNK‑Non	⁺49.24	⁺34.97	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP745+1`	⁺7.04	UNK‑Non	⁺48.76	⁺33.95	⁺51.22	TMO‑Non	⁺59.29	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL021+1`	⁺6.65	⁺1.46	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺135.34	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`AGT011+2`	⁺1.46	⁺12.89	TMO‑Non	TMO‑Non	⁺24.97	⁺37.26	⁺110.06	⁺4.94	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺116.33	TMO‑Non
`SWB010+1`	⁺0.34	UNK‑Non	⁺0.43	⁺0.60	⁺32.85	UNK‑Non	TMO‑Non	⁺0.73	⁺66.54	⁺1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926+4`	⁺1.17	⁺2.23	TMO‑Non	TMO‑Non	TMO‑Non	⁺137.11	TMO‑Non	⁺0.73	TMO‑Non	UNK‑Non	⁺9.28	UNK‑Non	TMO‑Non	TMO‑Non
`GEO511+1`	⁺4.67	UNK‑Non	⁺1.12	⁺1.62	⁺1.32	⁺43.62	⁺108.71	TMO‑Non	TMO‑Non	UNK‑Non	⁺26.92	TMO‑Non	TMO‑Non	⁺78.22
`CSR038+5`	⁺23.65	⁺23.29	⁺12.10	⁺14.64	⁺18.69	TMO‑Non	⁺11.70	⁺5.60	⁺69.67	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GRA011+1`	⁺1.18	UNK‑Non	⁺5.42	⁺3.34	⁺5.40	TMO‑Non	⁺6.24	TMO‑Non	⁺8.85	UNK‑Non	⁺97.47	TMO‑Non	TMO‑Non	TMO‑Non
`NUM860+1`	⁺1.11	⁺4.24	⁺6.52	⁺3.71	⁺5.31	⁺28.21	⁺5.33	TMO‑Non	TMO‑Non	UNK‑Non	⁺0.66	TMO‑Non	TMO‑Non	TMO‑Non
`NUM488+1`	⁺32.59	UNK‑Non	⁺2.99	⁺4.73	⁺10.91	TMO‑Non	⁺30.42	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL898+1`	⁺11.02	UNK‑Non	⁺0.70	⁺0.83	⁺0.71	TMO‑Non	⁺0.89	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL555+1`	⁺1.81	⁺5.98	⁺1.85	⁺1.19	⁺0.84	⁺100.18	⁺1.55	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL036+1`	⁺14.05	⁺27.73	TMO‑Non	TMO‑Non	UNK‑Non	⁺134.42	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM148+1`	⁺2.33	⁺6.20	⁺84.34	⁺84.62	⁺160.74	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺83.51	⁺20.60	UNK‑Non	TMO‑Non	TMO‑Non
`SWB027+1`	⁺0.63	⁺4.30	⁺0.50	⁺0.55	⁺5.34	⁺32.27	⁺27.27	⁺38.90	TMO‑Non	⁺3.88	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.98
`AGT022+2`	⁺1.08	⁺1.44	TMO‑Non	TMO‑Non	TMO‑Non	⁺47.79	TMO‑Non	⁺4.73	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW231+1`	⁺60.22	UNK‑Non	⁺8.98	⁺9.72	⁺18.53	⁺31.23	TMO‑Non	⁺21.96	TMO‑Non	UNK‑Non	⁺5.10	TMO‑Non	TMO‑Non	TMO‑Non
`CSR033+4`	⁺1.24	⁺2.30	⁺1.45	⁺1.49	⁺1.75	⁺166.12	TMO‑Non	⁺0.88	⁺6.73	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL501+1`	⁺2.48	UNK‑Non	⁺40.03	⁺26.42	UNK‑Non	TMO‑Non	⁺44.84	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺100.30	TMO‑Non	TMO‑Non
`SCT158+1`	⁺0.34	UNK‑Non	⁺0.38	⁺0.54	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.53	⁺27.35	TMO‑Non	TMO‑Non	TMO‑Non
`SWW477+7`	⁺1.60	⁺4.34	⁺3.12	⁺3.45	⁺12.81	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺4.15	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO495+1`	⁺9.61	UNK‑Non	⁺2.30	⁺2.38	⁺2.26	TMO‑Non	⁺1.50	TMO‑Non	TMO‑Non	UNK‑Non	⁺3.73	TMO‑Non	TMO‑Non	TMO‑Non
`CSR057+5`	⁺10.82	⁺17.34	⁺11.43	⁺17.25	⁺10.16	TMO‑Non	⁺9.88	⁺5.63	⁺92.02	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL900+1`	⁺142.02	UNK‑Non	⁺1.44	⁺0.82	⁺0.77	TMO‑Non	⁺0.98	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`TOP024+3`	⁺1.91	UNK‑Non	⁺2.09	⁺2.31	⁺1.71	TMO‑Non	⁺7.29	⁺39.53	TMO‑Non	⁺31.62	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB080+1`	⁺0.56	⁺2.68	⁺2.00	⁺2.08	⁺3.05	⁺65.21	⁺100.16	⁺91.57	TMO‑Non	⁺38.53	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU418+4`	⁺4.30	UNK‑Non	⁺10.48	⁺12.49	⁺8.84	TMO‑Non	⁺12.56	TMO‑Non	⁺23.86	⁺72.16	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT117+1`	⁺1.05	⁺25.68	⁺79.54	⁺77.31	⁺74.28	⁺43.58	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺8.11	TMO‑Non	TMO‑Non	TMO‑Non
`SWB105+1`	⁺1.02	UNK‑Non	⁺23.22	⁺11.19	TMO‑Non	⁺41.16	TMO‑Non	⁺3.05	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO514+1`	⁺1.30	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺25.93	TMO‑Non	TMO‑Non	TMO‑Non
`LCL558+1`	⁺6.01	⁺14.88	⁺1.64	⁺1.08	⁺1.27	⁺106.90	⁺1.73	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474+7`	⁺0.79	UNK‑Non	⁺47.72	⁺15.12	⁺60.70	⁺47.17	TMO‑Non	⁺4.96	⁺13.54	UNK‑Non	⁺172.38	TMO‑Non	TMO‑Non	TMO‑Non
`ITP004+5`	⁺3.78	UNK‑Non	⁺43.45	⁺33.94	⁺43.47	TMO‑Non	⁺47.63	⁺28.12	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`HWV090+1`	⁺1.85	⁺2.56	TMO‑Non	TMO‑Non	TMO‑Non	⁺68.24	TMO‑Non	⁺3.81	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW096+1`	⁺3.50	⁺1.15	⁺82.56	TMO‑Non	⁺58.48	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺69.08	TMO‑Non	TMO‑Non	TMO‑Non
`SWB067+1`	⁺0.33	UNK‑Non	⁺178.76	⁺141.05	⁺139.90	UNK‑Non	TMO‑Non	⁺0.73	TMO‑Non	⁺1.24	⁺4.30	TMO‑Non	TMO‑Non	TMO‑Non
`SCT157+1`	⁺0.36	UNK‑Non	⁺4.05	⁺2.93	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.07	⁺1.49	TMO‑Non	TMO‑Non	TMO‑Non
`GEO447+1`	⁺1.01	⁺10.44	⁺32.44	⁺57.55	⁺33.06	TMO‑Non	TMO‑Non	⁺33.97	⁺3.40	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SYN076+1`	⁺1.10	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺12.04	TMO‑Non	TMO‑Non	TMO‑Non
`SWW966+1`	⁺2.26	UNK‑Non	⁺4.07	⁺4.53	⁺7.04	⁺148.83	⁺3.61	TMO‑Non	⁺0.40	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU406+4`	⁺3.17	⁺22.81	⁺6.07	⁺6.36	⁺6.25	TMO‑Non	⁺7.88	TMO‑Non	⁺12.19	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP644+4`	⁺1.81	UNK‑Non	⁺2.90	⁺2.84	⁺2.90	TMO‑Non	⁺10.51	TMO‑Non	⁺10.87	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL888+1`	⁺1.32	UNK‑Non	⁺2.47	⁺2.56	⁺3.91	TMO‑Non	⁺11.87	TMO‑Non	⁺65.17	UNK‑Non	⁺130.07	UNK‑Non	TMO‑Non	TMO‑Non
`SET661+3`	⁺0.49	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.12	TMO‑Non	TMO‑Non	TMO‑Non	⁺23.76	TMO‑Non	⁺73.39	TMO‑Non	TMO‑Non
`LAT287+3`	⁺0.83	⁺22.94	⁺42.24	⁺32.49	⁺43.96	TMO‑Non	⁺57.77	⁺73.09	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB050+1`	⁺0.36	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺33.72	TMO‑Non	⁺5.12	TMO‑Non	⁺0.92	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB098+1`	⁺0.49	UNK‑Non	TMO‑Non	TMO‑Non	⁺12.80	TMO‑Non	TMO‑Non	⁺70.71	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB064+1`	⁺0.36	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺56.81	TMO‑Non	⁺0.75	TMO‑Non	⁺1.16	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW206+1`	⁺0.53	⁺0.52	⁺4.22	⁺5.07	⁺5.33	TMO‑Non	⁺49.03	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB066+1`	⁺0.59	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺87.17	TMO‑Non	⁺3.01	TMO‑Non	⁺1.35	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET672+3`	TMO‑Non	⁺34.60	⁺16.65	⁺18.58	⁺17.58	TMO‑Non	⁺145.43	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB104+1`	⁺0.90	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP666+6`	TMO‑Non	UNK‑Non	⁺71.47	⁺75.00	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺96.75	TMO‑Non	TMO‑Non
`TOP040+1`	⁺1.47	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺39.02	TMO‑Non	TMO‑Non	TMO‑Non
`GRP779+1`	⁺7.24	⁺4.96	⁺19.19	⁺27.09	⁺43.32	⁺160.34	⁺21.68	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺12.44	TMO‑Non	TMO‑Non
`ITP004+4`	⁺0.80	⁺8.36	⁺63.47	⁺80.06	⁺10.76	TMO‑Non	⁺50.39	⁺0.94	⁺68.45	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺12.88
`SWW900+1`	⁺0.86	UNK‑Non	⁺5.40	⁺7.88	⁺5.84	TMO‑Non	⁺4.51	⁺57.75	⁺35.72	UNK‑Non	⁺26.81	UNK‑Non	TMO‑Non	TMO‑Non
`SWB082+1`	⁺0.56	UNK‑Non	TMO‑Non	TMO‑Non	⁺13.11	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET737+4`	⁺1.29	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO293+1`	⁺5.43	⁺13.66	TMO‑Non	TMO‑Non	⁺59.30	⁺47.23	TMO‑Non	⁺28.13	⁺101.73	UNK‑Non	⁺78.03	UNK‑Non	TMO‑Non	TMO‑Non
`GEO536+1`	⁺21.34	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺37.93	TMO‑Non	UNK‑Non	⁺27.21	TMO‑Non	TMO‑Non	TMO‑Non
`SCT153+1`	⁺0.99	⁺0.42	TMO‑Non	⁺78.93	TMO‑Non	⁺34.74	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺31.32	TMO‑Non	TMO‑Non	TMO‑Non
`SWB013+1`	⁺0.81	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺5.68	⁺2.05	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB069+1`	⁺0.34	UNK‑Non	⁺0.51	⁺0.64	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺91.75	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO004+1`	⁺1.94	UNK‑Non	⁺72.52	TMO‑Non	⁺99.64	⁺20.15	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺63.24	TMO‑Non	TMO‑Non	TMO‑Non
`LCL473+1`	⁺5.93	⁺11.26	⁺110.42	⁺