Results

Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ EPT EPS CML

Results for THF (Higher-order Theorems)

Higher-order Theorems	Satallax 3.2	Satallax 3.3	Leo‑III 1.3	LEO‑II 1.7.0
`SEU807^2`	⁺23.57	⁺23.58	⁺5.57	⁺0.05
`SYO514^1`	UNK‑Non	UNK‑Non	⁺7.39	⁺0.01
`SYO226^5`	⁺0.01	⁺0.04	TMO‑Non	⁺0.04
`SEV164^5`	⁺0.88	⁺0.89	⁺7.78	⁺0.04
`SEU909^5`	⁺0.01	⁺0.01	⁺17.47	TMO‑Non
`SYO300^5`	⁺0.94	⁺0.94	⁺4.37	TMO‑Non
`SWV073^7`	⁺1.83	⁺1.78	⁺28.35	TMO‑Non
`SYO560^1`	⁺0.94	⁺0.98	⁺15.40	⁺106.36
`SEV006^5`	⁺0.01	⁺0.01	⁺7.77	⁺0.32
`LCL727^5`	⁺16.51	⁺16.54	⁺16.37	⁺0.01
`SYO068^4.010`	⁺0.94	⁺0.94	⁺5.44	⁺0.04
`SYO386^5`	⁺10.13	⁺9.96	⁺5.28	⁺0.38
`SWV085^7`	⁺1.50	⁺1.61	⁺26.41	TMO‑Non
`SYO377^5`	⁺0.01	⁺0.01	⁺4.41	TMO‑Non
`SET622^5`	⁺0.01	⁺0.01	⁺17.33	⁺0.05
`PUZ094^5`	⁺0.41	⁺0.39	⁺5.34	⁺0.42
`SET619^5`	⁺0.01	⁺0.01	⁺7.94	⁺0.05
`SYO169^5`	⁺36.01	⁺36.07	⁺4.83	⁺0.01
`CSR130^2`	⁺57.77	⁺57.46	⁺24.79	⁺32.93
`CSR144^1`	⁺0.93	⁺0.93	⁺278.84	TMO‑Non
`SEU522^1`	⁺24.19	⁺24.19	⁺16.35	⁺1.68
`SYO388^5`	⁺9.97	⁺10.00	⁺6.92	⁺1.20
`SEU523^1`	⁺23.52	⁺23.67	⁺22.53	⁺1.69
`SEV086^5`	⁺4.76	⁺4.88	⁺17.00	⁺6.29
`SEU657^2`	⁺0.93	⁺0.95	⁺4.94	⁺0.04
`SEV189^5`	⁺0.04	⁺0.01	TMO‑Non	TMO‑Non
`SEU585^2`	⁺108.36	⁺126.38	⁺5.57	⁺0.04
`SYO173^5`	⁺18.72	⁺18.61	⁺5.39	⁺0.05
`SYO362^5`	⁺1.61	⁺1.76	TMO‑Non	⁺2.07
`CSR131^1`	⁺38.41	⁺38.44	⁺144.72	TMO‑Non
`SEU786^1`	⁺37.72	⁺37.71	⁺170.80	TMO‑Non
`SEV218^5`	⁺6.12	⁺6.15	⁺4.95	⁺0.04
`ALG264^3`	⁺96.77	⁺112.06	⁺15.51	⁺1.79
`SEV245^6`	⁺0.01	⁺0.01	TMO‑Non	⁺25.13
`SEU508^1`	⁺0.04	⁺0.01	⁺19.61	TMO‑Non
`SYO391^5`	⁺6.65	⁺6.65	⁺6.06	⁺1.45
`NUM696^1`	⁺1.39	⁺0.94	⁺66.20	⁺0.01
`SYO364^5`	⁺101.01	⁺101.16	⁺6.44	⁺0.05
`SEU861^5`	⁺114.00	⁺114.10	⁺6.43	⁺0.05
`SYO311^5`	⁺21.86	⁺31.52	⁺9.98	⁺0.04
`SEU586^1`	⁺133.10	⁺132.87	⁺34.97	⁺13.32
`SYO180^5`	⁺0.95	⁺0.94	⁺5.00	⁺0.04
`SEU751^2`	⁺0.55	⁺0.55	⁺9.20	⁺0.01
`SYO179^5`	⁺3.04	⁺3.05	⁺5.00	⁺0.05
`SEV386^5`	⁺3.10	⁺3.41	⁺47.05	⁺0.04
`SYO026^1`	⁺0.01	⁺0.01	⁺6.72	⁺0.04
`SYO241^5`	⁺0.95	⁺0.94	⁺5.40	⁺132.79
`SEV238^5`	⁺16.48	⁺16.51	TMO‑Non	TMO‑Non
`PUZ092^5`	⁺0.41	⁺0.47	⁺5.16	⁺0.05
`SYO033^1`	UNK‑Non	UNK‑Non	⁺4.37	GUP‑Non
`SEV060^5`	⁺0.01	⁺0.01	⁺4.69	⁺0.04
`SYN036^5`	⁺0.94	⁺0.99	⁺4.51	⁺0.05
`SEU974^5`	⁺19.13	⁺19.17	⁺10.34	⁺4.28
`SYO387^5`	⁺8.29	⁺8.36	⁺5.94	⁺0.77
`SYO068^4.020`	⁺0.93	⁺0.94	⁺7.49	⁺0.04
`SEV091^5`	⁺0.01	⁺0.01	⁺4.63	⁺0.04
`NUM637^2`	⁺12.91	⁺12.95	⁺195.49	⁺150.28
`CSR134^1`	⁺16.99	⁺22.61	⁺9.93	⁺76.09
`CSR145^2`	⁺174.46	⁺174.45	⁺15.58	⁺89.10
`NUM762^1`	⁺18.55	⁺18.43	⁺5.27	⁺0.04
`SEU544^1`	⁺0.01	⁺0.01	⁺25.84	⁺3.59
`PUZ031^5`	⁺5.95	⁺5.93	⁺6.25	⁺0.87
`SET925^7`	⁺0.88	⁺0.88	⁺9.84	TMO‑Non
`SYO317^5`	⁺20.23	⁺20.22	⁺79.01	⁺0.01
`SEU844^5`	⁺0.94	⁺0.93	⁺4.24	⁺0.05
`SEV148^5`	⁺13.01	⁺13.22	⁺12.95	TMO‑Non
`SEV181^5`	⁺0.89	⁺0.89	⁺5.70	⁺133.73
`SEV254^5`	⁺1.69	⁺13.00	TMO‑Non	TMO‑Non
`SEU868^5`	⁺24.17	⁺24.07	TMO‑Non	TMO‑Non
`SEV083^5`	⁺4.85	⁺4.87	⁺4.85	⁺0.75
`SYN391^4`	⁺0.94	⁺0.94	⁺5.98	⁺7.26
`SEV052^5`	⁺4.84	⁺4.87	⁺4.42	⁺0.72
`SEU681^2`	⁺13.06	⁺13.03	⁺5.62	⁺0.04
`SYO310^5`	⁺4.81	⁺4.84	⁺3.62	⁺0.05
`PUZ081^1`	⁺16.56	⁺16.57	⁺4.63	⁺0.05
`SYO376^5`	⁺0.01	⁺0.01	⁺9.92	⁺0.04
`LCL630^1`	⁺76.50	⁺76.26	⁺5.99	⁺29.06
`SEV082^5`	⁺4.83	⁺4.80	⁺4.74	⁺0.77
`PUZ140^1`	⁺16.60	⁺16.57	⁺4.07	⁺0.01
`SYO287^5`	⁺32.45	⁺32.32	⁺6.11	TMO‑Non
`SEU821^1`	⁺1.41	⁺1.35	⁺190.66	TMO‑Non
`SEV095^5`	⁺2.08	⁺1.72	TMO‑Non	TMO‑Non
`GEG014^1`	⁺33.65	⁺33.49	⁺7.93	TMO‑Non
`SYO327^5`	⁺0.93	⁺0.93	TMO‑Non	TMO‑Non
`LCL877^2`	⁺38.84	⁺38.75	⁺6.67	⁺0.05
`CSR130^1`	⁺16.56	⁺16.58	⁺17.06	⁺0.04
`SEU725^2`	⁺15.94	⁺15.97	⁺7.31	⁺0.71
`SEV310^5`	⁺38.96	⁺38.97	TMO‑Non	⁺0.04
`SEU918^5`	⁺0.88	⁺0.88	⁺4.93	⁺50.09
`SEV156^5`	⁺108.06	⁺108.16	⁺14.87	TMO‑Non
`SYO064^4.002`	⁺1.00	⁺0.95	⁺5.31	⁺0.04
`SYO288^5`	UNK‑Non	UNK‑Non	⁺6.26	TMO‑Non
`SEV273^5`	⁺18.40	⁺18.39	TMO‑Non	⁺0.36
`SYO174^5`	⁺2.72	⁺2.46	⁺5.56	TMO‑Non
`SEU712^1`	⁺9.15	⁺10.19	⁺94.60	TMO‑Non
`SEV154^5`	⁺107.98	⁺107.99	⁺23.68	TMO‑Non
`LCL623^1`	⁺0.92	⁺0.89	⁺4.85	⁺0.01
`SEV157^5`	⁺125.08	⁺125.18	⁺24.98	TMO‑Non
`SEU589^1`	⁺11.17	⁺11.18	⁺35.32	TMO‑Non
`SYO325^5`	⁺0.04	⁺0.01	TMO‑Non	TMO‑Non
`CSR138^2`	⁺266.64	⁺266.67	⁺24.60	⁺0.05
`SYO309^5`	UNK‑Non	UNK‑Non	⁺23.55	⁺56.49
`SEV166^5`	⁺0.94	⁺0.94	⁺5.33	⁺6.29
`SYO272^5`	⁺23.57	⁺23.55	⁺117.57	TMO‑Non
`SEV242^5`	⁺12.96	⁺12.97	⁺141.65	⁺146.41
`LCL728^5`	⁺16.53	⁺16.58	TMO‑Non	GUP‑Non
`SEU605^1`	⁺0.05	⁺0.05	⁺39.53	⁺24.17
`SEV155^5`	⁺107.90	⁺108.09	⁺64.62	TMO‑Non
`SEV065^5`	⁺0.01	⁺0.01	⁺8.74	⁺0.05
`SYO209^5`	⁺33.40	⁺33.45	⁺25.91	⁺44.71
`SEV040^5`	UNK‑Non	UNK‑Non	TMO‑Non	⁺3.98
`SEV084^5`	⁺4.82	⁺4.83	⁺5.18	⁺6.37
`SEU764^2`	⁺32.81	⁺32.86	⁺5.89	⁺0.05
`SYO324^5`	⁺0.93	⁺0.93	TMO‑Non	⁺26.02
`SYO064^4.003`	⁺0.94	⁺0.94	⁺5.51	⁺24.73
`SEU948^5`	⁺74.81	⁺74.84	⁺86.01	TMO‑Non
`SEV121^5`	⁺0.01	⁺0.05	⁺70.18	⁺0.01
`SEV153^5`	⁺108.49	⁺108.10	⁺21.79	TMO‑Non
`LCL594^1`	⁺0.04	⁺4.87	⁺6.15	⁺0.59
`SYO548^1`	⁺17.77	⁺17.67	⁺4.54	TMO‑Non
`SEU545^1`	⁺23.50	⁺23.52	⁺26.70	⁺3.78
`SYO334^5`	UNK‑Non	UNK‑Non	⁺12.00	⁺0.05
`SEU668^2`	⁺0.04	⁺0.01	⁺75.06	⁺130.64
`SEV246^6`	⁺39.22	⁺39.09	TMO‑Non	TMO‑Non
`SCT171^1`	⁺0.01	⁺0.01	⁺36.79	TMO‑Non
`SEV252^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU515^1`	⁺23.57	⁺23.52	⁺21.26	⁺0.78
`SEV085^5`	UNK‑Non	UNK‑Non	⁺75.03	TMO‑Non
`SEU902^5`	⁺12.86	⁺12.92	⁺5.69	⁺0.01
`SEV071^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWV107^7`	⁺2.29	⁺2.10	⁺33.35	TMO‑Non
`SEV243^5`	⁺98.81	⁺98.88	TMO‑Non	TMO‑Non
`SEU876^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU960^5`	⁺18.28	⁺18.23	⁺35.31	TMO‑Non
`SEU557^1`	⁺27.09	⁺27.09	⁺31.52	TMO‑Non
`SEV165^5`	⁺31.80	⁺31.51	⁺11.84	TMO‑Non
`AGT036^1`	TMO‑Non	TMO‑Non	⁺8.13	⁺0.04
`SEV400^5`	⁺31.53	⁺32.02	TMO‑Non	TMO‑Non
`SEU461^1`	⁺0.01	⁺0.01	⁺6.33	⁺0.04
`GRA028^1`	UNK‑Non	UNK‑Non	⁺297.78	TMO‑Non
`QUA004^1`	⁺16.86	⁺16.75	⁺8.40	⁺29.79
`SEV066^5`	⁺17.89	⁺22.61	TMO‑Non	TMO‑Non
`SCT171^2`	⁺0.01	⁺0.01	⁺51.46	TMO‑Non
`SEV064^5`	⁺17.57	⁺22.59	TMO‑Non	TMO‑Non
`SEU514^1`	⁺23.50	⁺23.52	⁺20.58	⁺0.71
`SEV072^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM925^2`	⁺49.22	⁺49.23	⁺28.85	⁺6.40
`SEV246^5`	⁺39.20	⁺39.09	TMO‑Non	TMO‑Non
`SYO534^1`	⁺0.01	⁺0.01	⁺4.95	⁺15.98
`SYO269^5`	⁺193.47	⁺194.03	TMO‑Non	TMO‑Non
`SEV057^5`	⁺0.94	⁺0.93	⁺12.22	TMO‑Non
`SEU939^5`	⁺192.45	⁺192.15	TMO‑Non	TMO‑Non
`LCL632^1`	⁺0.95	⁺0.94	⁺6.51	⁺68.69
`SEV244^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU745^1`	⁺3.26	⁺3.21	⁺111.44	TMO‑Non
`SEV244^6`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM417^1`	⁺0.01	⁺0.01	⁺234.95	TMO‑Non
`SEV113^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU649^2`	⁺15.22	⁺15.26	⁺4.95	⁺1.95
`GRA027^1`	⁺22.60	⁺22.61	TMO‑Non	TMO‑Non
`SET096^1`	⁺0.01	⁺0.01	⁺7.76	⁺0.01
`SYO332^5`	⁺16.56	UNK‑Non	TMO‑Non	GUP‑Non
`SEU735^1`	⁺41.51	⁺41.50	⁺112.23	TMO‑Non
`SEV414^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SYO064^4.001`	⁺0.93	⁺0.94	⁺4.52	⁺0.01
`SEV101^5`	⁺22.55	⁺22.54	TMO‑Non	TMO‑Non
`LCL873^1`	⁺0.04	⁺0.01	⁺7.50	⁺0.04
`SEV100^5`	⁺22.58	⁺22.61	TMO‑Non	TMO‑Non
`SYO540^1`	⁺0.01	⁺0.01	⁺5.34	⁺0.05
`SEV050^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU675^2`	⁺0.01	⁺0.01	⁺53.62	TMO‑Non
`GRA030^1`	⁺12.95	⁺13.06	TMO‑Non	TMO‑Non
`NUM798^1`	⁺1.90	⁺1.93	⁺3.69	⁺0.01
`SYO509^1`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SET741^4`	⁺222.75	⁺222.77	⁺5.83	⁺0.04
`MSC021^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL603^1`	⁺19.04	⁺19.08	⁺5.75	⁺0.04
`SEU940^5`	⁺23.52	UNK‑Non	TMO‑Non	TMO‑Non
`CSR150^2`	⁺11.56	⁺11.59	⁺8.00	⁺0.50
`SYO326^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU815^2`	⁺0.50	⁺0.51	⁺23.26	⁺0.04
`SEV068^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU718^1`	⁺7.42	⁺7.48	⁺103.53	TMO‑Non
`SYO329^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU705^2`	⁺22.06	⁺21.92	⁺6.55	TMO‑Non
`SEV312^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU684^2`	⁺0.03	⁺0.01	⁺6.55	TMO‑Non
`SEV069^6`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU997^5`	⁺38.58	⁺39.42	⁺7.64	⁺0.42
`SEV317^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`ALG279^5`	⁺0.94	⁺1.44	⁺4.95	⁺0.01
`SEV093^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL597^1`	⁺0.01	⁺0.04	⁺4.06	⁺0.41
`SEV305^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU613^2`	⁺0.05	⁺0.01	⁺5.10	TMO‑Non
`SEV305^6`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU945^5`	⁺0.90	⁺16.68	⁺4.67	⁺0.65
`SYO533^1`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM925^3`	⁺49.33	⁺49.38	⁺38.18	⁺23.65
`SYO312^5`	UNK‑Non	UNK‑Non	⁺11.57	TMO‑Non
`SYO016^1`	⁺0.01	⁺0.04	⁺15.06	TMO‑Non
`SEU695^2`	⁺0.01	⁺0.01	⁺6.10	TMO‑Non
`CSR126^2`	⁺11.52	⁺11.51	⁺14.14	⁺0.04
`SEU779^2`	⁺0.04	⁺0.04	⁺17.29	TMO‑Non
`SEU473^1`	⁺0.04	⁺0.04	⁺6.93	⁺10.17
`SET582^5`	⁺0.01	⁺0.01	⁺9.96	⁺0.04
`PHI002^2`	⁺0.95	⁺1.00	⁺7.20	⁺0.05
`SYO372^5`	⁺0.01	⁺0.05	⁺4.94	⁺0.01
`SEU571^1`	⁺1.07	⁺1.08	⁺29.31	⁺12.19
`SEV420^1`	⁺1.45	⁺1.44	⁺9.38	⁺0.05
`ALG267^1`	⁺144.87	⁺144.93	⁺18.56	TMO‑Non
`NUM830^5`	⁺0.95	⁺0.94	⁺4.36	⁺0.04
`SEU998^5`	⁺1.47	⁺1.07	⁺6.87	⁺0.43
`SYO038^1.003.003`	⁺1.41	⁺1.40	⁺4.07	⁺0.01
`ALG287^5`	⁺1.11	⁺0.94	⁺4.80	⁺0.01
`NUM651^1`	⁺1.07	⁺0.93	⁺5.32	⁺0.01
`SEU602^2`	⁺0.01	⁺0.01	⁺4.32	TMO‑Non
`SEU696^2`	⁺0.05	⁺0.04	⁺6.14	TMO‑Non
`SEU618^1`	⁺9.39	⁺9.12	⁺44.89	TMO‑Non
`ALG281^5`	⁺18.53	⁺18.37	⁺4.69	⁺0.04
`SWV425^2`	⁺0.01	⁺0.01	⁺25.54	⁺0.05
`SWW470^1`	⁺50.11	⁺50.21	⁺26.29	TMO‑Non
`SEU726^2`	⁺0.01	⁺0.05	⁺5.60	⁺0.05
`SYO053^2`	⁺2.37	⁺2.67	⁺5.04	⁺0.01
`SEU775^1`	⁺36.85	⁺37.11	⁺140.33	TMO‑Non
`SEU497^1`	⁺1.45	⁺1.45	⁺5.93	⁺0.05
`SYO066^4.002`	⁺2.12	⁺2.18	⁺6.07	⁺0.04
`SEU829^1`	⁺0.04	⁺0.01	⁺8.34	⁺0.04
`NUM662^1`	⁺1.07	⁺0.94	⁺4.20	⁺0.05
`SEU595^1`	⁺11.28	⁺11.19	⁺39.95	TMO‑Non
`SEU617^1`	⁺6.07	⁺6.04	⁺42.09	TMO‑Non
`ALG267^2`	⁺0.04	⁺0.04	⁺14.27	TMO‑Non
`CSR146^1`	⁺0.97	⁺0.93	⁺15.73	TMO‑Non
`SEU490^1`	⁺0.94	⁺0.94	⁺8.23	⁺266.57
`SYO148^5`	⁺0.01	⁺0.01	⁺7.03	⁺0.01
`SEU627^2`	⁺25.91	⁺25.89	⁺5.60	⁺0.04
`NUM801^1`	⁺38.44	⁺38.42	⁺8.26	⁺26.17
`NUN025^2`	⁺0.94	⁺0.93	⁺9.66	⁺0.01
`SEU625^2`	⁺24.75	⁺24.77	⁺5.68	⁺0.04
`SEU724^1`	⁺8.25	⁺8.29	⁺99.01	TMO‑Non
`SEU638^1`	⁺93.72	⁺93.81	⁺51.54	TMO‑Non
`NUM799^1`	⁺101.64	⁺101.71	⁺18.38	TMO‑Non
`SYO543^1`	⁺0.94	⁺1.00	⁺5.77	⁺0.63
`SET611^3`	⁺0.05	⁺0.01	⁺15.49	⁺0.04
`SEU723^1`	⁺7.50	⁺7.48	⁺130.70	TMO‑Non
`SEV428^1`	⁺0.89	⁺0.94	⁺11.70	⁺0.04
`SEU534^1`	⁺0.05	⁺0.01	⁺23.72	TMO‑Non
`DAT056^1`	⁺23.55	⁺23.56	⁺5.10	⁺0.01
`CSR148^2`	⁺11.17	⁺11.18	⁺13.33	⁺0.05
`LCL625^1`	⁺1.47	⁺1.51	⁺6.21	⁺25.86
`SEV208^5`	UNK‑Non	UNK‑Non	⁺13.25	TMO‑Non
`SEU633^1`	⁺11.19	⁺11.30	⁺50.63	TMO‑Non
`SEU643^2`	⁺108.05	⁺107.91	⁺12.75	TMO‑Non
`CSR119^2`	⁺11.57	⁺11.57	⁺14.12	⁺0.04
`SEU488^1`	⁺0.94	⁺0.94	⁺52.53	TMO‑Non
`SEU601^1`	⁺11.15	⁺11.18	⁺38.72	TMO‑Non
`SEU486^1`	⁺0.93	⁺0.93	⁺67.74	TMO‑Non
`SEU652^1`	⁺2.09	⁺2.09	⁺56.55	TMO‑Non
`CSR120^2`	⁺11.53	⁺11.52	⁺12.83	⁺0.04
`SET623^5`	⁺0.01	⁺0.01	⁺30.55	⁺0.37
`LCL710^1`	⁺19.37	⁺19.32	⁺16.28	⁺0.04
`LCL715^1`	⁺19.48	⁺19.53	⁺27.49	⁺25.49
`SEU670^1`	⁺41.90	⁺41.97	⁺69.27	TMO‑Non
`SEU651^1`	⁺2.07	⁺2.10	⁺57.63	TMO‑Non
`SEU640^1`	⁺22.70	⁺22.75	⁺51.44	TMO‑Non
`NLP001^7`	⁺0.01	⁺0.01	⁺9.48	⁺171.57
`SEU801^1`	⁺41.98	⁺41.04	⁺166.55	TMO‑Non
`SYO025^1`	⁺0.01	⁺0.01	⁺4.37	⁺0.04
`SEU598^1`	⁺2.08	⁺1.98	⁺29.51	⁺25.38
`SEU588^1`	⁺1.08	⁺1.06	⁺33.20	TMO‑Non
`SEU615^1`	⁺198.00	⁺198.54	⁺37.81	⁺31.65
`SEU698^1`	⁺22.70	⁺22.71	⁺88.46	TMO‑Non
`SEU933^5`	⁺23.73	⁺23.87	⁺278.29	TMO‑Non
`SEU754^1`	⁺38.75	⁺38.82	⁺135.76	TMO‑Non
`NUM686^1`	UNK‑Non	UNK‑Non	⁺4.79	TMO‑Non
`SYO271^5`	⁺0.01	⁺0.01	⁺7.97	⁺0.01
`SEU793^2`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEV108^5`	⁺0.42	⁺0.42	⁺6.79	TMO‑Non
`SET576^7`	⁺0.94	⁺0.93	⁺7.15	⁺0.04
`SEV261^5`	⁺12.98	⁺13.20	⁺78.13	⁺0.04
`CSR150^3`	⁺15.24	⁺15.32	⁺22.19	72.68
`AGT034^1`	⁺35.02	⁺34.92	⁺7.35	⁺0.05
`SEV001^5`	⁺39.55	⁺39.52	⁺72.49	⁺47.81
`SEU677^2`	⁺0.01	⁺0.01	⁺47.53	TMO‑Non
`AGT033^2`	⁺0.93	⁺0.93	⁺6.98	⁺0.05
`SET575^7`	⁺0.01	⁺0.01	⁺8.28	TMO‑Non
`SEV210^5`	UNK‑Non	UNK‑Non	⁺18.55	TMO‑Non
`SEU577^1`	⁺2.98	⁺3.00	⁺27.90	TMO‑Non
`SEU574^1`	⁺4.11	⁺4.05	⁺53.13	TMO‑Non
`ALG251^2`	⁺92.92	⁺93.32	⁺15.44	⁺1.38
`NUM924^2`	⁺69.89	⁺70.01	⁺28.13	⁺6.60
`SEU711^1`	⁺50.26	⁺50.21	⁺145.28	TMO‑Non
`CSR128^2`	⁺4.98	⁺4.98	⁺9.37	TMO‑Non
`SEU621^1`	⁺6.09	⁺6.10	⁺45.20	TMO‑Non
`SEU469^1`	⁺1.48	⁺1.92	⁺7.05	⁺0.04
`SEU702^1`	⁺43.27	⁺43.27	⁺169.03	TMO‑Non
`SEU613^1`	⁺37.87	⁺37.87	TMO‑Non	TMO‑Non
`SEU769^1`	⁺40.76	⁺40.74	⁺122.25	TMO‑Non
`SEU671^1`	⁺11.52	⁺11.51	⁺68.16	TMO‑Non
`SEU816^1`	⁺0.41	⁺0.41	⁺171.85	TMO‑Non
`SWV097^7`	⁺22.67	⁺22.69	⁺29.49	TMO‑Non
`SEU736^1`	⁺1.17	⁺1.18	⁺117.53	TMO‑Non
`SYO062^4.003`	UNK‑Non	UNK‑Non	⁺5.01	⁺0.04
`SEU687^2`	⁺47.54	⁺47.70	⁺7.27	TMO‑Non
`SEU546^1`	⁺93.87	⁺93.75	⁺29.08	⁺4.33
`SEU510^1`	⁺70.12	⁺69.72	⁺17.42	TMO‑Non
`SEU727^1`	⁺0.04	⁺0.04	⁺103.09	TMO‑Non
`SEU751^1`	⁺41.16	⁺41.16	⁺127.99	TMO‑Non
`SEU857^5`	⁺0.05	⁺0.01	⁺33.97	⁺0.40
`SEV223^5`	⁺13.39	⁺12.98	TMO‑Non	⁺106.57
`CSR134^2`	⁺38.20	⁺38.58	⁺32.43	⁺51.88
`PUZ108^5`	⁺18.36	⁺18.41	⁺8.08	TMO‑Non
`SEU632^1`	⁺1.01	⁺1.04	⁺48.95	TMO‑Non
`SEU753^2`	⁺0.04	⁺0.31	⁺17.71	TMO‑Non
`SEU704^2`	UNK‑Non	UNK‑Non	⁺64.63	TMO‑Non
`SWV426^4`	⁺0.01	⁺0.01	⁺26.11	⁺0.01
`SEU653^1`	⁺3.25	⁺3.07	⁺63.23	TMO‑Non
`ALG017^7`	⁺90.95	⁺90.93	⁺83.24	TMO‑Non
`SEV124^5`	⁺0.05	⁺0.05	TMO‑Non	⁺0.41
`SEU634^1`	⁺52.05	⁺52.03	⁺50.33	TMO‑Non
`SEU824^2`	⁺0.01	⁺0.04	⁺6.57	TMO‑Non
`SEU639^1`	⁺38.32	⁺38.37	⁺50.53	TMO‑Non
`LCL693^1`	⁺43.32	⁺43.38	⁺9.60	⁺0.05
`SEU737^1`	⁺2.21	⁺2.29	⁺112.46	TMO‑Non
`CSR141^2`	⁺34.34	⁺34.50	TMO‑Non	⁺0.87
`SEU646^1`	⁺0.04	⁺0.04	⁺50.64	TMO‑Non
`CSR143^2`	⁺116.52	⁺116.55	⁺51.68	TMO‑Non
`NUM926^1`	⁺91.14	⁺91.16	⁺14.43	TMO‑Non
`ALG273^5`	UNK‑Non	UNK‑Non	⁺8.01	⁺0.04
`SEU730^1`	⁺0.04	⁺0.04	TMO‑Non	TMO‑Non
`SEV123^5`	⁺1.39	⁺0.94	TMO‑Non	⁺15.57
`SEU796^1`	⁺172.93	⁺172.99	⁺146.46	TMO‑Non
`MSC025^2`	⁺0.05	⁺0.05	⁺13.56	TMO‑Non
`ALG258^2`	TMO‑Non	TMO‑Non	⁺14.97	⁺1.30
`SEU610^1`	⁺3.07	⁺3.11	⁺42.11	TMO‑Non
`SEU689^2`	⁺0.04	⁺0.04	⁺65.91	TMO‑Non
`SEU716^1`	⁺9.42	⁺9.40	⁺95.44	TMO‑Non
`SEV087^5`	⁺4.80	⁺4.81	⁺10.00	⁺152.44
`SEU691^2`	⁺108.04	⁺107.96	⁺8.12	TMO‑Non
`ALG271^5`	UNK‑Non	UNK‑Non	⁺5.67	⁺0.05
`PHI002^1`	⁺1.39	⁺1.35	⁺13.05	⁺0.04
`NUM816^5`	⁺18.57	⁺18.52	⁺11.71	⁺150.18
`AGT035^2`	⁺4.58	⁺4.69	⁺7.10	⁺0.05
`NUM926^2`	⁺92.57	⁺92.61	⁺28.53	TMO‑Non
`SEV119^5`	⁺6.04	⁺6.03	⁺116.80	TMO‑Non
`NUM766^1`	UNK‑Non	UNK‑Non	⁺7.43	⁺2.86
`SYO245^5`	⁺23.50	⁺23.52	TMO‑Non	GUP‑Non
`SEU625^1`	⁺37.19	⁺37.20	⁺49.95	TMO‑Non
`NUM817^5`	⁺18.72	⁺18.67	⁺36.36	⁺150.13
`NUM635^4`	⁺92.69	⁺92.61	TMO‑Non	TMO‑Non
`ALG290^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SYO224^5`	⁺16.58	⁺16.59	⁺31.38	⁺79.38
`SEU708^1`	⁺40.74	⁺40.85	⁺95.00	TMO‑Non
`SEV300^5`	⁺13.01	⁺13.02	⁺46.07	⁺22.78
`SEV141^5`	⁺7.38	⁺7.52	TMO‑Non	TMO‑Non
`QUA006^1`	UNK‑Non	UNK‑Non	⁺24.67	⁺144.87
`CSR131^2`	⁺38.02	⁺38.61	TMO‑Non	⁺64.36
`PHI004^2`	⁺38.46	⁺38.38	⁺6.81	TMO‑Non
`SEV080^5`	⁺1.88	⁺12.98	TMO‑Non	TMO‑Non
`CSR152^3`	⁺11.72	⁺11.63	⁺22.76	87.28
`SEU777^1`	⁺36.96	⁺36.92	⁺158.21	TMO‑Non
`ALG258^1`	TMO‑Non	TMO‑Non	⁺12.33	⁺2.04
`SEU639^2`	⁺107.65	⁺107.67	⁺9.28	TMO‑Non
`SEU756^1`	⁺3.39	⁺3.43	⁺147.26	TMO‑Non
`SWV430^2`	⁺0.01	⁺0.04	⁺22.56	⁺0.01
`ALG251^3`	⁺214.91	⁺215.00	⁺88.19	TMO‑Non
`SEU776^1`	⁺37.19	⁺36.94	⁺145.35	TMO‑Non
`SWV426^2`	⁺12.84	⁺12.95	⁺78.98	⁺0.05
`SEU874^5`	⁺131.46	⁺131.55	TMO‑Non	TMO‑Non
`SEV128^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU715^1`	⁺10.35	⁺10.39	TMO‑Non	TMO‑Non
`SEV267^5`	⁺219.77	⁺72.17	TMO‑Non	TMO‑Non
`SEU703^2`	UNK‑Non	UNK‑Non	⁺145.35	TMO‑Non
`SEU690^1`	⁺8.78	⁺8.78	TMO‑Non	TMO‑Non
`NUM926^3`	⁺283.43	⁺283.02	⁺48.37	TMO‑Non
`NUM637^1`	UNK‑Non	UNK‑Non	⁺150.68	⁺0.04
`AGT031^2`	UNK‑Non	UNK‑Non	⁺7.15	⁺0.04
`SET597^5`	⁺12.99	⁺12.89	TMO‑Non	⁺25.22
`SEU604^1`	⁺1.04	⁺1.06	⁺37.59	TMO‑Non
`SEU811^1`	⁺38.36	⁺38.31	⁺206.91	TMO‑Non
`SEU700^1`	⁺42.24	⁺42.28	⁺152.40	TMO‑Non
`SEU805^1`	⁺38.40	⁺38.40	⁺199.36	TMO‑Non
`PHI003^1`	⁺12.85	⁺12.86	TMO‑Non	⁺0.04
`QUA012^1`	UNK‑Non	UNK‑Non	⁺42.07	TMO‑Non
`SEU658^1`	⁺0.04	⁺0.05	⁺58.24	TMO‑Non
`SET598^5`	⁺13.02	⁺13.01	TMO‑Non	⁺0.65
`ALG276^5`	UNK‑Non	UNK‑Non	⁺6.48	⁺0.74
`NUN023^1`	⁺111.48	⁺111.66	⁺17.83	TMO‑Non
`SEU579^1`	⁺1.00	⁺1.00	⁺32.20	TMO‑Non
`SYO515^1`	⁺0.04	⁺0.05	TMO‑Non	TMO‑Non
`SEV010^5`	UNK‑Non	UNK‑Non	⁺142.31	⁺0.51
`SYO249^5`	UNK‑Non	UNK‑Non	⁺9.53	⁺0.42
`ALG292^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`PHI005^2`	⁺12.97	⁺12.98	TMO‑Non	⁺0.01
`ANA127^1`	TMO‑Non	TMO‑Non	⁺79.01	GUP‑Non
`CSR144^2`	⁺175.84	⁺175.97	TMO‑Non	TMO‑Non
`SEU929^5`	⁺18.30	⁺18.30	TMO‑Non	TMO‑Non
`SEU677^1`	⁺266.57	⁺266.63	TMO‑Non	TMO‑Non
`CSR119^3`	⁺11.74	⁺11.71	⁺22.18	86.92
`SEV167^5`	⁺13.11	⁺12.97	⁺34.39	⁺3.75
`SYN393^4.004`	⁺22.61	⁺22.42	TMO‑Non	TMO‑Non
`SWV436^4`	⁺12.88	⁺12.91	⁺27.15	⁺0.04
`SEU483^1`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR149^3`	⁺11.94	⁺11.99	⁺31.10	88.00
`SEU466^1`	⁺0.01	⁺0.04	⁺135.11	TMO‑Non
`SEU813^1`	⁺41.45	⁺41.55	⁺172.60	TMO‑Non
`SEU655^2`	⁺107.96	⁺108.05	TMO‑Non	TMO‑Non
`SEU704^1`	⁺37.69	⁺37.69	TMO‑Non	TMO‑Non
`SEU681^1`	⁺5.37	⁺5.38	⁺135.14	TMO‑Non
`PHI004^1`	⁺38.43	⁺38.46	⁺177.80	⁺30.63
`SEU627^1`	TMO‑Non	TMO‑Non	⁺49.50	TMO‑Non
`SEV190^5`	⁺12.86	⁺12.93	TMO‑Non	TMO‑Non
`NUM641^4`	⁺266.21	⁺266.33	TMO‑Non	TMO‑Non
`NUM695^4`	⁺38.74	⁺38.75	TMO‑Non	TMO‑Non
`SWV433^2`	⁺12.95	⁺12.96	TMO‑Non	⁺6.10
`SYO518^1`	UNK‑Non	UNK‑Non	⁺4.33	TMO‑Non
`NUM655^4`	⁺49.34	⁺49.38	TMO‑Non	TMO‑Non
`NUM736^4`	⁺22.89	⁺22.88	TMO‑Non	TMO‑Non
`SYO063^4`	⁺131.00	⁺131.04	⁺12.63	TMO‑Non
`SYO222^5`	⁺108.28	⁺108.37	⁺19.09	TMO‑Non
`NUM769^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEV295^5`	⁺12.92	⁺12.88	TMO‑Non	TMO‑Non
`NUM706^4`	⁺89.72	⁺89.99	TMO‑Non	TMO‑Non
`SEU968^5`	⁺74.84	⁺74.86	⁺22.64	TMO‑Non
`NUM694^4`	⁺0.05	⁺0.05	TMO‑Non	TMO‑Non
`SEV171^5`	⁺23.53	UNK‑Non	TMO‑Non	TMO‑Non
`SWW474^3`	TMO‑Non	TMO‑Non	⁺81.17	TMO‑Non
`PUZ142^1`	UNK‑Non	UNK‑Non	⁺5.79	TMO‑Non
`GEG003^1`	⁺13.10	⁺12.99	⁺86.68	TMO‑Non
`NUM657^4`	⁺49.40	⁺49.31	TMO‑Non	TMO‑Non
`QUA005^1`	UNK‑Non	UNK‑Non	⁺71.51	⁺148.82
`NUM702^4`	⁺277.16	⁺277.07	TMO‑Non	TMO‑Non
`NUM786^4`	⁺86.06	⁺86.15	TMO‑Non	TMO‑Non
`NUM808^5`	⁺14.11	⁺14.10	TMO‑Non	TMO‑Non
`SYO545^1`	⁺0.04	⁺0.04	⁺32.91	TMO‑Non
`NUM810^5`	⁺13.01	⁺13.00	TMO‑Non	TMO‑Non
`ANA126^1`	UNK‑Non	UNK‑Non	⁺31.36	GUP‑Non
`NUM653^4`	⁺49.36	⁺49.34	TMO‑Non	TMO‑Non
`SYO239^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM660^4`	⁺144.98	⁺145.05	TMO‑Non	TMO‑Non
`ALG253^1`	TMO‑Non	TMO‑Non	⁺13.14	TMO‑Non
`CSR133^2`	⁺148.85	TMO‑Non	⁺44.08	TMO‑Non
`SEV174^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL877^1`	⁺0.95	⁺0.94	TMO‑Non	⁺0.49
`NUM749^4`	⁺88.39	⁺88.52	TMO‑Non	TMO‑Non
`NUM809^5`	⁺13.06	⁺12.98	TMO‑Non	TMO‑Non
`NUM741^1`	UNK‑Non	UNK‑Non	⁺7.42	⁺38.32
`SYN377^7`	⁺63.84	⁺64.13	⁺67.95	TMO‑Non
`NUM707^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU969^5`	⁺18.50	⁺18.45	⁺13.35	TMO‑Non
`SEU780^1`	⁺37.73	⁺37.71	TMO‑Non	TMO‑Non
`SEU655^1`	⁺42.02	⁺41.99	TMO‑Non	TMO‑Non
`LCL692^1`	⁺12.98	⁺12.87	TMO‑Non	TMO‑Non
`LCL716^1`	UNK‑Non	UNK‑Non	TMO‑Non	⁺25.24
`SEU791^2`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM642^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEV005^5`	UNK‑Non	UNK‑Non	⁺7.72	TMO‑Non
`NUM636^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET557^6`	⁺31.57	⁺32.03	TMO‑Non	TMO‑Non
`SCT170^3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU953^5`	⁺152.14	UNK‑Non	⁺4.86	TMO‑Non
`SET914^7`	TMO‑Non	TMO‑Non	⁺80.09	⁺0.79
`SEU972^5`	⁺1.49	⁺1.48	TMO‑Non	TMO‑Non
`NUM726^4`	⁺61.77	⁺61.89	TMO‑Non	TMO‑Non
`NUM701^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT170^2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM669^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM654^4`	⁺86.49	⁺86.19	TMO‑Non	TMO‑Non
`SEU757^1`	⁺122.75	⁺122.75	TMO‑Non	TMO‑Non
`SEU729^1`	⁺37.73	⁺37.69	TMO‑Non	TMO‑Non
`NUM700^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYO246^5`	UNK‑Non	UNK‑Non	TMO‑Non	⁺0.04
`SEU779^1`	⁺41.18	⁺41.23	TMO‑Non	TMO‑Non
`SEV074^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM698^4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC007^1.003.004`	UNK‑Non	UNK‑Non	⁺22.35	TMO‑Non
`NUM665^4`	⁺37.61	⁺37.66	TMO‑Non	TMO‑Non
`SEU600^1`	⁺58.90	⁺56.08	TMO‑Non	TMO‑Non
`SEV170^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SYO069^4.004`	UNK‑Non	UNK‑Non	⁺68.17	⁺84.22
`SYO066^4.003`	⁺68.03	⁺68.22	⁺11.06	TMO‑Non
`SEU649^1`	⁺49.75	⁺49.69	TMO‑Non	TMO‑Non
`SEV021^6`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU683^1`	TMO‑Non	TMO‑Non	⁺158.64	TMO‑Non
`SEV150^5`	⁺162.88	⁺163.69	TMO‑Non	TMO‑Non
`SYO532^1`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEV143^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU815^1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET045^7`	⁺7.52	⁺7.56	⁺66.35	TMO‑Non
`SEU944^5`	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`NUM689^4`	⁺276.19	⁺277.07	TMO‑Non	TMO‑Non
`NUN024^1`	UNK‑Non	UNK‑Non	TMO‑Non	⁺8.79
`NUM738^4`	⁺87.41	⁺87.48	TMO‑Non	TMO‑Non
`SEU630^1`	⁺49.87	⁺49.85	TMO‑Non	TMO‑Non
`NUM666^4`	⁺37.22	⁺37.54	TMO‑Non	TMO‑Non
`SEU696^1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU938^5`	UNK‑Non	UNK‑Non	⁺74.46	TMO‑Non
`NUM690^4`	⁺275.92	⁺275.99	TMO‑Non	TMO‑Non
`NUM757^4`	⁺274.38	⁺274.49	TMO‑Non	TMO‑Non
`NLP004^7`	TMO‑Non	TMO‑Non	⁺16.68	TMO‑Non
Solved/500	406/500	401/500	355/500	213/500
Av. CPU Time	32.81	32.20	38.54	17.92
Av. WC Time	32.81	32.13	16.95	17.96
Solutions	406 81%	401 80%	355 71%	209 41%
μEfficiency	266	262	134	290
μWCEfficiency	287	286	59	290
SOTAC	0.33	0.33	0.35	0.29
Core Usage	0.99	0.97	2.62	0.76
New Solved	0/0	0/0	0/0	0/0

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

Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ EPT EPS CML

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

Typed First-order Theorems +*-/	Vampire 4.3	Vampire 4.1	CVC4 1.6pre	Princess 170717
`ARI721=1`	⁺0.04	⁺0.01	⁺0.05	TMO‑Non
`ARI593=1`	⁺0.05	⁺24.04	⁺0.05	1.11
`ARI727=1`	⁺0.01	⁺0.05	⁺0.04	TMO‑Non
`ARI583=1`	⁺27.39	⁺22.26	⁺0.01	⁺1.18
`ARI519=1`	⁺0.04	⁺0.04	⁺0.04	⁺2.83
`ARI585=1`	⁺2.22	⁺22.08	⁺0.05	⁺1.29
`ARI717=1`	⁺0.05	⁺0.01	⁺0.04	⁺13.50
`ARI605=1`	⁺0.05	⁺1.07	⁺0.01	⁺1.30
`ARI640=1`	⁺0.04	⁺0.04	⁺0.04	TMO‑Non
`ARI658=1`	⁺0.05	⁺0.05	⁺0.04	⁺1.35
`ARI631=1`	⁺0.58	⁺0.04	⁺4.50	TMO‑Non
`ARI656=1`	⁺0.57	⁺0.04	⁺0.05	TMO‑Non
`ARI730=1`	⁺0.05	⁺0.04	⁺0.05	TMO‑Non
`ARI662=1`	⁺3.12	⁺0.04	⁺0.04	⁺2.99
`ARI629=1`	⁺0.05	⁺0.01	⁺0.05	TMO‑Non
`ARI587=1`	⁺0.04	⁺0.05	⁺0.04	⁺1.08
`ARI742=1`	⁺0.04	⁺0.05	⁺0.05	⁺3.39
`ARI184=1`	⁺50.50	⁺66.00	⁺16.00	3.42
`NUM909=1`	⁺0.04	⁺0.02	⁺0.05	⁺3.46
`NUM919=1`	⁺0.05	⁺29.42	⁺0.04	⁺1.07
`ARI418=1`	⁺0.05	⁺0.01	⁺0.05	⁺0.98
`ARI584=1`	⁺0.33	⁺4.67	⁺0.05	⁺1.08
`ARI741=1`	⁺0.05	GUP‑Non	⁺0.04	⁺6.38
`ARI550=1`	⁺0.04	⁺0.01	⁺0.05	⁺0.99
`ARI410=1`	⁺0.05	⁺0.05	⁺0.01	⁺4.82
`ARI581=1`	⁺0.04	⁺0.05	⁺0.01	⁺1.01
`NUM913=1`	⁺0.05	⁺0.01	⁺0.01	⁺3.20
`ARI181=1`	GUP‑Non	⁺22.90	⁺0.06	⁺1.28
`ARI419=1`	⁺0.01	⁺0.01	⁺0.05	⁺0.97
`NUM920=1`	⁺0.05	⁺0.52	⁺0.01	⁺0.98
`ARI433=1`	⁺0.05	⁺0.05	⁺0.01	⁺2.58
`ARI577=1`	⁺0.04	⁺0.05	⁺0.04	⁺1.03
`ARI449=1`	⁺0.05	⁺0.01	⁺0.01	⁺4.50
`ARI580=1`	⁺0.04	⁺0.05	⁺0.05	⁺1.03
`ARI424=1`	⁺0.04	⁺0.05	⁺0.01	⁺2.67
`ARI586=1`	⁺0.04	⁺0.04	⁺0.05	⁺1.02
`NUM914=1`	⁺0.04	⁺0.40	⁺0.01	⁺2.99
`ARI120=1`	⁺1.71	⁺1.35	GUP‑Non	2.10
`ARI432=1`	⁺0.04	⁺0.04	⁺0.01	⁺7.88
`ARI701=1`	⁺0.05	⁺0.05	⁺0.05	⁺1.30
`ARI443=1`	⁺0.05	⁺0.01	⁺0.05	⁺1.05
`DAT075=1`	⁺82.10	⁺3.63	TMO‑Non	TMO‑Non
`ARI743=1`	⁺0.05	⁺0.01	⁺0.04	⁺3.85
`ARI707=1`	⁺0.05	⁺0.01	⁺0.05	⁺1.37
`ARI431=1`	⁺0.05	⁺0.05	⁺0.01	⁺4.62
`SWW638=2`	⁺23.76	⁺127.87	⁺0.04	⁺10.85
`ARI455=1`	⁺0.05	⁺0.05	⁺0.01	⁺1.10
`SWW636=2`	⁺157.24	⁺128.39	⁺0.50	⁺45.94
`ARI416=1`	⁺0.01	⁺0.01	⁺0.05	⁺1.07
`ARI700=1`	⁺0.57	⁺0.86	⁺0.05	⁺1.68
`ARI417=1`	⁺0.04	⁺0.04	⁺0.01	⁺0.95
`SWW663=2`	TMO‑Non	TMO‑Non	⁺0.36	⁺6.91
`ARI739=1`	⁺0.05	GUP‑Non	⁺0.01	⁺4.46
`ARI672=1`	⁺0.05	⁺0.05	⁺0.05	⁺1.32
`ARI448=1`	⁺0.04	⁺0.05	⁺0.01	⁺3.94
`SWW653=2`	⁺0.35	⁺0.92	⁺0.05	⁺3.94
`ARI435=1`	⁺0.05	⁺0.01	⁺0.04	⁺1.06
`ARI696=1`	⁺9.22	⁺0.48	⁺0.04	⁺1.97
`ARI579=3`	⁺0.05	⁺2.89	⁺0.01	⁺32.19
`SWW654=2`	⁺13.89	⁺26.63	⁺2.17	⁺10.72
`ARI716=1`	⁺0.01	⁺0.04	⁺0.06	TMO‑Non
`DAT073=1`	⁺0.04	⁺0.47	TMO‑Non	63.02
`ARI632=1`	⁺0.05	⁺0.48	⁺0.05	TMO‑Non
`SWW602=2`	⁺27.60	TMO‑Non	⁺1.44	⁺42.84
`ARI447=1`	⁺0.01	⁺0.05	⁺0.04	⁺0.97
`SWW612=2`	⁺20.37	GUP‑Non	⁺2.25	10.40
`ARI409=1`	⁺0.04	⁺0.06	⁺0.05	⁺1.10
`ARI710=1`	⁺0.05	⁺0.04	⁺0.05	⁺1.49
`ARI406=1`	⁺0.05	⁺0.04	⁺0.01	⁺4.70
`SWW632=2`	⁺0.05	⁺0.04	⁺45.54	⁺3.21
`ARI420=1`	⁺0.04	⁺0.05	⁺0.01	⁺4.76
`ARI711=1`	⁺2.20	⁺0.87	⁺0.04	⁺3.07
`ARI630=1`	⁺0.05	GUP‑Non	⁺0.04	TMO‑Non
`HWV089=1`	⁺1.47	⁺4.87	⁺25.55	TMO‑Non
`ARI491=1`	⁺0.05	⁺0.04	⁺0.01	⁺2.72
`ARI708=1`	⁺0.05	⁺0.86	⁺0.01	⁺1.46
`ARI566=1`	⁺0.04	⁺0.01	⁺0.01	⁺17.93
`DAT086=1`	⁺0.56	⁺0.05	⁺45.49	TMO‑Non
`ARI407=1`	⁺0.04	⁺0.05	⁺0.01	⁺4.22
`SWW676=1`	TMO‑Non	TMO‑Non	⁺61.15	13.84
`ARI458=1`	⁺0.05	⁺0.05	⁺0.01	⁺15.07
`DAT072=1`	⁺2.80	⁺2.84	⁺15.07	TMO‑Non
`ARI725=1`	⁺1.17	⁺42.32	⁺0.04	⁺13.68
`SWW573=2`	⁺172.49	⁺62.93	⁺0.75	⁺35.67
`ARI422=1`	⁺0.05	⁺0.05	⁺0.01	⁺4.77
`DAT078=1`	⁺78.01	⁺3.07	⁺19.23	TMO‑Non
`MSC023=2`	⁺0.01	⁺0.01	⁺15.11	TMO‑Non
`SWW583=2`	⁺27.42	⁺29.69	⁺0.44	⁺152.27
`ARI430=1`	⁺0.01	⁺0.01	⁺0.05	⁺0.98
`NUM865=1`	⁺0.04	⁺0.05	⁺0.01	⁺0.98
`ARI713=1`	⁺0.05	⁺0.05	⁺0.04	TMO‑Non
`NUM862=1`	⁺29.30	⁺2.91	TMO‑Non	92.00
`ARI423=1`	⁺0.05	⁺0.05	⁺0.01	⁺3.49
`SWW664=2`	⁺20.97	⁺0.99	⁺60.32	⁺8.66
`MSC022=2`	⁺0.01	⁺0.01	TMO‑Non	97.65
`ARI685=1`	⁺1.85	⁺0.47	⁺0.04	⁺1.98
`ARI495=1`	⁺0.01	⁺0.04	⁺0.01	⁺27.30
`SWW657=2`	⁺13.16	⁺2.49	⁺0.05	⁺4.58
`ARI639=1`	⁺0.04	GUP‑Non	⁺0.04	TMO‑Non
`SWW665=2`	TMO‑Non	TMO‑Non	⁺7.03	⁺12.76
`ARI719=1`	⁺0.04	⁺0.05	⁺0.04	⁺17.23
`NUM859=1`	⁺0.54	⁺2.97	⁺60.21	81.56
`ARI621=3`	⁺0.05	⁺0.05	⁺0.06	TMO‑Non
`SWW615=2`	⁺3.26	⁺0.05	⁺0.04	⁺15.04
`ARI421=1`	⁺0.05	⁺0.04	⁺0.01	⁺4.94
`ARI655=1`	⁺0.05	⁺0.06	⁺0.50	TMO‑Non
`ARI400=1`	⁺0.30	⁺0.05	⁺0.01	⁺0.96
`ARI576=1`	⁺0.63	TMO‑Non	⁺0.01	⁺1.08
`ARI726=1`	⁺0.67	⁺4.07	⁺0.05	TMO‑Non
`HWV045=1`	⁺81.51	⁺242.80	⁺181.28	TMO‑Non
`ARI744=1`	⁺1.72	⁺0.01	⁺30.29	⁺4.38
`SWW578=2`	TMO‑Non	TMO‑Non	⁺0.04	⁺101.49
`ARI445=1`	⁺0.01	⁺0.01	⁺0.05	⁺2.88
`HWV051=1`	⁺72.91	⁺240.49	⁺100.36	TMO‑Non
`ARI724=1`	⁺0.01	⁺0.05	⁺0.05	TMO‑Non
`HWV111=1`	⁺111.29	⁺68.45	⁺206.48	TMO‑Non
`ARI633=1`	TMO‑Non	TMO‑Non	⁺0.05	TMO‑Non
`SWW621=2`	TMO‑Non	TMO‑Non	⁺3.62	TMO‑Non
`ARI636=1`	⁺0.96	⁺20.94	⁺0.05	TMO‑Non
`HWV044=1`	TMO‑Non	⁺235.94	TMO‑Non	TMO‑Non
`ARI718=1`	⁺1.17	TMO‑Non	⁺0.05	TMO‑Non
`HWV047=1`	⁺87.46	⁺242.46	⁺232.94	TMO‑Non
`ARI738=1`	⁺0.04	⁺22.20	⁺0.04	TMO‑Non
`HWV043=1`	⁺110.29	⁺232.85	TMO‑Non	TMO‑Non
`ARI715=1`	⁺0.05	⁺0.01	⁺0.01	TMO‑Non
`SWW667=2`	TMO‑Non	TMO‑Non	⁺1.13	TMO‑Non
`ARI722=1`	⁺0.04	⁺0.05	⁺0.01	TMO‑Non
`SWW587=2`	⁺30.34	⁺26.70	⁺0.38	TMO‑Non
`ARI714=1`	⁺0.04	⁺0.05	⁺0.05	TMO‑Non
`ARI664=1`	⁺0.04	⁺0.05	⁺0.01	GUP‑Non
`ARI637=1`	⁺1.02	⁺0.01	⁺48.91	TMO‑Non
`ARI686=1`	⁺4.93	⁺0.05	TMO‑Non	⁺1.57
`ARI723=1`	⁺0.01	⁺0.04	⁺30.96	TMO‑Non
`SWW655=2`	⁺14.04	TMO‑Non	⁺0.04	⁺25.37
`ARI729=1`	⁺0.05	⁺0.01	⁺0.05	TMO‑Non
`ARI697=1`	⁺0.04	⁺1.40	⁺0.05	⁺1.40
`ARI733=1`	⁺1.21	TMO‑Non	⁺0.01	TMO‑Non
`SWW670=2`	⁺1.08	⁺5.31	⁺0.04	⁺26.29
`ARI634=1`	TMO‑Non	⁺0.04	⁺0.05	TMO‑Non
`HWV039=1`	⁺80.93	⁺242.75	⁺136.50	TMO‑Non
`ARI642=1`	⁺0.57	GUP‑Non	TMO‑Non	TMO‑Non
`ARI683=1`	⁺2.92	⁺0.47	TMO‑Non	TMO‑Non
`ARI732=1`	TMO‑Non	TMO‑Non	⁺0.01	TMO‑Non
`SWW598=2`	TMO‑Non	TMO‑Non	⁺0.05	⁺19.53
`ARI638=1`	TMO‑Non	⁺22.31	⁺46.13	TMO‑Non
`HWV050=1`	⁺71.72	⁺234.47	⁺100.56	TMO‑Non
`ARI728=1`	TMO‑Non	TMO‑Non	⁺0.01	TMO‑Non
`HWV087=1`	⁺111.75	⁺76.36	⁺120.86	TMO‑Non
`ARI641=1`	⁺0.49	GUP‑Non	TMO‑Non	TMO‑Non
`SWW640=2`	TMO‑Non	TMO‑Non	⁺0.04	TMO‑Non
`SWW574=2`	TMO‑Non	TMO‑Non	TMO‑Non	⁺202.27
`SWW659=2`	⁺13.58	⁺2.70	⁺0.66	⁺5.13
`ARI668=1`	⁺0.05	⁺0.05	⁺0.01	GUP‑Non
`SWW647=2`	⁺15.53	GUP‑Non	TMO‑Non	7.86
`SWW606=2`	TMO‑Non	TMO‑Non	⁺0.69	TMO‑Non
`HWV091=1`	⁺4.96	⁺10.87	TMO‑Non	TMO‑Non
`MSC028=1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.59
`SWW644=2`	TMO‑Non	⁺25.94	⁺1.52	TMO‑Non
`HWV046=2`	TMO‑Non	⁺61.02	⁺182.33	TMO‑Non
`SWW590=2`	TMO‑Non	TMO‑Non	⁺0.04	⁺6.76
`SWW582=2`	TMO‑Non	TMO‑Non	⁺6.04	TMO‑Non
`SWW596=2`	TMO‑Non	TMO‑Non	⁺72.18	TMO‑Non
`HWV044=2`	⁺106.86	⁺80.38	TMO‑Non	TMO‑Non
`HWV090=1`	⁺5.29	⁺11.88	TMO‑Non	TMO‑Non
`HWV039=2`	TMO‑Non	⁺59.05	TMO‑Non	TMO‑Non
`SWW619=2`	⁺0.04	⁺0.90	⁺45.29	TMO‑Non
`HWV043=2`	⁺108.51	⁺100.64	TMO‑Non	TMO‑Non
`HWV041=2`	TMO‑Non	⁺56.78	⁺117.89	TMO‑Non
`SWW600=2`	⁺0.05	GUP‑Non	TMO‑Non	TMO‑Non
`HWV047=2`	TMO‑Non	⁺61.64	⁺217.94	TMO‑Non
`HWV040=2`	TMO‑Non	⁺58.63	TMO‑Non	TMO‑Non
`SWW672=2`	⁺13.12	⁺8.82	⁺30.19	TMO‑Non
`SWW618=2`	⁺4.90	⁺2.50	TMO‑Non	TMO‑Non
`SWW637=2`	⁺0.93	⁺27.84	TMO‑Non	TMO‑Non
`HWV051=2`	⁺74.95	⁺46.02	TMO‑Non	TMO‑Non
`ARI693=1`	⁺6.18	⁺0.05	TMO‑Non	⁺1.19
`HWV114=1`	⁺112.86	⁺72.61	TMO‑Non	TMO‑Non
`ARI645=1`	TMO‑Non	GUP‑Non	⁺0.05	TMO‑Non
`ARI598=1`	TMO‑Non	TMO‑Non	⁺0.05	1.27
`ARI595=1`	TMO‑Non	TMO‑Non	⁺0.05	1.43
`ARI596=1`	TMO‑Non	TMO‑Non	⁺0.01	1.32
`HWV094=1`	⁺8.73	⁺23.28	TMO‑Non	TMO‑Non
`SWW617=2`	⁺54.30	⁺46.45	TMO‑Non	TMO‑Non
`SEV424=1`	TMO‑Non	TMO‑Non	⁺24.98	TMO‑Non
`HWV092=1`	⁺8.91	⁺21.25	TMO‑Non	TMO‑Non
`SWW603=2`	⁺13.57	⁺78.33	TMO‑Non	TMO‑Non
`HWV123=1`	⁺8.51	⁺4.18	TMO‑Non	TMO‑Non
`HWV108=1`	TMO‑Non	⁺38.73	TMO‑Non	TMO‑Non
`SEV425=1`	TMO‑Non	TMO‑Non	⁺25.88	TMO‑Non
`HWV088=1`	⁺123.41	⁺90.92	TMO‑Non	TMO‑Non
`SWW580=2`	⁺0.05	⁺37.71	TMO‑Non	TMO‑Non
`HWV128=1`	⁺10.42	⁺6.03	TMO‑Non	TMO‑Non
`HWV125=1`	⁺8.60	⁺4.22	TMO‑Non	TMO‑Non
`HWV127=1`	⁺10.51	⁺6.17	TMO‑Non	TMO‑Non
`SWW669=2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW630=2`	TMO‑Non	⁺1.78	TMO‑Non	TMO‑Non
`HWV126=1`	⁺10.36	⁺6.10	TMO‑Non	TMO‑Non
`HWV112=1`	TMO‑Non	⁺73.77	TMO‑Non	TMO‑Non
`SWW648=2`	⁺14.78	⁺26.62	TMO‑Non	TMO‑Non
`HWV096=1`	⁺8.67	⁺24.89	TMO‑Non	TMO‑Non
Solved/200	163/200	162/200	157/200	105/200
Av. CPU Time	14.22	23.12	14.99	13.39
Av. WC Time	14.24	23.08	15.49	6.50
Solutions	163 81%	162 81%	157 78%	92 46%
μEfficiency	539	491	613	311
μWCEfficiency	541	494	613	177
SOTAC	0.33	0.35	0.36	0.30
Core Usage	0.67	0.75	0.61	2.24
New Solved	0/0	0/0	0/0	0/0

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

Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ EPT EPS CML

Results for FOF (First-order Theorems)

First-order Theorems	Vampire 4.3	Vampire 4.2	CSE_E 1.0	E 2.2pre	CVC4 1.6pre	Leo‑III 1.3	iProver 2.8	leanCoP 2.2	nanoCoP 1.1	CSE 1.1	CSE 1.0	Prover9 1109a	Twee 2.2	Geo‑III 2018C
`NUM847+1`	⁺0.05	⁺0.57	⁺0.13	⁺0.05	⁺0.06	⁺5.91	⁺0.05	⁺0.12	⁺0.12	⁺0.60	⁺0.46	UNK‑Non	⁺1.44	TMO‑Non
`CSR028+3`	⁺0.05	⁺0.05	⁺0.45	⁺0.42	⁺1.53	⁺17.12	⁺0.31	⁺1.43	⁺2.12	⁺12.85	⁺12.93	TMO‑Non	⁺94.87	TMO‑Non
`NUM304+1`	⁺0.01	⁺0.05	⁺0.38	⁺0.01	⁺20.61	TMO‑Non	⁺2.37	⁺0.13	⁺0.13	⁺1.54	⁺1.45	⁺0.98	⁺0.32	TMO‑Non
`CSR113+29`	⁺1.23	⁺0.05	⁺0.49	⁺0.05	⁺266.86	⁺21.07	⁺7.55	⁺247.19	⁺159.47	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ128+2`	⁺0.04	⁺0.04	⁺0.12	⁺0.01	⁺0.04	⁺4.37	⁺0.04	TMO‑Non	TMO‑Non	⁺0.74	⁺0.53	⁺0.20	⁺0.01	⁺0.04
`CSR114+13`	⁺1.22	⁺0.05	⁺0.57	⁺0.04	⁺77.77	⁺26.67	⁺1.71	⁺0.58	⁺0.64	⁺284.34	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU386+1`	⁺0.06	⁺0.05	⁺0.13	⁺0.01	⁺0.05	⁺7.55	⁺0.05	⁺0.15	⁺0.23	⁺1.50	⁺1.49	⁺0.38	TMO‑Non	TMO‑Non
`LCL660+1.010`	⁺0.62	⁺0.77	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺10.62	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺23.80
`MSC010+1`	⁺0.57	⁺1.36	UNK‑Non	TMO‑Non	⁺0.05	⁺7.06	⁺1.70	⁺29.36	⁺0.31	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺19.99
`CSR115+4`	⁺0.85	⁺1.15	⁺0.48	⁺0.17	⁺76.77	GUP‑Non	⁺3.57	⁺0.60	⁺0.82	⁺136.30	⁺139.92	TMO‑Non	TMO‑Non	TMO‑Non
`SWV397+1`	⁺0.01	⁺0.04	⁺0.36	⁺0.01	⁺0.05	⁺6.37	⁺0.04	⁺28.21	⁺3.03	⁺7.34	⁺8.03	⁺0.25	TMO‑Non	TMO‑Non
`KRS260+1`	⁺0.04	⁺0.01	⁺8.80	⁺9.71	⁺111.45	⁺50.55	⁺0.32	⁺0.31	⁺0.62	⁺114.17	⁺33.74	⁺0.39	TMO‑Non	TMO‑Non
`NUM925+5`	⁺0.05	⁺0.57	⁺0.38	⁺0.05	⁺0.04	⁺9.34	⁺15.74	⁺13.66	⁺29.97	⁺2.77	⁺2.77	⁺2.28	⁺0.41	TMO‑Non
`CSR067+3`	⁺0.37	⁺0.05	⁺1.72	⁺1.59	⁺10.44	⁺14.53	⁺5.19	⁺1.48	⁺2.01	⁺13.05	⁺13.11	TMO‑Non	⁺191.48	TMO‑Non
`GRA008+2`	⁺0.04	⁺0.39	⁺0.57	⁺0.31	⁺55.87	⁺7.64	⁺1.05	⁺68.22	⁺141.45	⁺2.62	⁺2.65	⁺38.03	TMO‑Non	⁺4.21
`CSR115+35`	⁺1.23	⁺0.04	⁺0.56	⁺0.05	⁺77.75	⁺25.41	⁺8.37	⁺30.39	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR015+1`	⁺0.05	⁺0.04	⁺0.41	⁺0.04	⁺0.04	⁺8.59	⁺0.33	⁺140.06	⁺1.34	⁺3.44	⁺3.45	TMO‑Non	GUP‑Non	TMO‑Non
`KRS200+1`	⁺0.01	⁺0.05	⁺0.14	⁺0.05	⁺8.89	⁺10.60	⁺0.04	⁺0.27	⁺0.60	⁺0.62	⁺0.60	⁺0.38	TMO‑Non	TMO‑Non
`GEO344+1`	⁺7.95	⁺2.86	⁺0.52	⁺0.05	⁺27.57	⁺17.55	⁺1.07	⁺223.66	⁺110.89	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`KRS265+1`	⁺0.04	⁺0.04	⁺0.12	⁺0.04	⁺41.58	⁺7.64	⁺0.04	⁺0.27	⁺0.63	⁺0.39	⁺0.60	⁺2.65	TMO‑Non	TMO‑Non
`SET020+1`	⁺0.06	⁺0.01	⁺0.12	⁺0.01	⁺0.05	⁺7.35	TMO‑Non	⁺111.10	⁺99.90	UNK‑Non	UNK‑Non	TMO‑Non	⁺0.05	TMO‑Non
`CSR041+3`	⁺0.26	⁺0.05	⁺1.72	⁺1.60	⁺4.42	⁺19.83	⁺2.22	⁺1.87	⁺3.86	⁺13.43	⁺13.41	TMO‑Non	TMO‑Non	TMO‑Non
`SWV167+1`	⁺0.01	⁺0.52	⁺1.29	⁺1.40	⁺0.05	⁺9.96	⁺5.43	⁺165.71	⁺140.64	⁺30.60	⁺30.32	⁺31.86	TMO‑Non	TMO‑Non
`CSR113+15`	⁺1.23	⁺0.05	⁺0.48	⁺0.04	⁺6.54	⁺26.69	⁺5.19	⁺8.81	⁺244.65	⁺169.99	⁺172.15	TMO‑Non	TMO‑Non	TMO‑Non
`SWV153+1`	⁺0.04	⁺0.56	⁺0.12	⁺0.01	⁺0.04	⁺10.16	⁺0.34	⁺0.69	⁺0.22	⁺13.92	⁺15.54	⁺5.60	TMO‑Non	TMO‑Non
`SWB029+3`	⁺0.04	⁺0.04	⁺0.66	⁺0.31	⁺19.11	⁺11.22	⁺60.23	⁺201.56	⁺265.73	⁺4.04	⁺3.20	⁺3.92	⁺26.61	TMO‑Non
`SET061+1`	⁺0.04	⁺0.01	⁺0.12	⁺0.01	⁺21.35	⁺6.83	⁺0.05	⁺0.11	⁺0.12	⁺0.41	⁺0.55	⁺0.05	⁺0.05	⁺47.44
`KRS266+1`	⁺0.04	⁺0.01	⁺0.12	⁺0.05	⁺41.66	⁺7.71	⁺0.04	⁺0.27	⁺0.62	⁺0.59	⁺0.95	⁺1.72	TMO‑Non	TMO‑Non
`MGT061+1`	⁺0.58	⁺0.05	⁺0.39	⁺0.04	⁺20.17	⁺6.50	⁺4.61	TMO‑Non	TMO‑Non	⁺1.27	⁺1.29	⁺0.05	GUP‑Non	TMO‑Non
`CSR114+7`	⁺1.29	⁺0.27	⁺0.38	⁺0.05	⁺79.02	⁺28.87	⁺1.58	⁺229.30	⁺173.67	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ALG092+1`	⁺0.04	⁺0.01	⁺0.63	⁺0.01	⁺0.05	TMO‑Non	⁺13.04	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	GUP‑Non	TMO‑Non
`CSR029+3`	⁺0.38	⁺0.04	⁺4.13	⁺1.77	⁺10.45	TMO‑Non	⁺6.02	⁺113.72	⁺106.16	⁺31.07	⁺31.09	TMO‑Non	TMO‑Non	TMO‑Non
`REL028+2`	⁺42.43	⁺36.36	⁺3.35	⁺2.96	TMO‑Non	⁺22.48	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺14.01	⁺8.83	TMO‑Non
`KRS201+1`	⁺0.01	⁺0.05	⁺0.39	⁺0.05	⁺7.83	⁺10.76	⁺0.04	⁺0.40	⁺1.42	⁺1.68	⁺1.65	⁺0.40	TMO‑Non	TMO‑Non
`GRP777+1`	⁺6.61	⁺5.11	⁺3.18	⁺2.72	⁺187.04	⁺8.13	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.52	⁺6.43	TMO‑Non
`KRS258+1`	⁺0.04	⁺0.05	⁺0.58	⁺0.04	⁺0.33	⁺8.36	⁺0.04	⁺0.28	⁺0.62	⁺79.42	⁺97.29	⁺0.34	⁺0.47	TMO‑Non
`ALG044+1`	⁺0.01	⁺0.01	⁺0.42	⁺0.01	⁺0.05	TMO‑Non	⁺0.30	⁺3.79	TMO‑Non	⁺71.99	⁺69.44	TMO‑Non	GUP‑Non	⁺6.75
`CSR055+3`	⁺0.05	⁺0.29	⁺1.67	⁺1.57	⁺4.34	⁺10.12	⁺5.81	⁺29.58	⁺44.89	⁺98.97	⁺97.85	TMO‑Non	⁺126.72	TMO‑Non
`SWB087+1`	⁺0.01	⁺1.68	⁺3.27	⁺3.30	⁺6.99	⁺42.37	⁺10.41	⁺11.54	⁺26.57	⁺3.87	⁺3.82	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+12`	⁺1.53	⁺0.45	⁺0.61	⁺0.04	⁺60.08	⁺27.07	⁺7.94	⁺0.48	⁺0.48	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ALG210+1`	⁺0.04	⁺0.05	⁺0.12	⁺0.04	⁺0.04	⁺4.29	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.04	⁺13.14	⁺4.76
`CSR115+32`	⁺1.03	⁺0.04	⁺0.47	⁺0.05	⁺77.56	⁺25.30	⁺7.39	TMO‑Non	TMO‑Non	⁺167.58	⁺168.71	TMO‑Non	TMO‑Non	TMO‑Non
`MGT005+2`	⁺0.53	⁺0.05	⁺83.47	⁺151.17	⁺0.40	⁺6.10	⁺0.86	TMO‑Non	TMO‑Non	⁺12.25	⁺38.83	⁺1.28	GUP‑Non	⁺0.04
`KRS180+1`	⁺0.05	⁺0.05	⁺0.13	⁺0.05	⁺0.01	⁺5.29	⁺0.05	⁺0.13	⁺0.13	⁺0.40	⁺0.39	⁺0.05	GUP‑Non	TMO‑Non
`SEU019+1`	⁺0.05	⁺0.05	⁺0.12	⁺0.04	⁺0.79	⁺5.61	⁺2.99	TMO‑Non	⁺50.31	UNK‑Non	UNK‑Non	⁺0.45	GUP‑Non	⁺0.66
`LCL642+1.015`	⁺0.63	⁺0.35	⁺24.58	⁺23.07	⁺90.43	⁺29.06	⁺0.05	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺11.40
`AGT015+1`	⁺0.05	⁺0.41	⁺0.38	⁺0.05	⁺0.34	⁺8.27	⁺0.04	⁺0.14	⁺0.15	⁺0.82	⁺0.81	⁺0.44	⁺0.76	TMO‑Non
`KRS259+1`	⁺0.04	⁺0.04	⁺0.42	⁺0.04	⁺111.09	⁺7.94	⁺0.04	⁺0.28	⁺0.61	⁺0.94	⁺0.90	⁺0.26	⁺0.06	TMO‑Non
`PUZ078+1`	⁺0.60	⁺1.51	⁺0.44	⁺0.04	⁺0.04	⁺4.73	⁺0.41	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWB014+3`	⁺0.01	⁺0.05	⁺1.05	⁺0.90	⁺55.22	⁺10.59	⁺55.20	⁺216.78	TMO‑Non	⁺0.79	⁺0.78	⁺19.48	GUP‑Non	TMO‑Non
`GRA002+3`	⁺0.05	⁺0.05	⁺0.12	⁺0.05	⁺0.01	⁺7.13	⁺10.09	TMO‑Non	⁺46.63	⁺1.56	⁺1.55	TMO‑Non	TMO‑Non	⁺3.40
`CSR074+3`	⁺0.45	⁺0.04	⁺4.08	⁺1.71	⁺10.47	TMO‑Non	⁺6.40	⁺113.15	⁺102.49	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO498+1`	⁺0.04	⁺0.04	⁺0.40	⁺0.01	⁺0.04	⁺5.20	⁺53.46	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.39	⁺0.05	TMO‑Non
`KRS181+1`	⁺0.05	⁺0.05	⁺0.12	⁺0.01	⁺0.04	⁺5.03	⁺0.05	⁺0.12	⁺0.11	⁺0.37	⁺0.54	⁺0.04	GUP‑Non	TMO‑Non
`ALG018+1`	⁺0.04	⁺0.01	⁺0.12	⁺0.01	⁺0.05	⁺4.35	⁺54.34	⁺21.89	⁺36.88	UNK‑Non	UNK‑Non	⁺0.04	⁺0.05	⁺0.01
`CSR113+28`	⁺1.23	⁺0.50	⁺0.45	⁺0.04	⁺60.12	⁺26.57	⁺6.74	⁺8.34	⁺220.87	⁺161.81	⁺168.73	TMO‑Non	TMO‑Non	TMO‑Non
`NUM854+1`	⁺17.61	⁺1.02	⁺1.29	⁺0.89	⁺0.05	⁺6.75	⁺0.04	⁺0.11	⁺0.14	⁺0.47	⁺0.42	UNK‑Non	⁺0.48	⁺95.39
`CSR115+6`	⁺1.24	⁺0.04	⁺0.46	⁺0.04	⁺95.05	⁺27.34	⁺8.02	⁺140.63	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC043+1`	⁺0.05	⁺0.04	⁺0.13	⁺0.04	⁺0.05	⁺14.99	⁺4.25	TMO‑Non	TMO‑Non	⁺3.08	⁺3.19	⁺2.85	⁺0.42	⁺9.05
`KRS267+1`	⁺0.05	⁺0.01	⁺0.64	⁺0.29	⁺112.16	⁺8.99	⁺0.04	⁺0.27	⁺0.61	⁺84.20	⁺111.17	⁺1.78	TMO‑Non	TMO‑Non
`SWV199+1`	⁺0.01	⁺0.01	⁺0.12	⁺0.04	⁺0.05	⁺9.89	⁺0.63	⁺141.78	⁺18.24	UNK‑Non	UNK‑Non	⁺1.15	TMO‑Non	TMO‑Non
`CSR115+53`	⁺1.42	⁺0.04	⁺0.46	⁺0.04	⁺78.75	⁺28.21	⁺6.73	⁺136.42	⁺144.57	⁺169.17	⁺168.84	TMO‑Non	TMO‑Non	TMO‑Non
`SWV455+1`	⁺0.49	⁺0.04	⁺2.40	⁺2.02	⁺12.74	⁺11.24	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.14	⁺1.25	⁺0.40	⁺0.04	TMO‑Non
`KRS202+1`	⁺0.04	⁺0.04	⁺0.12	⁺0.04	⁺11.44	⁺7.92	⁺0.06	⁺6.18	⁺17.13	⁺1.76	⁺2.05	⁺0.44	TMO‑Non	TMO‑Non
`SWB073+1`	⁺0.01	⁺1.68	⁺3.19	⁺3.15	⁺6.57	⁺72.18	⁺2.07	⁺29.03	TMO‑Non	⁺87.47	⁺88.14	GUP‑Non	TMO‑Non	TMO‑Non
`CSR072+3`	⁺0.05	⁺0.05	⁺0.44	⁺0.40	⁺1.54	⁺24.85	⁺0.35	⁺1.44	⁺2.01	⁺13.01	⁺12.94	TMO‑Non	⁺95.70	TMO‑Non
`SWW473+5`	⁺0.04	⁺0.57	⁺0.11	⁺0.04	⁺0.39	⁺17.90	⁺15.07	⁺0.17	⁺0.17	⁺5.21	⁺5.29	⁺20.85	TMO‑Non	TMO‑Non
`CSR040+3`	⁺0.24	⁺0.78	⁺5.33	⁺5.19	TMO‑Non	TMO‑Non	⁺14.75	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV204+1`	⁺0.01	⁺0.04	⁺0.12	⁺0.01	⁺0.05	⁺9.24	⁺1.73	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺19.47	TMO‑Non	TMO‑Non
`CSR115+98`	⁺1.23	⁺0.05	⁺0.67	⁺0.04	⁺80.37	⁺27.45	⁺10.60	⁺0.59	⁺0.76	⁺209.51	⁺214.99	TMO‑Non	TMO‑Non	TMO‑Non
`HWV050+1`	⁺147.38	⁺11.70	UNK‑Non	TMO‑Non	⁺261.59	TMO‑Non	⁺31.72	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR115+40`	⁺0.05	⁺0.04	⁺0.55	⁺0.05	⁺23.21	⁺26.63	⁺6.47	⁺0.48	⁺0.47	⁺54.43	⁺54.52	TMO‑Non	TMO‑Non	TMO‑Non
`HWV046+2`	⁺19.79	⁺24.02	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺27.99	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR054+3`	⁺0.04	⁺0.05	⁺0.99	⁺0.78	⁺4.36	⁺21.05	⁺2.10	⁺1.48	⁺2.16	⁺13.09	⁺13.07	TMO‑Non	⁺95.58	TMO‑Non
`HWV043+2`	⁺21.87	⁺35.86	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺21.99	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR035+3`	⁺0.04	⁺0.05	⁺0.95	⁺0.80	⁺4.34	⁺20.81	⁺1.61	⁺1.37	⁺2.02	⁺13.15	⁺13.03	TMO‑Non	⁺96.26	TMO‑Non
`HWV041+2`	⁺20.15	⁺24.31	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺29.01	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR115+72`	⁺1.23	⁺0.04	⁺0.48	⁺0.04	⁺80.25	⁺26.34	⁺6.91	⁺243.22	⁺226.96	⁺169.47	⁺171.31	TMO‑Non	TMO‑Non	TMO‑Non
`SEU382+1`	⁺0.04	⁺1.18	⁺0.12	⁺0.04	⁺0.61	⁺8.49	⁺0.70	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺0.42	⁺8.38
`CSR115+44`	⁺1.38	⁺0.05	⁺0.38	⁺0.04	⁺78.63	⁺27.01	⁺7.74	⁺202.54	⁺254.71	⁺170.15	⁺172.20	TMO‑Non	TMO‑Non	TMO‑Non
`ALG219+1`	⁺0.68	⁺0.05	⁺0.40	⁺0.05	⁺0.04	⁺8.14	⁺5.59	TMO‑Non	TMO‑Non	UNK‑Non	⁺44.76	⁺2.27	TMO‑Non	TMO‑Non
`CSR059+3`	⁺0.43	⁺0.04	⁺1.78	⁺1.63	⁺4.35	⁺15.27	⁺5.61	⁺3.39	⁺10.76	⁺30.05	⁺30.16	TMO‑Non	⁺203.43	TMO‑Non
`SWV461+1`	⁺0.94	⁺0.04	⁺84.19	⁺151.87	⁺8.97	⁺11.12	⁺118.93	TMO‑Non	⁺1.73	⁺58.15	⁺38.37	TMO‑Non	TMO‑Non	TMO‑Non
`CSR115+68`	⁺1.24	⁺0.05	⁺0.48	⁺0.04	⁺78.36	⁺26.78	⁺7.44	⁺30.24	TMO‑Non	⁺161.06	⁺165.15	TMO‑Non	TMO‑Non	TMO‑Non
`GEO083+1`	⁺0.04	⁺0.05	⁺3.08	⁺2.56	⁺55.39	⁺6.15	⁺0.04	⁺5.37	TMO‑Non	⁺11.11	⁺7.19	⁺8.17	TMO‑Non	TMO‑Non
`KRS203+1`	⁺0.04	⁺0.05	⁺0.40	⁺0.01	⁺111.91	⁺7.70	⁺0.05	⁺111.19	⁺100.59	⁺9.14	UNK‑Non	⁺0.38	TMO‑Non	TMO‑Non
`SWV038+1`	⁺0.57	⁺0.05	⁺269.39	TMO‑Non	⁺0.04	⁺10.36	⁺0.68	⁺15.23	⁺0.16	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR043+3`	⁺0.04	⁺0.05	⁺0.57	⁺0.44	⁺1.47	⁺21.47	⁺0.05	⁺1.42	⁺2.02	⁺12.93	⁺12.95	TMO‑Non	⁺94.83	TMO‑Non
`COM125+1`	⁺0.05	⁺0.05	⁺29.74	⁺29.87	⁺0.04	⁺11.17	TMO‑Non	⁺28.57	⁺2.40	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR032+3`	⁺0.05	⁺0.05	⁺1.43	⁺1.36	⁺10.36	⁺35.74	⁺5.50	⁺1.92	⁺4.26	⁺13.01	⁺12.91	TMO‑Non	TMO‑Non	TMO‑Non
`GEO275+1`	⁺1.21	⁺2.62	⁺1.28	⁺0.57	⁺55.74	⁺19.65	⁺56.40	⁺114.90	⁺2.41	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR047+3`	⁺0.39	⁺0.04	⁺1.04	⁺0.96	⁺4.33	⁺18.40	⁺5.20	⁺1.48	⁺2.00	⁺13.11	⁺13.25	TMO‑Non	⁺189.10	TMO‑Non
`GEO278+1`	⁺1.21	⁺3.39	⁺32.82	⁺30.80	⁺48.80	⁺19.00	TMO‑Non	⁺174.61	⁺3.63	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR058+3`	⁺0.04	⁺0.05	⁺1.00	⁺0.83	⁺4.39	⁺20.92	⁺1.66	⁺1.37	⁺1.99	⁺12.98	⁺13.34	TMO‑Non	⁺95.68	TMO‑Non
`SET017+1`	⁺0.87	⁺0.05	⁺0.13	⁺0.04	⁺41.05	⁺6.39	TMO‑Non	TMO‑Non	TMO‑Non	⁺20.39	⁺20.89	⁺4.92	TMO‑Non	TMO‑Non
`KRS179+1`	⁺0.01	⁺0.05	⁺0.13	⁺0.01	⁺0.04	⁺5.09	⁺0.01	⁺0.12	⁺0.11	⁺0.37	⁺0.38	⁺0.05	GUP‑Non	⁺169.63
`ALG210+2`	⁺0.01	⁺0.05	⁺0.39	⁺0.04	⁺0.05	⁺4.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.05	⁺0.01	⁺8.80
`SWV014+1`	⁺3.06	⁺0.54	⁺0.11	⁺0.01	⁺0.05	⁺6.06	⁺0.36	⁺187.51	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO084+1`	⁺0.04	⁺0.05	⁺2.29	⁺3.10	⁺55.69	⁺6.33	⁺0.04	⁺0.56	TMO‑Non	⁺54.29	⁺68.53	⁺0.53	TMO‑Non	TMO‑Non
`CSR115+89`	⁺1.25	⁺9.42	⁺0.12	⁺0.05	⁺78.44	⁺28.63	⁺8.09	TMO‑Non	⁺267.66	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM299+1`	⁺0.01	⁺0.57	⁺42.27	⁺44.50	⁺60.34	⁺108.94	⁺10.17	⁺230.51	TMO‑Non	⁺0.95	⁺0.95	⁺11.41	TMO‑Non	TMO‑Non
`SYO606+1`	⁺0.29	⁺0.05	UNK‑Non	TMO‑Non	⁺16.01	⁺63.01	⁺0.04	TMO‑Non	⁺4.20	UNK‑Non	UNK‑Non	UNK‑Non	GUP‑Non	⁺8.56
`SWB065+1`	⁺0.05	⁺0.58	⁺3.50	⁺3.50	⁺57.13	⁺49.35	⁺122.71	⁺31.24	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL656+1.015`	⁺32.01	⁺13.64	⁺4.57	⁺4.11	TMO‑Non	⁺106.10	⁺6.68	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺58.56
`SWB023+1`	⁺0.05	⁺0.57	⁺3.47	⁺3.58	⁺46.08	⁺133.25	⁺264.96	⁺34.03	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR037+3`	⁺0.46	⁺0.05	⁺1.83	⁺3.38	⁺10.37	⁺17.37	⁺5.21	⁺1.60	⁺2.03	⁺32.98	⁺33.12	TMO‑Non	TMO‑Non	TMO‑Non
`SEU187+2`	⁺0.05	⁺0.05	⁺0.45	⁺0.04	⁺21.05	⁺11.02	⁺0.55	⁺2.47	⁺6.80	UNK‑Non	UNK‑Non	⁺11.07	TMO‑Non	TMO‑Non
`CSR068+3`	⁺0.46	⁺0.04	⁺1.70	⁺1.59	⁺10.46	⁺16.05	⁺5.00	⁺30.28	⁺47.83	⁺30.31	⁺30.18	TMO‑Non	TMO‑Non	TMO‑Non
`GEO331+1`	⁺0.05	⁺0.98	⁺0.46	⁺0.04	⁺0.05	⁺17.82	⁺10.55	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR115+92`	⁺0.99	⁺0.04	⁺0.46	⁺0.04	⁺77.70	⁺25.63	⁺6.86	⁺0.60	⁺0.76	⁺164.02	⁺163.98	TMO‑Non	TMO‑Non	TMO‑Non
`CSR018+1`	⁺2.16	⁺0.04	⁺0.12	⁺0.01	⁺0.05	⁺8.10	⁺0.58	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.29	GUP‑Non	TMO‑Non
`CSR113+6`	⁺0.04	⁺0.05	⁺0.47	⁺0.05	⁺23.28	⁺23.16	⁺1.23	⁺0.48	⁺0.46	⁺60.69	⁺58.42	TMO‑Non	TMO‑Non	TMO‑Non
`SEU291+1`	⁺1.14	⁺0.35	⁺0.62	⁺0.05	⁺0.04	⁺6.45	⁺40.41	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.29	TMO‑Non	⁺146.05
`CSR069+3`	⁺0.05	⁺0.04	⁺0.45	⁺0.41	⁺1.50	⁺14.41	⁺0.37	⁺1.39	⁺2.02	⁺13.26	⁺13.05	TMO‑Non	⁺94.55	TMO‑Non
`SWB097+1`	⁺0.05	⁺2.89	⁺85.42	⁺152.96	⁺56.97	⁺140.55	⁺32.15	⁺28.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN353+1`	⁺0.04	⁺0.05	⁺0.12	⁺0.05	TMO‑Non	⁺4.68	⁺10.02	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺1.54	GUP‑Non	TMO‑Non
`COM129+1`	⁺0.04	⁺0.01	⁺29.89	⁺29.51	⁺0.05	⁺11.27	⁺4.01	TMO‑Non	⁺86.76	TMO‑Non	TMO‑Non	UNK‑Non	⁺0.04	TMO‑Non
`KRS261+1`	⁺0.91	⁺0.57	UNK‑Non	⁺117.11	⁺0.33	⁺7.59	⁺0.05	⁺9.09	⁺42.75	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW095+1`	⁺3.98	⁺5.21	⁺1.93	⁺4.24	⁺0.04	⁺16.48	⁺6.89	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺15.43
`CSR113+1`	⁺1.72	⁺0.78	⁺0.47	⁺0.04	⁺59.95	⁺27.91	⁺6.70	⁺19.39	⁺201.85	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO005+4`	⁺2.80	⁺1.94	⁺0.42	⁺0.05	⁺56.04	⁺6.66	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺2.70	TMO‑Non	⁺38.16
`KRS195+1`	⁺0.05	⁺0.49	⁺0.38	⁺0.01	⁺0.05	⁺8.82	⁺0.01	⁺0.26	⁺0.56	⁺0.60	⁺0.61	⁺0.04	TMO‑Non	TMO‑Non
`MGT047+1`	⁺0.61	⁺0.33	⁺4.56	⁺4.11	⁺0.05	⁺6.59	⁺2.69	TMO‑Non	TMO‑Non	⁺1.33	⁺1.30	⁺0.05	GUP‑Non	⁺288.07
`SYO604+1`	⁺0.79	⁺4.77	UNK‑Non	TMO‑Non	⁺56.03	⁺7.73	⁺0.57	⁺28.48	⁺2.49	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺2.79
`SWV202+1`	⁺1.21	⁺0.05	⁺83.49	⁺151.57	⁺0.05	⁺10.01	⁺0.36	⁺8.58	⁺0.92	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS234+1`	⁺0.01	⁺0.51	⁺0.41	⁺0.05	⁺0.01	⁺17.85	⁺0.50	⁺28.37	⁺44.28	⁺0.99	⁺0.95	⁺0.40	TMO‑Non	TMO‑Non
`GEO299+1`	⁺0.05	⁺10.13	⁺0.12	⁺0.05	⁺20.13	⁺16.43	⁺0.40	⁺111.94	⁺100.16	⁺51.93	⁺52.50	UNK‑Non	⁺25.17	TMO‑Non
`KRS190+1`	⁺0.05	⁺0.50	⁺1.86	⁺1.64	⁺0.04	⁺9.03	⁺0.04	⁺0.86	⁺1.73	⁺0.62	⁺0.98	⁺0.26	TMO‑Non	TMO‑Non
`GRP775+1`	⁺0.05	⁺0.01	⁺0.14	⁺0.04	⁺22.54	⁺4.49	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺8.49	TMO‑Non	⁺1.79
`CSR070+3`	⁺0.79	⁺0.04	⁺5.08	⁺4.94	⁺144.63	TMO‑Non	⁺5.21	⁺71.40	⁺101.43	⁺232.39	⁺167.22	TMO‑Non	TMO‑Non	TMO‑Non
`GEO343+1`	⁺3.14	⁺2.84	⁺0.55	⁺0.05	⁺4.11	⁺18.97	⁺1.05	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR116+30`	⁺1.06	⁺1.47	⁺0.48	⁺0.32	⁺77.40	⁺28.31	⁺8.92	⁺29.03	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO002+4`	⁺1.47	⁺10.06	⁺0.49	⁺0.04	⁺60.16	⁺6.63	⁺38.63	TMO‑Non	TMO‑Non	⁺239.30	UNK‑Non	⁺2.22	TMO‑Non	TMO‑Non
`CSR038+3`	⁺9.71	⁺10.24	⁺1.77	⁺1.59	⁺147.55	TMO‑Non	⁺5.41	⁺1.98	⁺3.75	⁺30.10	⁺30.02	TMO‑Non	TMO‑Non	TMO‑Non
`SEU164+1`	⁺10.14	⁺3.29	⁺0.78	⁺0.41	⁺40.93	⁺42.58	⁺0.84	⁺0.40	⁺0.46	⁺0.40	⁺0.38	⁺0.80	TMO‑Non	TMO‑Non
`CSR064+3`	⁺0.32	⁺0.44	⁺2.15	⁺1.95	⁺4.30	⁺13.35	⁺5.90	⁺3.28	⁺10.56	⁺83.35	⁺84.36	TMO‑Non	TMO‑Non	TMO‑Non
`GRP655+2`	TMO‑Non	TMO‑Non	⁺22.17	⁺21.21	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺21.18	⁺9.78	TMO‑Non
`KRS196+1`	⁺0.05	⁺0.56	⁺0.39	⁺0.01	⁺0.05	⁺8.57	⁺0.01	⁺0.85	⁺0.45	⁺0.60	⁺0.39	⁺0.30	TMO‑Non	TMO‑Non
`SWV487+1`	⁺4.91	⁺0.04	⁺0.12	⁺0.01	⁺0.04	⁺5.23	TMO‑Non	TMO‑Non	⁺44.14	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR116+7`	⁺1.23	⁺0.40	⁺0.47	⁺0.05	⁺6.55	⁺28.78	⁺9.07	⁺0.48	⁺0.50	⁺163.15	⁺164.86	TMO‑Non	TMO‑Non	TMO‑Non
`SEU253+1`	⁺5.53	⁺18.07	UNK‑Non	TMO‑Non	⁺0.05	⁺7.14	⁺1.28	TMO‑Non	⁺203.57	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS217+1`	⁺0.05	⁺0.05	⁺43.31	⁺43.19	⁺111.61	⁺60.56	⁺1.41	⁺111.21	⁺99.75	⁺13.41	⁺33.16	⁺2.55	TMO‑Non	TMO‑Non
`SWB057+1`	⁺0.05	⁺0.57	⁺0.58	⁺0.04	⁺7.50	⁺25.33	⁺45.12	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`KRS187+1`	⁺0.05	⁺0.56	⁺2.61	⁺2.16	⁺0.01	⁺7.81	⁺0.04	⁺0.87	⁺1.72	⁺0.61	⁺0.99	⁺0.36	TMO‑Non	TMO‑Non
`COM133+1`	⁺0.01	⁺0.04	⁺30.09	⁺29.66	⁺0.39	⁺10.36	TMO‑Non	⁺28.44	⁺0.20	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`KRS194+1`	⁺0.01	⁺0.55	⁺0.13	⁺0.05	⁺0.05	⁺8.89	⁺0.01	⁺0.85	⁺0.34	⁺0.95	⁺0.96	⁺0.05	TMO‑Non	TMO‑Non
`NUM924+7`	⁺5.97	⁺16.64	⁺2.06	⁺1.69	⁺0.99	⁺50.19	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺9.19	TMO‑Non	TMO‑Non
`CSR062+3`	⁺0.41	⁺0.05	⁺2.29	⁺2.22	TMO‑Non	⁺14.46	⁺4.89	⁺113.19	⁺102.98	⁺35.78	⁺35.89	TMO‑Non	TMO‑Non	TMO‑Non
`SWV486+1`	⁺4.94	⁺0.04	⁺0.12	⁺0.01	⁺0.04	⁺5.47	⁺4.62	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS216+1`	⁺0.04	⁺0.06	⁺0.50	⁺0.04	⁺114.48	⁺13.59	⁺1.32	⁺4.69	⁺13.81	⁺18.03	⁺18.06	⁺25.34	TMO‑Non	TMO‑Non
`SWV468+1`	⁺0.05	⁺0.05	⁺5.54	⁺4.34	⁺0.33	⁺11.28	⁺107.19	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺41.72	TMO‑Non	TMO‑Non
`CSR063+3`	⁺0.33	⁺0.05	⁺1.66	⁺1.55	⁺4.33	⁺14.73	⁺5.91	⁺29.56	⁺44.88	⁺121.10	⁺100.47	TMO‑Non	TMO‑Non	TMO‑Non
`SWV198+1`	⁺0.01	⁺0.04	⁺0.11	⁺0.04	⁺0.05	⁺10.17	⁺16.59	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺19.63	TMO‑Non	TMO‑Non
`SYO525+1.018`	⁺45.71	⁺105.92	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺168.89	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU174+2`	⁺9.73	⁺0.41	⁺0.12	⁺0.04	⁺0.04	⁺9.97	⁺10.78	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.32	TMO‑Non	TMO‑Non
`SYO525+1.015`	⁺5.32	⁺9.02	173.31	⁺26.81	TMO‑Non	TMO‑Non	⁺6.39	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺5.78	TMO‑Non	TMO‑Non
`GRP746+1`	⁺128.03	⁺95.83	⁺11.70	⁺11.36	TMO‑Non	⁺10.09	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺87.94	TMO‑Non	TMO‑Non
`NUN056+1`^*	⁺50.82	⁺26.51	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV109+1`	⁺1.21	⁺0.04	TMO‑Non	TMO‑Non	⁺0.04	⁺11.58	⁺1.16	⁺0.19	⁺0.14	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUN057+1`^*	⁺1.05	⁺5.34	⁺90.25	⁺152.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO524+1`	⁺0.01	⁺0.04	⁺0.12	⁺0.05	⁺0.05	⁺9.20	TMO‑Non	TMO‑Non	TMO‑Non	⁺63.82	⁺51.84	⁺0.59	TMO‑Non	TMO‑Non
`CSR116+47`	⁺1.83	⁺4.44	⁺0.48	⁺0.41	⁺91.48	⁺30.24	⁺8.99	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO003+3`	⁺4.53	⁺2.45	⁺0.96	⁺0.59	⁺95.12	⁺9.93	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺49.45	⁺3.70	⁺2.89
`LCL658+1.005`	⁺12.36	⁺0.56	UNK‑Non	TMO‑Non	TMO‑Non	⁺24.74	⁺12.08	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺14.70
`COM128+1`	⁺0.05	⁺0.05	⁺29.79	⁺29.82	⁺0.05	⁺11.00	⁺26.51	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺0.04	TMO‑Non
`LCL656+1.020`	⁺32.70	⁺14.27	⁺30.04	⁺29.77	TMO‑Non	TMO‑Non	⁺7.09	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`GRP667+1`	⁺44.71	⁺8.05	⁺3.25	⁺2.83	TMO‑Non	⁺16.72	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺7.58	⁺11.22	TMO‑Non
`KRS264+1`	⁺1.16	⁺0.56	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL494+1`	⁺1.31	⁺0.04	⁺0.13	⁺0.05	⁺2.22	⁺6.00	⁺104.14	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.34	⁺0.05	TMO‑Non
`KRS233+1`	⁺0.05	⁺0.51	⁺5.96	⁺5.99	⁺0.04	⁺8.65	⁺0.04	⁺28.27	⁺48.65	⁺275.66	⁺277.94	⁺2.32	TMO‑Non	TMO‑Non
`LCL902+1`	⁺0.61	⁺0.05	⁺0.12	⁺0.04	⁺21.32	⁺4.58	⁺6.40	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	⁺0.05	⁺0.81
`KRS188+1`	⁺0.04	⁺0.52	⁺32.82	⁺39.25	⁺0.04	⁺9.30	⁺0.05	⁺0.85	⁺102.53	⁺0.61	⁺0.61	TMO‑Non	TMO‑Non	TMO‑Non
`GEO274+1`	⁺7.97	⁺2.32	⁺0.51	⁺0.04	⁺0.05	⁺24.72	⁺12.18	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺11.25
`KRS186+1`	⁺0.04	⁺0.51	⁺30.28	⁺37.05	⁺0.05	⁺8.94	⁺0.04	⁺0.85	⁺102.23	⁺0.61	⁺0.62	⁺25.40	TMO‑Non	TMO‑Non
`PUZ133+1`	⁺70.65	⁺10.62	⁺2.35	⁺1.87	⁺0.04	⁺7.89	⁺3.73	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.49	TMO‑Non	TMO‑Non
`LCL680+1.005`	⁺180.78	⁺4.62	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺1.56
`PRO003+4`	⁺5.11	⁺1.95	⁺0.74	⁺0.04	⁺253.79	⁺6.17	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺4.42	TMO‑Non	⁺2.39
`SWB012+3`	⁺0.04	⁺0.04	⁺1.45	⁺1.28	⁺61.17	⁺51.35	TMO‑Non	TMO‑Non	TMO‑Non	⁺5.53	⁺5.43	UNK‑Non	⁺54.18	TMO‑Non
`SWV401+1`	⁺7.67	⁺0.01	⁺0.13	⁺0.01	⁺0.01	⁺5.59	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺3.99	TMO‑Non	TMO‑Non
`SYN986+1.004`	⁺0.45	⁺3.09	UNK‑Non	⁺121.57	TMO‑Non	TMO‑Non	⁺38.11	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM149+1`	⁺0.57	⁺2.89	⁺26.76	⁺26.51	⁺0.04	⁺11.12	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`KRS235+1`	⁺0.04	⁺0.56	⁺4.79	⁺4.65	⁺0.04	⁺10.50	⁺0.04	⁺28.30	⁺48.70	UNK‑Non	UNK‑Non	⁺2.43	TMO‑Non	TMO‑Non
`PUZ133+2`	⁺5.20	⁺1.67	⁺1.04	⁺0.74	⁺0.39	⁺7.48	⁺56.11	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.38	TMO‑Non	TMO‑Non
`KRS251+1`	⁺10.28	⁺0.52	UNK‑Non	TMO‑Non	⁺0.05	TMO‑Non	⁺1.14	⁺28.40	⁺47.74	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474+5`	⁺4.32	⁺6.14	⁺2.16	TMO‑Non	⁺8.78	⁺55.10	⁺1.91	⁺0.89	⁺1.16	UNK‑Non	⁺104.68	UNK‑Non	TMO‑Non	TMO‑Non
`LCL676+1.005`	⁺0.04	⁺0.57	UNK‑Non	TMO‑Non	⁺5.40	⁺25.23	⁺2.75	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺3.36
`SCT147+1`	⁺0.05	⁺0.59	⁺0.52	⁺0.05	⁺0.37	⁺84.72	⁺2.08	⁺29.23	⁺6.60	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BOO109+1`	⁺92.77	⁺45.25	⁺248.16	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺32.18	TMO‑Non	⁺113.75	TMO‑Non
`SCT149+1`	⁺0.60	⁺0.05	UNK‑Non	⁺4.35	⁺0.04	⁺36.31	⁺0.05	⁺0.33	⁺0.33	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL652+1.015`	⁺16.15	⁺20.38	⁺65.17	⁺53.36	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR051+4`	⁺1.60	⁺1.38	⁺2.05	⁺7.59	⁺246.57	⁺31.19	⁺10.06	⁺60.31	⁺87.85	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN007+1.014`	⁺0.05	⁺0.01	⁺4.16	⁺1.91	⁺0.01	TMO‑Non	⁺0.04	UNK‑Non	UNK‑Non	UNK‑Non	UNK‑Non	UNK‑Non	GUP‑Non	TMO‑Non
`KLE170+1.002`	⁺1.01	⁺3.07	⁺0.48	⁺0.05	⁺0.04	⁺5.09	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.32	⁺0.05	⁺212.01
`NUN055+1`^*	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺49.69	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV487+3`	⁺4.92	⁺0.04	⁺13.09	⁺11.99	⁺38.79	⁺5.57	⁺14.03	TMO‑Non	⁺63.05	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺26.93
`NLP262+1`	⁺32.57	⁺20.44	⁺68.19	⁺68.13	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non
`RNG049+2`	⁺1.03	⁺0.57	⁺84.02	⁺151.57	⁺0.05	⁺7.02	⁺0.05	TMO‑Non	TMO‑Non	⁺1.61	⁺1.55	TMO‑Non	TMO‑Non	TMO‑Non
`CSR061+3`	⁺0.85	⁺0.04	⁺90.73	⁺92.20	TMO‑Non	TMO‑Non	TMO‑Non	⁺180.79	⁺182.25	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV486+3`	⁺4.94	⁺0.05	⁺0.80	⁺0.42	⁺20.65	⁺52.76	⁺5.02	TMO‑Non	⁺43.63	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL672+1.010`	⁺12.40	⁺0.68	UNK‑Non	TMO‑Non	TMO‑Non	⁺94.97	⁺10.40	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWB077+1`	⁺0.67	⁺1.68	⁺3.60	⁺3.48	⁺179.07	TMO‑Non	TMO‑Non	⁺60.19	TMO‑Non	⁺39.21	⁺39.32	GUP‑Non	TMO‑Non	TMO‑Non
`LCL658+1.010`	⁺13.13	⁺14.64	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺53.86	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺278.01
`SWV235+1`	⁺0.32	⁺0.05	⁺0.50	⁺0.05	⁺58.44	⁺5.29	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR049+3`	⁺0.80	⁺0.05	⁺88.15	⁺155.98	TMO‑Non	TMO‑Non	TMO‑Non	⁺178.77	⁺181.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL901+1`	⁺1.78	⁺0.04	⁺0.42	⁺0.04	⁺27.40	⁺4.74	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	⁺0.05	⁺3.45
`NLP260+1`	⁺32.71	⁺20.10	⁺37.88	⁺37.11	TMO‑Non	UNK‑Non	⁺62.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non
`SWW375+1`	⁺0.41	⁺0.87	⁺3.87	⁺3.87	⁺5.12	⁺110.15	⁺11.92	TMO‑Non	⁺180.81	⁺50.08	⁺50.73	⁺235.37	TMO‑Non	TMO‑Non
`NLP261+1`	⁺33.07	⁺20.31	⁺40.29	⁺39.77	TMO‑Non	UNK‑Non	⁺63.11	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non
`SWB017+1`	⁺0.04	⁺0.57	⁺0.53	⁺0.05	⁺7.23	⁺23.54	TMO‑Non	TMO‑Non	TMO‑Non	⁺75.77	⁺76.11	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+16`	⁺1.50	⁺9.11	⁺0.48	⁺0.04	⁺79.24	⁺26.91	⁺16.81	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO277+1`	⁺7.97	⁺15.49	⁺0.56	⁺0.05	⁺20.14	⁺21.25	⁺66.71	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺20.41
`SYO525+1.021`	TMO‑Non	⁺190.71	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWV476+1`	⁺0.04	⁺0.41	⁺0.77	⁺0.41	⁺28.84	⁺12.07	⁺59.23	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.86	TMO‑Non	TMO‑Non
`GEO168+1`	⁺68.04	⁺81.51	UNK‑Non	⁺77.37	TMO‑Non	⁺25.62	⁺62.51	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV469+1`	⁺0.05	⁺0.04	⁺0.37	⁺0.04	⁺0.04	⁺11.28	⁺220.13	TMO‑Non	⁺50.19	⁺11.86	⁺11.93	⁺26.84	TMO‑Non	TMO‑Non
`LCL658+1.020`	⁺32.03	⁺13.65	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWW314+1`	⁺0.41	⁺0.87	⁺3.98	⁺3.96	⁺5.28	⁺39.94	⁺14.41	⁺2.36	⁺1.81	⁺55.82	⁺55.75	UNK‑Non	TMO‑Non	TMO‑Non
`LCL658+1.015`	⁺34.03	⁺15.67	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺57.71	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET634+3`	⁺2.13	⁺7.22	⁺22.21	⁺20.97	⁺0.69	⁺7.12	⁺1.83	⁺1.50	⁺4.10	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL638+1.015`	⁺50.64	⁺30.30	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV452+1`	⁺0.89	⁺0.01	⁺2.27	⁺2.16	⁺0.52	⁺8.58	⁺51.55	TMO‑Non	TMO‑Non	⁺1.58	⁺1.48	TMO‑Non	TMO‑Non	TMO‑Non
`LCL672+1.020`	⁺12.70	⁺0.92	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺54.02	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL019+1`	⁺168.45	⁺74.83	⁺127.48	⁺227.82	TMO‑Non	⁺62.03	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺17.09	TMO‑Non
`LCL638+1.020`	⁺54.84	⁺19.18	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB009+1`	⁺3.62	⁺2.85	⁺30.51	⁺35.33	⁺216.45	TMO‑Non	TMO‑Non	⁺33.61	TMO‑Non	⁺243.24	⁺246.58	GUP‑Non	TMO‑Non	TMO‑Non
`LAT258+1`	⁺150.06	⁺22.60	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺43.19
`GEO340+1`	⁺7.94	⁺2.31	⁺83.53	⁺151.14	⁺0.05	⁺20.49	⁺2.38	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL664+1.020`	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`NUM924+4`	⁺34.33	⁺16.93	⁺30.82	⁺30.76	⁺4.92	⁺115.66	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL646+1.010`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`KLE143+2`	⁺5.31	⁺107.37	⁺1.37	⁺1.06	⁺42.31	⁺92.62	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺2.91	⁺1.91	TMO‑Non
`LCL664+1.015`	⁺12.79	⁺1.12	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺55.80	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWB056+1`	⁺0.01	⁺7.93	⁺87.53	⁺155.08	⁺43.47	TMO‑Non	TMO‑Non	⁺31.21	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL678+1.005`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	GUP‑Non	TMO‑Non	⁺14.69
`NUM925+4`	⁺0.40	⁺1.35	⁺50.70	⁺49.69	⁺6.68	⁺243.03	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺291.63	TMO‑Non
`LCL662+1.015`	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV466+1`	⁺1.36	⁺2.01	⁺0.47	⁺0.06	⁺0.05	⁺11.49	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.75	TMO‑Non	TMO‑Non
`GEO167+1`	⁺69.33	⁺84.13	UNK‑Non	TMO‑Non	⁺70.66	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO008+4`	⁺2.20	⁺4.23	⁺1.28	⁺0.94	⁺27.55	⁺38.12	⁺4.42	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺268.52	TMO‑Non	⁺103.34
`LCL688+1.010`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺90.22
`SWV480+1`	⁺0.05	⁺0.89	⁺0.81	⁺0.60	⁺55.37	⁺13.49	⁺36.57	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺52.61	TMO‑Non	TMO‑Non
`LCL688+1.005`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺69.02	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺12.98
`GRA007+1`	⁺13.13	⁺28.11	⁺0.57	⁺0.04	⁺23.52	⁺8.67	⁺3.03	TMO‑Non	⁺91.96	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺2.40
`LCL876+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV481+1`	⁺0.39	⁺0.57	⁺0.79	⁺0.97	⁺38.08	⁺12.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺60.13	TMO‑Non	TMO‑Non
`LCL682+1.015`	⁺13.55	⁺1.83	UNK‑Non	TMO‑Non	TMO‑Non	⁺242.83	⁺19.47	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`GEO526+1`	⁺0.46	⁺0.98	⁺6.31	⁺6.42	⁺0.39	⁺54.87	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺9.36	⁺112.32	TMO‑Non
`LCL650+1.020`	⁺2.68	⁺31.01	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM926+6`	⁺85.49	⁺2.31	⁺25.51	⁺24.44	⁺0.05	TMO‑Non	⁺136.93	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺1.87	TMO‑Non	TMO‑Non
`LCL666+1.010`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺33.51	TMO‑Non	146.51	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`NUM926+3`	⁺3.07	⁺1.10	⁺84.13	⁺152.06	⁺0.70	⁺44.25	⁺34.79	TMO‑Non	TMO‑Non	⁺176.70	⁺176.00	⁺47.57	TMO‑Non	TMO‑Non
`SWV465+1`	⁺2.08	⁺0.50	⁺20.57	⁺17.93	⁺40.35	⁺9.96	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺0.05	TMO‑Non	TMO‑Non
`SCT159+1`	⁺3.08	⁺0.05	⁺8.65	⁺8.21	⁺112.61	TMO‑Non	⁺141.96	TMO‑Non	TMO‑Non	⁺31.36	⁺31.56	⁺65.23	TMO‑Non	TMO‑Non
`SWB083+1`	⁺0.06	⁺2.83	⁺125.65	⁺226.16	⁺195.42	TMO‑Non	TMO‑Non	⁺69.42	TMO‑Non	⁺12.83	⁺13.38	GUP‑Non	TMO‑Non	TMO‑Non
`MGT035+2`	⁺11.61	⁺6.11	⁺1.28	⁺1.07	⁺0.04	⁺6.21	⁺1.78	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺119.47
`SEU266+1`	⁺3.89	⁺0.04	⁺0.12	⁺0.04	⁺84.09	⁺53.84	⁺3.85	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL001+2`	⁺1.62	⁺8.87	UNK‑Non	⁺100.81	⁺62.34	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO298+1`	⁺5.55	⁺13.85	⁺1.83	⁺1.59	⁺155.29	⁺25.35	⁺10.43	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SET722+4`	⁺0.05	⁺0.01	UNK‑Non	TMO‑Non	⁺0.05	⁺9.79	⁺3.59	TMO‑Non	⁺20.16	⁺23.42	⁺23.69	TMO‑Non	TMO‑Non	TMO‑Non
`GEO497+1`	⁺1.99	⁺30.75	⁺38.77	⁺21.66	⁺0.04	⁺14.30	⁺11.08	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV475+1`	⁺15.45	⁺1.02	⁺0.78	⁺0.45	⁺55.19	⁺12.04	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO504+1`	⁺0.04	⁺0.57	⁺0.56	⁺0.05	⁺6.84	⁺10.27	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺4.92	⁺249.29	TMO‑Non
`GEO169+2`	⁺6.47	⁺4.08	⁺3.20	⁺2.91	⁺20.85	⁺6.35	⁺10.10	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET651+3`	⁺0.05	⁺8.95	⁺0.98	⁺0.56	TMO‑Non	⁺49.09	⁺16.40	TMO‑Non	TMO‑Non	UNK‑Non	⁺73.66	⁺0.04	TMO‑Non	TMO‑Non
`SWV378+1`	⁺1.44	⁺0.05	⁺0.12	⁺0.01	⁺0.04	⁺6.66	⁺74.27	TMO‑Non	TMO‑Non	⁺7.07	⁺7.10	UNK‑Non	TMO‑Non	TMO‑Non
`GRP654+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺160.75	⁺6.77	TMO‑Non
`GRP655+1`	TMO‑Non	TMO‑Non	⁺62.99	⁺60.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺254.01	⁺3.45	TMO‑Non
`LAT332+1`	⁺1.18	⁺2.08	⁺69.44	⁺72.99	⁺5.69	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT353+1`	⁺2.12	⁺1.34	⁺87.51	⁺154.89	⁺58.57	⁺27.73	⁺1.46	⁺108.26	TMO‑Non	⁺43.18	⁺40.34	TMO‑Non	TMO‑Non	TMO‑Non
`HAL006+1`	⁺0.57	⁺28.68	⁺1.74	⁺1.37	⁺76.05	⁺11.63	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺32.43	TMO‑Non
`COM137+1`	⁺14.72	⁺5.12	⁺86.28	⁺153.86	⁺55.56	⁺11.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW473+7`	⁺3.26	⁺1.16	⁺2.67	⁺2.25	⁺43.67	TMO‑Non	TMO‑Non	⁺7.58	⁺21.80	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW297+1`	⁺0.37	⁺0.88	⁺3.86	⁺4.00	TMO‑Non	⁺47.51	⁺37.73	⁺29.92	⁺45.30	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB040+1`	⁺0.68	⁺0.58	⁺25.71	⁺30.14	⁺74.80	TMO‑Non	⁺30.53	TMO‑Non	TMO‑Non	⁺13.27	⁺13.35	GUP‑Non	TMO‑Non	TMO‑Non
`NUM558+1`	⁺0.05	⁺0.05	⁺0.44	⁺0.01	⁺165.66	⁺22.02	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW313+1`	⁺0.39	⁺0.97	⁺7.35	⁺7.43	⁺5.23	TMO‑Non	⁺15.00	⁺31.73	⁺45.06	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW294+1`	⁺2.18	⁺0.90	⁺8.50	⁺8.37	⁺171.04	TMO‑Non	⁺274.74	⁺8.13	⁺10.16	⁺49.55	⁺49.99	⁺263.39	TMO‑Non	TMO‑Non
`SET143+4`	⁺0.04	⁺5.42	⁺0.39	⁺0.01	⁺0.01	⁺4.87	⁺3.39	TMO‑Non	⁺59.30	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET155+4`	⁺10.74	⁺3.19	UNK‑Non	TMO‑Non	⁺0.05	⁺5.63	TMO‑Non	⁺80.56	⁺186.70	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW394+1`	⁺0.38	⁺2.70	⁺7.13	⁺7.08	⁺93.07	TMO‑Non	⁺131.50	⁺32.60	⁺46.45	⁺53.87	⁺54.45	UNK‑Non	⁺297.44	TMO‑Non
`GEO474+1`	⁺0.88	⁺26.23	⁺92.88	⁺160.65	⁺176.17	TMO‑Non	TMO‑Non	⁺24.57	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO285+1`	⁺0.61	⁺0.41	⁺1.24	⁺0.60	⁺55.23	⁺20.09	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU170+2`	⁺0.46	⁺9.75	⁺11.79	⁺10.23	⁺3.33	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB047+1`	⁺0.05	⁺1.17	⁺9.57	⁺13.59	⁺245.02	TMO‑Non	⁺30.22	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWB075+1`	⁺0.05	⁺1.68	⁺3.26	⁺3.03	⁺6.68	TMO‑Non	⁺13.92	TMO‑Non	TMO‑Non	⁺88.93	⁺165.06	GUP‑Non	TMO‑Non	TMO‑Non
`GRA009+1`	⁺1.68	⁺4.96	⁺15.14	⁺21.39	TMO‑Non	⁺97.30	⁺16.59	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺10.00
`CSR001+2`	⁺10.04	⁺165.32	⁺26.80	⁺26.18	⁺60.08	⁺13.97	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWW386+1`	⁺0.37	⁺0.89	⁺4.23	⁺4.28	⁺5.29	⁺146.50	⁺13.87	⁺32.69	⁺46.01	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO535+1`	⁺1.47	⁺22.03	⁺116.83	⁺189.49	⁺61.75	⁺16.82	TMO‑Non	TMO‑Non	TMO‑Non	⁺129.24	⁺151.51	TMO‑Non	TMO‑Non	TMO‑Non
`SWW311+1`	⁺0.41	⁺0.96	⁺3.76	⁺3.85	TMO‑Non	TMO‑Non	⁺68.48	⁺73.39	⁺49.04	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`AGT018+1`	⁺12.45	⁺1.09	⁺181.56	TMO‑Non	TMO‑Non	TMO‑Non	⁺78.92	⁺226.73	TMO‑Non	⁺124.79	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN076+1`	⁺99.98	⁺1.40	UNK‑Non	TMO‑Non	⁺20.92	⁺7.97	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR032+4`	⁺1.77	⁺1.39	⁺2.68	⁺8.33	TMO‑Non	TMO‑Non	⁺25.28	⁺110.45	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU325+2`	⁺1.32	⁺0.68	⁺3.05	⁺2.70	⁺3.10	⁺49.16	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺245.59	TMO‑Non
`ALG165+1`	⁺0.99	⁺0.05	UNK‑Non	TMO‑Non	⁺0.04	⁺10.19	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`GEO307+1`	⁺0.04	⁺7.27	UNK‑Non	TMO‑Non	⁺40.17	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO500+1`	⁺283.65	⁺182.24	⁺2.16	⁺1.88	TMO‑Non	⁺71.12	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺4.47	⁺2.80	TMO‑Non
`GEO089+1`	⁺0.05	⁺0.05	⁺278.67	TMO‑Non	⁺0.04	⁺58.02	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET171+3`	⁺2.12	⁺1.96	UNK‑Non	TMO‑Non	⁺1.41	⁺9.82	⁺0.88	⁺28.92	⁺11.90	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET750+4`	⁺15.26	⁺0.04	TMO‑Non	TMO‑Non	⁺55.16	⁺122.34	TMO‑Non	⁺83.20	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM320+1`	⁺1.32	⁺2.88	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺14.59	⁺241.14	TMO‑Non	⁺7.77	UNK‑Non	⁺30.56	TMO‑Non	TMO‑Non
`SWV089+1`	⁺0.04	⁺0.53	⁺83.98	⁺152.05	⁺0.05	⁺10.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET016+1`	⁺10.73	⁺3.30	⁺0.13	⁺0.05	TMO‑Non	⁺6.59	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT122+1`	⁺0.04	⁺0.87	⁺80.07	⁺114.27	⁺0.68	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺23.53	TMO‑Non	TMO‑Non
`SWW470+3`	⁺1.36	⁺42.80	⁺255.67	⁺216.31	⁺57.06	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM126+1`	⁺13.09	⁺4.12	⁺86.30	⁺153.87	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SET730+4`	⁺17.53	⁺0.01	UNK‑Non	TMO‑Non	⁺0.05	⁺89.97	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM142+1`	⁺0.57	⁺1.98	⁺86.22	⁺153.89	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GRA009+2`	⁺1.63	⁺4.89	⁺14.99	⁺21.42	TMO‑Non	⁺94.04	⁺50.41	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺2.21
`SWV029+1`	⁺0.58	⁺16.59	TMO‑Non	TMO‑Non	⁺0.05	⁺11.19	⁺27.87	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO289+1`	⁺0.05	⁺4.31	⁺3.47	⁺3.09	⁺0.32	⁺46.87	⁺15.59	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB045+1`	⁺0.05	⁺0.54	⁺44.51	⁺51.99	⁺272.94	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺209.25	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB106+1`	⁺5.55	⁺2.89	⁺8.00	⁺9.40	TMO‑Non	TMO‑Non	⁺12.50	TMO‑Non	TMO‑Non	⁺37.18	⁺37.32	GUP‑Non	TMO‑Non	TMO‑Non
`SWB004+1`	⁺0.49	⁺0.57	⁺32.76	⁺33.71	⁺240.92	TMO‑Non	⁺16.09	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO507+1`	⁺0.05	⁺0.56	⁺91.64	⁺164.90	⁺74.82	⁺43.83	⁺50.89	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB044+1`	⁺0.05	⁺3.03	⁺61.95	⁺67.59	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT121+1`	⁺4.39	⁺2.19	⁺131.99	⁺124.77	⁺0.68	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺124.88	TMO‑Non	TMO‑Non
`CSR072+5`	⁺15.08	⁺14.32	⁺38.17	TMO‑Non	TMO‑Non	TMO‑Non	⁺26.17	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`COM123+1`	⁺1.97	⁺20.47	⁺86.10	⁺153.64	⁺0.62	⁺20.85	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL524+1`	⁺1.89	⁺1.25	⁺75.56	⁺73.11	TMO‑Non	TMO‑Non	⁺138.52	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺6.15	⁺9.60	TMO‑Non
`PRO016+2`	⁺4.51	⁺112.48	UNK‑Non	TMO‑Non	⁺102.38	⁺296.67	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺6.80
`RNG064+2`	⁺5.50	⁺3.51	⁺9.96	⁺7.92	⁺156.70	TMO‑Non	⁺8.51	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW474+6`	⁺1.65	⁺4.88	⁺258.95	⁺251.61	⁺47.01	⁺162.70	⁺10.21	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW337+1`	⁺0.37	⁺0.99	⁺7.99	⁺8.07	⁺5.23	⁺250.68	TMO‑Non	⁺30.96	⁺45.60	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT117+1`	⁺0.59	⁺2.20	UNK‑Non	TMO‑Non	⁺20.49	⁺32.37	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW295+1`	⁺0.41	⁺1.45	⁺8.14	⁺8.19	TMO‑Non	TMO‑Non	TMO‑Non	⁺29.92	⁺45.14	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO523+1`	⁺84.56	⁺4.50	⁺0.38	⁺0.05	TMO‑Non	⁺9.99	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET749+4`	⁺0.04	⁺0.05	UNK‑Non	TMO‑Non	⁺0.04	TMO‑Non	⁺7.92	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM132+1`	⁺17.87	⁺26.20	⁺21.40	⁺21.23	⁺58.13	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL896+1`	⁺19.74	⁺94.14	⁺2.69	⁺3.08	TMO‑Non	⁺23.18	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	⁺4.46	TMO‑Non
`SWW322+1`	⁺0.37	⁺1.39	⁺9.38	⁺9.58	⁺5.48	TMO‑Non	TMO‑Non	⁺31.61	⁺47.37	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW256+1`	⁺100.69	⁺13.88	⁺15.19	⁺14.49	TMO‑Non	⁺209.35	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺16.64	⁺203.90	TMO‑Non
`SWW358+1`	⁺0.37	⁺2.51	⁺7.56	⁺7.57	⁺5.29	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB016+1`	⁺0.68	⁺1.68	⁺251.05	TMO‑Non	⁺182.61	TMO‑Non	⁺15.09	TMO‑Non	TMO‑Non	⁺38.65	⁺38.61	GUP‑Non	TMO‑Non	TMO‑Non
`SCT128+1`	⁺31.32	⁺87.08	UNK‑Non	TMO‑Non	⁺0.34	⁺36.45	TMO‑Non	⁺86.32	⁺215.62	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA011+1`	⁺1.63	⁺4.34	⁺12.58	⁺16.88	⁺220.07	TMO‑Non	⁺62.02	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺4.87
`NUM860+1`	⁺11.59	⁺2.54	UNK‑Non	⁺285.25	⁺0.05	⁺5.99	⁺18.48	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW391+1`	⁺0.37	⁺0.89	⁺9.72	⁺9.78	TMO‑Non	TMO‑Non	⁺13.74	⁺30.22	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`KLE102+1`	⁺63.25	⁺82.18	⁺0.65	⁺0.33	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺39.64	⁺32.99	TMO‑Non
`NUM924+8`	⁺50.89	⁺17.49	⁺2.76	⁺2.83	⁺15.69	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM862+1`	⁺26.27	⁺83.05	⁺16.03	⁺6.33	⁺0.65	⁺11.43	⁺88.98	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW326+1`	⁺0.41	⁺0.40	⁺10.29	⁺10.36	⁺2.58	⁺144.79	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW368+1`	⁺1.03	⁺0.91	⁺10.59	⁺10.49	⁺97.05	TMO‑Non	TMO‑Non	⁺40.78	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`AGT022+2`	⁺3.42	⁺3.77	UNK‑Non	TMO‑Non	⁺151.63	TMO‑Non	⁺39.51	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KLE084+1`	TMO‑Non	TMO‑Non	⁺1.75	⁺1.35	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺9.44	⁺11.32	TMO‑Non
`SWB063+1`	⁺0.05	⁺2.88	⁺18.65	⁺20.88	⁺131.77	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO005+1`	⁺9.12	⁺99.58	⁺76.66	⁺75.90	⁺112.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP779+1`	⁺85.09	⁺8.20	⁺1.72	⁺1.32	TMO‑Non	⁺10.88	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺7.29	261.52	TMO‑Non
`KLE101+1`	⁺123.35	⁺144.72	⁺4.58	⁺4.06	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺86.57	⁺285.11	TMO‑Non
`AGT013+2`	⁺10.10	⁺6.01	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺149.40	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL541+1`	⁺4.80	⁺40.84	⁺0.57	⁺0.05	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺98.63	⁺27.28	TMO‑Non
`GEO273+1`	⁺5.68	⁺14.86	⁺0.50	⁺0.04	TMO‑Non	⁺21.28	⁺15.82	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB080+1`	⁺6.12	⁺2.86	⁺23.98	⁺26.24	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺257.33	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`AGT019+1`	⁺0.05	⁺0.60	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺121.46	TMO‑Non	TMO‑Non	⁺81.74	⁺227.64	TMO‑Non	TMO‑Non	TMO‑Non
`SWB022+1`	⁺0.05	⁺2.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL898+1`	TMO‑Non	TMO‑Non	⁺2.07	⁺2.02	TMO‑Non	⁺18.62	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	⁺5.23	TMO‑Non
`SWC125+1`	⁺111.85	⁺48.89	⁺124.55	⁺225.17	TMO‑Non	⁺90.17	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺30.11
`SCT143+1`	⁺30.54	⁺14.13	⁺85.78	⁺158.44	TMO‑Non	⁺89.27	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺3.13	⁺16.10	TMO‑Non
`SCT155+1`	⁺0.59	⁺2.69	UNK‑Non	TMO‑Non	⁺11.39	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT158+1`	⁺19.45	⁺2.19	UNK‑Non	TMO‑Non	⁺60.55	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR045+4`	⁺3.41	⁺9.82	⁺2.56	⁺8.09	TMO‑Non	TMO‑Non	⁺87.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR074+4`	⁺3.71	⁺8.55	⁺3.45	⁺8.98	TMO‑Non	TMO‑Non	⁺30.69	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET744+4`	⁺16.48	⁺5.61	UNK‑Non	TMO‑Non	⁺55.32	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA002+1`	⁺1.64	⁺4.33	⁺83.84	⁺151.47	⁺222.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺13.45
`SWW321+1`	⁺0.87	⁺1.47	⁺9.67	⁺9.75	⁺5.43	TMO‑Non	TMO‑Non	TMO‑Non	⁺55.91	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO466+1`	⁺3.44	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB071+1`	⁺0.05	⁺4.31	⁺4.04	⁺4.11	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺170.63	GUP‑Non	TMO‑Non	TMO‑Non
`SWB027+1`	⁺6.12	⁺2.89	⁺184.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺19.04	⁺18.92	TMO‑Non	TMO‑Non	TMO‑Non
`GRP780+1`	TMO‑Non	TMO‑Non	⁺0.43	⁺0.05	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺1.89	TMO‑Non	TMO‑Non
`SCT163+1`	⁺72.43	⁺61.06	⁺9.91	⁺9.24	TMO‑Non	⁺31.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺3.88	TMO‑Non	TMO‑Non
`SWW339+1`	⁺0.37	⁺1.47	⁺9.46	⁺9.52	⁺5.22	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW319+1`	⁺0.36	⁺2.53	⁺9.94	⁺7.18	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SET098+1`	⁺96.21	⁺4.77	⁺8.91	⁺0.39	TMO‑Non	⁺51.56	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW310+1`	⁺0.52	⁺1.25	⁺10.04	⁺10.18	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW252+1`	⁺137.96	⁺6.60	UNK‑Non	TMO‑Non	⁺0.62	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB082+1`	⁺5.48	⁺2.89	⁺252.25	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺113.99	⁺114.43	GUP‑Non	TMO‑Non	TMO‑Non
`SWB012+1`	⁺5.69	⁺2.89	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB094+1`	⁺5.55	⁺3.38	⁺251.95	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺111.89	⁺40.63	GUP‑Non	TMO‑Non	TMO‑Non
`CSR047+5`	⁺14.62	⁺14.55	⁺37.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB098+1`	⁺5.55	⁺2.88	⁺257.68	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺116.17	⁺114.64	GUP‑Non	TMO‑Non	TMO‑Non
`SET105+1`	⁺10.81	⁺3.28	⁺29.69	⁺28.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW328+1`	⁺0.37	⁺1.10	⁺10.65	⁺10.57	⁺5.19	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW098+1`	TMO‑Non	⁺2.92	⁺23.59	⁺22.79	⁺146.11	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW100+1`	⁺13.79	⁺2.80	TMO‑Non	TMO‑Non	⁺113.27	⁺214.55	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW336+1`	⁺0.38	⁺11.34	⁺11.67	⁺11.56	⁺5.19	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT162+1`	⁺69.99	⁺63.94	⁺1.68	⁺1.37	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺3.72	TMO‑Non	TMO‑Non
`LCL553+1`	⁺32.04	⁺19.85	⁺1.72	⁺0.87	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺268.88	TMO‑Non	TMO‑Non
`SWB051+1`	⁺19.35	⁺8.67	⁺88.01	⁺155.52	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL891+1`	⁺42.88	⁺141.21	⁺57.73	⁺55.25	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	⁺75.38	TMO‑Non
`SWW374+1`	⁺0.50	⁺1.52	⁺3.29	⁺3.38	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB064+1`	⁺18.58	⁺58.89	⁺24.59	⁺32.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT138+1`	⁺95.03	⁺11.21	⁺84.72	⁺157.36	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺2.61	⁺10.73	TMO‑Non
`SWW352+1`	⁺13.47	⁺11.37	⁺5.98	⁺5.94	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW304+1`	⁺13.84	⁺11.44	⁺5.74	⁺5.72	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW096+1`	⁺13.04	⁺2.19	⁺2.75	⁺2.22	⁺129.00	⁺220.01	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW379+1`	⁺3.36	⁺1.10	⁺11.07	⁺11.08	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`KLE073+1`	TMO‑Non	TMO‑Non	⁺1.68	⁺1.33	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺116.98	⁺63.19	TMO‑Non
`SWW364+1`	⁺0.38	⁺11.43	⁺9.87	⁺9.81	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO506+1`	TMO‑Non	TMO‑Non	⁺282.36	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU334+1`	⁺24.67	⁺7.73	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT139+1`	⁺88.67	⁺14.02	⁺279.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.03	⁺15.09	TMO‑Non
`LCL552+1`	⁺32.16	⁺20.19	⁺1.96	⁺1.17	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BIO002+1`	⁺14.25	⁺13.96	UNK‑Non	⁺96.48	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non
`AGT022+1`	⁺11.38	⁺100.54	UNK‑Non	TMO‑Non	⁺146.88	TMO‑Non	⁺277.97	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW308+1`	⁺12.44	⁺9.85	⁺9.87	⁺9.79	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB088+1`	⁺5.55	⁺24.67	UNK‑Non	TMO‑Non	⁺182.59	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWW268+1`	TMO‑Non	TMO‑Non	⁺125.87	⁺125.84	⁺112.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB104+1`	⁺0.05	⁺2.89	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW470+6`	⁺20.17	⁺1.17	UNK‑Non	TMO‑Non	⁺92.22	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW228+1`	⁺100.31	⁺4.56	UNK‑Non	TMO‑Non	⁺59.26	⁺61.73	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB050+1`	⁺19.38	⁺8.65	⁺88.02	⁺155.64	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL021+2`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺114.69	TMO‑Non
`REL016+3`	TMO‑Non	TMO‑Non	⁺19.82	⁺19.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL022+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺57.55	TMO‑Non
`GRP629+3`	⁺15.54	⁺0.57	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU418+3`	⁺11.54	⁺14.75	⁺11.16	⁺10.94	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL492+1`	⁺260.54	⁺156.53	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺218.52	⁺92.40	TMO‑Non
`SWW296+1`	⁺14.36	⁺11.24	⁺8.97	⁺8.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW355+1`	⁺0.37	⁺10.41	⁺7.37	⁺7.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW303+1`	⁺13.12	⁺11.11	⁺9.01	⁺4.69	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW356+1`	⁺0.52	⁺10.31	⁺5.00	⁺5.13	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR055+5`	⁺14.70	⁺14.46	⁺37.38	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL892+1`	⁺46.53	⁺145.11	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	⁺114.89	TMO‑Non
`SWW329+1`	⁺13.68	⁺11.61	⁺11.38	⁺11.34	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR031+5`	⁺14.81	⁺14.51	⁺37.63	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW347+1`	⁺13.30	⁺10.41	⁺6.35	⁺6.38	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW363+1`	⁺13.44	⁺11.50	⁺7.75	⁺9.41	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO330+1`	TMO‑Non	TMO‑Non	⁺61.14	⁺160.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO447+1`	⁺2.22	⁺188.31	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`PUZ076+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR036+4`	⁺14.06	⁺19.13	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW301+1`	⁺0.38	⁺11.62	⁺10.07	⁺10.01	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT154+1`	⁺17.10	⁺3.02	UNK‑Non	TMO‑Non	⁺62.22	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW376+1`	⁺12.23	⁺10.31	⁺8.82	⁺8.63	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL558+1`	⁺32.33	⁺19.88	⁺1.98	⁺1.13	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW380+1`	⁺13.34	⁺11.44	⁺9.87	⁺9.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW384+1`	⁺13.14	⁺11.14	⁺5.00	⁺5.01	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW395+1`	⁺13.17	⁺2.51	⁺4.85	⁺4.89	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW346+1`	⁺13.22	⁺10.34	⁺9.60	⁺9.58	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW333+1`	⁺3.70	⁺1.66	⁺7.00	⁺6.99	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT151+1`	⁺20.05	⁺2.20	UNK‑Non	TMO‑Non	⁺60.47	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO536+1`	⁺1.82	⁺286.22	TMO‑Non	TMO‑Non	⁺56.72	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWW377+1`	⁺13.52	⁺11.52	⁺9.75	⁺9.93	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW306+1`	⁺0.70	⁺0.88	⁺10.32	⁺10.24	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO511+1`	⁺101.09	TMO‑Non	⁺230.05	TMO‑Non	TMO‑Non	TMO‑Non	⁺24.44	TMO‑Non	TMO‑Non	⁺60.70	⁺60.24	TMO‑Non	TMO‑Non	TMO‑Non
`SWW292+1`	⁺16.13	⁺14.19	⁺9.69	⁺10.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO440+1`	⁺11.41	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO322+1`	TMO‑Non	TMO‑Non	⁺64.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT170+3`	⁺27.51	TMO‑Non	⁺269.74	TMO‑Non	⁺157.57	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWB039+1`	⁺0.05	⁺2.87	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO324+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW357+1`	⁺13.44	⁺11.44	⁺11.44	⁺11.48	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW189+1`	⁺60.54	TMO‑Non	⁺252.46	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KLE121+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP664+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL474+1`	⁺56.04	⁺13.08	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺162.19	TMO‑Non	TMO‑Non
`CSR056+6`	⁺109.53	⁺89.03	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺200.59	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT333+3`	TMO‑Non	⁺38.56	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL468+1`	⁺59.27	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺182.10	TMO‑Non	TMO‑Non
`SCT102+1`	⁺22.85	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺31.31	⁺5.71	TMO‑Non
`LCL530+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	⁺281.91	TMO‑Non
`SWB107+1`	⁺0.66	⁺2.85	UNK‑Non	TMO‑Non	⁺280.72	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR031+6`	⁺109.61	⁺86.32	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺199.08	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR055+6`	⁺110.03	⁺86.85	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺209.96	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR033+6`	⁺109.53	⁺140.17	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺198.93	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL466+1`	⁺54.32	⁺11.14	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	⁺176.97	TMO‑Non	TMO‑Non
`CSR030+6`	⁺112.32	⁺91.74	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺223.62	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO477+1`	⁺7.18	⁺26.32	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT124+1`	⁺25.40	⁺66.36	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR050+6`	⁺107.61	⁺91.26	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺198.45	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT310+4`	⁺5.55	⁺6.72	⁺32.53	⁺295.83	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO309+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LAT348+3`	⁺5.55	⁺3.55	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR044+5`	⁺15.04	⁺14.81	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`CSR071+6`	⁺109.12	⁺88.46	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺198.65	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWB091+1`	⁺20.94	⁺8.66	TMO‑Non	TMO‑Non	⁺275.45	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT359+2`	⁺79.10	⁺59.15	⁺49.71	⁺50.18	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU252+2`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺13.18	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP623+4`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT144+1`	⁺18.45	⁺84.27	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL570+1`	⁺38.35	⁺46.60	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT329+4`	⁺6.20	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CAT032+2`	TMO‑Non	⁺1.51	UNK‑Non	TMO‑Non	TMO‑Non	⁺77.72	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT360+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT160+1`	⁺96.39	⁺195.36	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SCT169+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL572+1`	⁺185.18	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO345+1`	⁺72.79	⁺45.60	TMO‑Non	TMO‑Non	⁺155.24	TMO‑Non	⁺261.92	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWW264+1`	⁺62.98	⁺30.93	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO471+1`	⁺26.29	⁺214.11	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SEU383+2`	⁺128.79	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT140+1`	⁺17.66	⁺81.00	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO302+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LAT379+2`	⁺186.40	⁺65.07	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT376+4`	⁺3.87	⁺29.28	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWV393+1`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP041+3`	⁺25.70	⁺18.58	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT145+1`	⁺18.20	⁺81.50	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO483+1`	⁺12.00	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`GEO338+1`	⁺55.83	⁺104.51	UNK‑Non	TMO‑Non	⁺156.88	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non
Solved/500	461/500	454/500	363/500	350/500	298/500	256/500	248/500	143/500	133/500	126/500	123/500	122/500	74/500	50/500
Av. CPU Time	16.37	15.06	26.94	25.64	43.50	31.23	29.44	46.71	48.59	54.93	50.20	29.68	62.24	40.09
Av. WC Time	16.36	15.06	26.89	25.69	45.68	11.88	29.22	46.37	48.13	55.05	50.28	29.74	62.30	40.13
Solutions	461 92%	454 90%	362 72%	350 70%	298 59%	256 51%	247 49%	143 28%	133 26%	126 25%	123 24%	122 24%	73 14%	50 10%
μEfficiency	483	473	333	339	232	94	167	56	55	61	64	113	50	21
μWCEfficiency	485	479	331	342	232	39	167	101	95	66	65	113	50	21
SOTAC	0.20	0.19	0.15	0.15	0.14	0.13	0.14	0.11	0.10	0.10	0.10	0.13	0.17	0.18
Core Usage	0.83	0.83	0.95	0.84	0.82	2.67	0.92	0.81	0.81	0.97	0.99	0.87	0.87	0.95
New Solved	2/3	2/3	1/3	1/3	0/3	1/3	0/3	0/3	0/3	0/3	0/3	0/3	0/3	0/3

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

Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ EPT EPS CML

Results for FNT (First-order Non-theorems)

First-order Non-theorems	Vampire SAT‑4.3	Vampire SAT‑4.1	iProver SAT‑2.8	CVC4 SAT‑1.6pre	E FNT‑2.2pre	Geo‑III 2018C
`SWB010+3`	⁺52.37	⁺95.81	TMO‑Non	TMO‑Non	⁺1.63	TMO‑Non
`LCL571+1`	⁺4.29	⁺0.45	⁺32.34	TMO‑Non	TMO‑Non	TMO‑Non
`KRS238+1`	⁺90.89	⁺108.54	⁺36.87	⁺38.88	TMO‑Non	TMO‑Non
`LCL883+1`	⁺4.34	⁺0.42	⁺1.98	⁺30.89	TMO‑Non	TMO‑Non
`KRS232+1`	⁺90.70	⁺99.25	⁺23.09	⁺39.59	TMO‑Non	TMO‑Non
`HAL003+2`	⁺4.30	⁺0.47	⁺2.68	TMO‑Non	TMO‑Non	TMO‑Non
`KRS246+1`	⁺115.87	⁺131.61	⁺30.37	⁺48.00	TMO‑Non	TMO‑Non
`RNG110+1`	⁺4.30	⁺0.45	⁺3.51	⁺35.77	TMO‑Non	TMO‑Non
`KRS198+1`	⁺99.90	⁺115.96	⁺43.71	⁺37.05	TMO‑Non	TMO‑Non
`LCL567+1`	⁺4.28	⁺0.46	⁺41.97	TMO‑Non	TMO‑Non	TMO‑Non
`KRS185+1`	⁺97.72	⁺99.56	⁺32.48	⁺38.74	TMO‑Non	TMO‑Non
`NUM447+1`	⁺4.28	⁺0.47	⁺0.41	⁺0.05	TMO‑Non	TMO‑Non
`KRS249+1`	⁺82.26	⁺101.43	⁺30.78	⁺40.77	TMO‑Non	TMO‑Non
`PRO007+4`	⁺4.30	⁺0.46	⁺14.26	TMO‑Non	TMO‑Non	⁺1.48
`SWB018+3`	⁺76.95	⁺74.61	TMO‑Non	TMO‑Non	⁺2.55	TMO‑Non
`KLE172+1`	⁺4.30	⁺0.47	⁺16.46	⁺35.22	TMO‑Non	TMO‑Non
`KRS223+1`	⁺88.81	⁺128.06	⁺40.90	⁺39.63	TMO‑Non	TMO‑Non
`LCL577+1`	⁺4.30	⁺0.42	⁺0.92	⁺35.55	TMO‑Non	TMO‑Non
`SWB026+3`	⁺109.20	⁺68.97	TMO‑Non	TMO‑Non	⁺3.17	TMO‑Non
`PRO013+4`	⁺4.30	⁺0.46	⁺3.86	⁺75.92	TMO‑Non	⁺1.28
`SWV012+1`	⁺0.01	⁺7.05	⁺0.05	⁺0.05	TMO‑Non	⁺0.04
`NUM440+1`	⁺4.29	⁺0.45	⁺0.05	⁺8.59	TMO‑Non	⁺66.86
`KRS245+1`	⁺86.31	⁺137.71	⁺29.81	⁺45.41	TMO‑Non	TMO‑Non
`PUZ133+3`	⁺4.30	⁺0.46	⁺13.16	⁺1.32	TMO‑Non	TMO‑Non
`KRS208+1`	⁺95.21	⁺113.42	⁺31.61	⁺38.06	TMO‑Non	TMO‑Non
`HWV113+1`	⁺5.73	⁺75.93	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS250+1`	⁺91.55	⁺113.37	⁺40.95	⁺58.49	TMO‑Non	TMO‑Non
`NUM449+1`	⁺4.28	⁺0.46	⁺0.05	⁺0.04	TMO‑Non	⁺0.05
`SWB023+3`	⁺84.05	⁺86.48	TMO‑Non	TMO‑Non	⁺2.99	TMO‑Non
`LCL884+1`	⁺4.29	⁺0.39	⁺0.89	⁺0.15	TMO‑Non	⁺0.05
`KRS225+1`	⁺103.68	⁺130.71	⁺32.22	⁺38.77	TMO‑Non	TMO‑Non
`LCL885+1`	⁺4.29	⁺0.46	⁺0.04	⁺0.04	TMO‑Non	⁺0.05
`KRS228+1`	⁺108.74	⁺94.71	⁺33.85	⁺38.92	TMO‑Non	TMO‑Non
`PRO013+3`	⁺4.29	⁺0.47	⁺13.12	⁺2.95	TMO‑Non	⁺15.15
`LCL637+1.005`	⁺191.28	⁺1.46	⁺37.77	TMO‑Non	⁺0.76	⁺82.88
`LCL886+1`	⁺4.29	⁺0.47	⁺0.04	⁺0.04	TMO‑Non	⁺0.05
`CSR155+1`	⁺0.04	⁺7.23	⁺3.61	TMO‑Non	TMO‑Non	TMO‑Non
`NUM448+1`	⁺4.30	⁺0.42	⁺0.03	⁺0.04	TMO‑Non	⁺0.85
`KRS221+1`	⁺82.48	⁺112.25	⁺26.05	⁺38.55	TMO‑Non	TMO‑Non
`LCL569+1`	⁺4.29	⁺0.45	⁺0.04	⁺40.34	TMO‑Non	TMO‑Non
`KRS204+1`	⁺80.56	⁺125.31	⁺32.44	⁺38.16	TMO‑Non	TMO‑Non
`NUM446+1`	⁺4.29	⁺0.42	⁺0.94	⁺0.04	TMO‑Non	TMO‑Non
`KRS212+1`	⁺107.06	⁺125.57	⁺30.52	⁺37.91	TMO‑Non	TMO‑Non
`GEG001+1`	⁺6.08	⁺2.17	⁺27.27	TMO‑Non	⁺0.81	TMO‑Non
`KRS247+1`	⁺114.29	⁺108.04	⁺43.23	⁺40.28	TMO‑Non	TMO‑Non
`LCL576+1`	⁺4.29	⁺0.41	⁺0.05	⁺31.40	TMO‑Non	TMO‑Non
`SWB027+3`	⁺44.76	⁺47.36	TMO‑Non	TMO‑Non	⁺3.22	TMO‑Non
`PRO007+3`	⁺4.30	⁺0.47	⁺31.45	⁺53.93	TMO‑Non	⁺134.22
`MED012+1`	⁺0.05	⁺7.11	⁺1.08	⁺30.42	TMO‑Non	⁺9.12
`HWV079+1`	⁺4.78	⁺74.56	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS237+1`	⁺81.89	⁺140.33	⁺29.34	⁺37.50	TMO‑Non	TMO‑Non
`NUM439+1`	⁺4.29	⁺0.43	⁺2.62	⁺1.01	TMO‑Non	⁺220.19
`KRS184+1`	⁺92.87	⁺98.42	⁺22.63	⁺37.86	TMO‑Non	TMO‑Non
`PRO007+1`	⁺4.30	⁺0.46	⁺45.66	⁺37.43	TMO‑Non	TMO‑Non
`LCL675+1.005`	⁺216.90	⁺1.28	⁺6.13	TMO‑Non	⁺152.74	⁺55.26
`NUM441+1`	⁺4.35	⁺0.47	⁺3.71	⁺31.80	TMO‑Non	TMO‑Non
`GEO353+1`	⁺0.01	⁺7.07	⁺0.04	⁺0.05	TMO‑Non	⁺2.43
`COM014+4`	⁺4.28	⁺0.44	⁺0.04	⁺0.44	TMO‑Non	⁺11.08
`KRS271+1`	⁺41.56	⁺104.94	⁺46.36	⁺37.85	TMO‑Non	TMO‑Non
`LCL565+1`	⁺4.30	⁺0.46	⁺33.28	TMO‑Non	TMO‑Non	TMO‑Non
`KRS210+1`	⁺76.68	⁺110.93	⁺29.80	⁺38.04	TMO‑Non	TMO‑Non
`LAT385+1`	⁺4.29	⁺0.42	⁺0.04	⁺0.04	TMO‑Non	TMO‑Non
`KRS209+1`	⁺88.08	⁺110.19	⁺30.98	⁺37.93	TMO‑Non	TMO‑Non
`KLE136+1`	⁺4.31	⁺0.46	⁺12.65	⁺11.37	TMO‑Non	TMO‑Non
`SWB034+1`	⁺2.50	⁺10.18	⁺235.27	TMO‑Non	⁺3.01	TMO‑Non
`NUM437+1`	⁺4.29	⁺0.44	⁺0.04	⁺0.05	TMO‑Non	⁺85.59
`KRS176+1`	⁺0.01	⁺7.08	⁺0.05	⁺0.04	⁺0.05	TMO‑Non
`HWV071+1`	⁺4.70	⁺74.37	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS197+1`	⁺89.36	⁺103.78	⁺40.95	⁺44.03	TMO‑Non	TMO‑Non
`LAT386+1`	⁺4.30	⁺0.45	⁺0.04	⁺0.04	TMO‑Non	TMO‑Non
`SWB030+3`	⁺3.10	⁺9.56	⁺251.93	TMO‑Non	⁺1.78	TMO‑Non
`LAT384+1`	⁺4.28	⁺0.38	⁺0.90	⁺0.04	TMO‑Non	⁺0.58
`KRS207+1`	⁺90.62	⁺102.95	⁺48.71	⁺38.14	TMO‑Non	TMO‑Non
`NUM445+5`	⁺4.30	⁺0.45	⁺1.18	⁺0.04	TMO‑Non	⁺140.23
`KRS206+1`	⁺77.81	⁺125.69	⁺39.36	⁺38.07	TMO‑Non	TMO‑Non
`HAL005+1`	⁺4.27	⁺0.47	⁺6.56	TMO‑Non	TMO‑Non	TMO‑Non
`KRS230+1`	⁺88.56	⁺109.44	⁺29.42	⁺39.86	TMO‑Non	TMO‑Non
`HWV073+1`	⁺4.92	⁺74.61	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS213+1`	⁺97.48	⁺115.60	⁺50.46	⁺38.04	TMO‑Non	TMO‑Non
`HWV072+1`	⁺7.37	⁺76.56	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL657+1.005`	⁺191.33	⁺1.49	⁺7.21	TMO‑Non	⁺151.81	⁺30.20
`PRO013+2`	⁺4.33	⁺0.47