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

Results for:
THF TFA TFN FOF FNT UEQ SLH TNE TEQ TFI TFE TFN FNE FEQ FNN FNQ UEQ SLH

Results for THF (Higher-order Theorems)

Higher-order Theorems Vampire
4.8
Zipperpin
2.1.9999
Zipperpin
2.1.999
E
3.1
Leo-III
1.7.8
Satallax
3.4
cvc5
1.0.5
Lash
1.13
LEO-II
1.7.0
Duper
1.0
GEG013^1 +0.29 +0.65 +0.64 +0.34 +1.68 +61.73 +0.38 +0.32 GUP‑Non TMO‑Non
CSR144^1 +0.25 +0.69 +0.69 +0.40 +2.66 +4.57 +0.42 +15.41 TMO‑Non +4.39
SEU796^1 +8.76 +1.13 +1.10 +0.67 +17.47 TMO‑Non TMO‑Non +4.03 GUP‑Non TMO‑Non
PUZ081^3 +0.25 +0.64 +0.62 +0.37 +1.41 +4.72 +0.39 0.27 GUP‑Non +3.72
SET609^3 +0.26 +0.65 +0.63 +0.32 +1.63 +0.23 +2.53 0.28 GUP‑Non TMO‑Non
SYO180^5 +0.26 +0.62 +0.65 +0.63 +1.49 +4.79 +0.38 0.28 GUP‑Non TMO‑Non
SET611^3 +0.26 +0.66 +0.67 +0.36 +2.85 +0.24 +1.53 +0.28 GUP‑Non TMO‑Non
NUM791^1 +0.25 +0.63 +0.64 +0.34 +1.48 +0.23 +0.39 +0.27 GUP‑Non +3.53
SEU572^1 +0.31 +0.81 +0.77 +0.43 +2.64 +0.27 +0.65 +15.83 GUP‑Non TMO‑Non
SYO560^1 +1.09 +0.66 +0.67 +0.36 +2.67 +4.63 +0.66 +0.57 TMO‑Non TMO‑Non
SEU687^2 +0.27 +0.88 +0.82 +0.36 +1.69 +126.74 +42.25 TMO‑Non TMO‑Non TMO‑Non
SYO386^5 +0.28 +0.88 +0.80 +0.36 +1.49 +1.29 +4.00 +0.47 +0.60 TMO‑Non
SEV260^5 +0.26 +1.10 +1.12 +0.54 +2.55 TMO‑Non +47.40 +15.84 GUP‑Non TMO‑Non
SYO327^5 +0.25 +1.14 +0.90 +0.35 +11.83 +89.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP155^1 +2.01 +10.76 +11.65 +0.54 +4.33 +122.85 +1.05 +15.59 GUP‑Non TMO‑Non
CSR131^1 +0.44 +1.18 +1.10 +0.36 +8.48 TMO‑Non +0.42 +0.50 TMO‑Non TMO‑Non
SEV289^5 +0.29 +0.70 +0.89 +0.38 +1.74 +0.24 TMO‑Non +0.29 GUP‑Non TMO‑Non
PUZ094^5 +0.27 +0.73 +0.70 +0.36 +1.61 +0.44 +0.53 +2.40 +0.59 +4.43
SEU665^2 +0.26 +0.76 +0.77 +0.36 +5.13 +1.14 TMO‑Non +24.33 TMO‑Non TMO‑Non
SYO179^5 +0.32 +1.58 +1.53 +0.41 +1.53 +62.41 +0.44 0.27 +0.51 +10.10
SEU630^2 +0.26 +0.71 +0.71 +0.35 +3.01 +2.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO388^5 +0.29 +0.87 +0.89 +0.36 +1.91 +2.38 +31.19 +4.97 +1.27 TMO‑Non
PHI003^2 +0.26 +0.74 +0.73 +0.32 TMO‑Non +4.56 +52.06 +0.28 +0.28 TMO‑Non
SYO272^5 +0.44 +1.01 +0.99 +0.37 +5.70 +112.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU801^1 +1.32 +13.19 +13.30 +1.51 +9.44 +55.52 TMO‑Non +18.75 GUP‑Non TMO‑Non
SYO376^5 +0.30 +0.68 +0.66 +0.36 +1.85 +0.23 +0.46 0.26 +0.36 UNK‑Non
NLP266^4 +0.36 +0.81 +0.81 +0.40 +1.57 +2.47 ERR‑Non TMO‑Non +0.51 TMO‑Non
SEV082^5 +0.26 +0.94 +0.92 +0.37 +1.46 +23.45 UNK‑Non +0.38 +0.99 TMO‑Non
SEU461^1 +0.36 +1.20 +1.16 +0.37 +1.67 +0.24 +0.51 +0.30 GUP‑Non TMO‑Non
SYO264^5 +0.28 +1.55 +1.83 +0.68 +2.19 +4.70 UNK‑Non TMO‑Non +4.36 TMO‑Non
SEU497^1 +0.28 +0.66 +0.69 +0.37 +2.19 +1.44 +0.44 0.29 GUP‑Non TMO‑Non
SEV091^5 +0.27 +0.67 +0.67 +0.35 +1.41 +0.33 +0.41 0.23 +0.27 +7.95
SEU530^1 +0.30 +0.69 +0.63 +0.38 +3.06 +0.26 +0.51 +0.27 GUP‑Non TMO‑Non
SEV086^5 +0.28 +3.90 +3.93 +0.37 +2.16 +23.33 UNK‑Non TMO‑Non +7.17 TMO‑Non
SYO555^1 +0.39 +0.78 +0.69 +0.36 +2.10 +0.25 +35.83 0.27 GUP‑Non TMO‑Non
SYO514^1 +0.27 +0.71 +0.67 +0.36 TMO‑Non TMO‑Non UNK‑Non +60.52 +0.29 TMO‑Non
ITP090^1 +0.51 +1.12 +0.94 +0.53 +4.58 TMO‑Non +1.10 +0.38 GUP‑Non TMO‑Non
SEV148^5 +0.52 +6.88 +6.84 TMO‑Non +34.62 +62.54 +0.59 +0.65 TMO‑Non TMO‑Non
SET640^3 +0.26 +0.59 +0.64 +0.36 +1.31 +0.24 +0.41 +0.30 GUP‑Non TMO‑Non
CSR130^1 +0.24 +0.70 +0.63 +0.34 +2.18 +79.82 +0.36 +0.33 +0.37 +4.81
ITP180^1 +0.39 +4.40 +5.16 +0.46 +6.29 +2.54 +0.88 +20.93 GUP‑Non TMO‑Non
SEV019^5 +0.27 +0.76 +0.76 +0.37 +2.01 +31.15 +0.58 +0.55 +0.29 +14.24
MSC025^2 +0.32 +0.65 +0.69 +98.97 +2.47 +0.47 +0.41 +0.57 GUP‑Non TMO‑Non
SYO387^5 +0.28 +0.88 +0.91 +0.38 +1.68 +0.89 +32.05 +1.79 +0.75 +20.47
ITP034^1 +0.33 +0.68 +0.68 +0.45 +3.98 +6.54 +0.99 +0.51 GUP‑Non TMO‑Non
SYO374^5 +0.25 +0.67 +0.61 +0.36 +1.48 +4.62 +0.70 TMO‑Non +0.34 TMO‑Non
SEU522^1 +0.28 +0.65 +0.66 +0.35 +2.03 +113.20 +0.51 +0.37 GUP‑Non TMO‑Non
SYO169^5 +0.28 +0.68 +0.71 +0.36 +1.48 +112.41 +0.49 +0.71 +0.29 +3.63
GEG019^1 +0.47 +12.84 +12.78 +1.57 +17.29 +23.81 +37.58 +14.72 GUP‑Non TMO‑Non
PUZ047^5 +0.25 +0.67 +0.61 +0.38 +1.50 +0.26 +0.59 TMO‑Non +0.44 +5.66
CSR153^2 +0.27 +0.66 +0.65 +0.38 +12.21 +110.36 TMO‑Non TMO‑Non +0.39 TMO‑Non
SEV218^5 +0.26 +0.76 +0.71 +0.37 +1.46 +63.04 +0.51 +0.51 +0.31 +13.31
SEU569^1 +0.26 +0.70 +0.67 +0.41 +2.65 +0.28 +0.62 +0.31 GUP‑Non TMO‑Non
SYO310^5 +0.25 +0.65 +0.60 +0.35 +1.23 +23.31 UNK‑Non +0.27 +0.44 TMO‑Non
NUM737^1 +7.04 +9.66 +9.32 +0.81 +20.78 +88.30 +0.91 TMO‑Non TMO‑Non TMO‑Non
PUZ031^5 +0.29 +0.76 +0.78 +0.36 +1.66 +0.93 +0.75 +1.11 +0.86 +4.82
SEV212^5 +19.82 +7.48 +10.07 +0.42 +1.91 TMO‑Non +0.53 TMO‑Non TMO‑Non TMO‑Non
SEV052^5 +0.26 +0.96 +0.93 +0.35 +1.62 +23.32 UNK‑Non +0.39 +0.93 TMO‑Non
SEU531^1 +0.29 +0.69 +0.67 +0.40 +2.12 +0.26 +0.55 +17.13 GUP‑Non TMO‑Non
SYO317^5 +0.26 +0.69 +0.68 +0.34 +2.95 +88.59 +10.74 TMO‑Non +0.25 +11.09
CSR131^2 +0.53 +0.88 +0.71 +0.37 +103.09 +178.73 +0.60 +0.34 +45.55 TMO‑Non
SEV083^5 +0.26 +0.97 +1.00 +0.37 +1.47 +23.33 UNK‑Non +11.68 +0.90 TMO‑Non
ITP189^1 +0.38 +6.79 +6.09 +0.68 +5.34 +1.05 +0.90 +16.65 GUP‑Non TMO‑Non
SEV095^5 +0.44 +11.87 +7.20 +0.60 TMO‑Non +5.72 UNK‑Non +3.70 TMO‑Non TMO‑Non
ITP028^1 +0.34 +1.05 +1.04 +0.45 +2.52 +4.68 +0.90 +0.35 GUP‑Non TMO‑Non
SYO391^5 +0.30 +1.28 +1.27 +0.36 +1.86 +1.41 +32.79 +0.90 +1.92 TMO‑Non
SEU807^2 +0.34 +0.68 +0.68 +0.36 +1.47 +105.01 +0.81 TMO‑Non GUP‑Non +74.21
SYN036^5 +0.26 +0.80 +0.74 +0.44 +1.68 +4.71 +0.43 +4.34 +0.45 TMO‑Non
GEG018^1 +0.30 +0.67 +0.75 +0.33 +1.75 +61.74 +0.53 +0.28 GUP‑Non TMO‑Non
SYO325^5 +0.68 +7.13 +9.25 +0.36 TMO‑Non +0.23 +0.44 +45.66 TMO‑Non TMO‑Non
SEU512^1 +0.25 +0.65 +0.65 +0.38 +1.88 +10.28 +0.45 +0.31 GUP‑Non TMO‑Non
SYO173^5 +0.33 +0.79 +0.80 +0.36 +1.40 +88.05 TMO‑Non TMO‑Non +0.32 +9.06
SEU675^2 +0.27 +0.74 +0.71 +0.35 +5.78 +0.25 TMO‑Non +16.08 TMO‑Non +26.61
SYO324^5 +0.47 +2.33 +2.30 +0.32 TMO‑Non +4.70 +0.44 +15.31 +26.32 TMO‑Non
SET753^4 +0.26 +0.65 +0.64 +0.37 +1.65 +0.24 +0.36 +0.28 GUP‑Non TMO‑Non
SEV085^5 +0.27 +3.01 +2.73 +0.35 +6.53 TMO‑Non UNK‑Non +106.31 TMO‑Non TMO‑Non
SEU730^1 +11.27 +7.87 +7.41 +13.24 +19.11 +9.05 +3.59 TMO‑Non GUP‑Non TMO‑Non
MSC020^5 +0.38 +1.16 +1.02 +0.35 +39.91 +5.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU535^1 +0.28 +0.71 +0.74 +0.34 +3.11 +0.28 +0.53 +0.26 GUP‑Non TMO‑Non
SYO174^5 +0.34 +9.39 +14.77 TMO‑Non +1.49 +4.94 +1.26 +15.44 TMO‑Non TMO‑Non
SEU671^1 +0.35 +1.57 +1.19 +0.50 +8.52 +54.77 TMO‑Non +80.08 GUP‑Non TMO‑Non
NUM762^1 +0.27 +0.64 +0.66 +0.33 +1.59 +87.93 +0.48 +141.63 GUP‑Non +6.29
SEU897^5 +0.27 +0.74 +0.77 +99.14 +2.96 +6.12 TMO‑Non +17.70 +47.25 TMO‑Non
SEV084^5 +0.25 +0.93 +0.95 +0.35 +1.54 +23.32 UNK‑Non +0.36 GUP‑Non TMO‑Non
NUM651^1 +0.26 +0.57 +0.61 +0.37 +1.46 +4.90 +0.44 TMO‑Non GUP‑Non +5.23
SEV152^5 +0.53 +6.87 +44.59 TMO‑Non +2.18 TMO‑Non +0.66 +95.31 TMO‑Non TMO‑Non
AGT029^1 +0.39 +1.57 +1.56 +0.44 +21.53 TMO‑Non +1.55 UNK‑Non +0.70 TMO‑Non
SEV154^5 +0.52 +7.28 +44.45 TMO‑Non +1.96 +64.86 +0.55 +101.87 TMO‑Non TMO‑Non
SEU514^1 +0.29 +0.65 +0.69 +0.33 +3.26 +14.36 +0.46 +0.37 GUP‑Non TMO‑Non
SEU960^5 +0.76 +1.90 +1.31 +0.36 +10.14 +87.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU533^1 +0.31 +0.66 +0.67 +0.43 +2.06 +0.53 +0.55 +15.63 GUP‑Non TMO‑Non
SEU948^5 +2.65 +41.46 +41.73 +0.37 +9.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP181^1 +0.50 +1.02 +1.06 +0.66 TMO‑Non +22.32 +0.95 +16.65 GUP‑Non TMO‑Non
SEV157^5 +0.50 +7.18 +8.46 TMO‑Non +13.85 TMO‑Non +1.37 TMO‑Non TMO‑Non TMO‑Non
GEG015^1 +0.37 +4.53 +3.83 +0.38 +1.70 +61.92 +0.48 +0.33 GUP‑Non TMO‑Non
SEV153^5 +0.55 +7.07 +6.97 TMO‑Non +2.79 TMO‑Non +0.64 +96.28 GUP‑Non TMO‑Non
ITP077^1 +0.37 +0.81 +0.83 +0.54 +10.30 +123.65 +1.05 TMO‑Non GUP‑Non +6.25
SEV156^5 +0.57 +6.86 +6.89 TMO‑Non +2.61 TMO‑Non +0.51 TMO‑Non GUP‑Non TMO‑Non
SEU602^1 +0.39 +0.85 +0.82 +0.39 +2.95 +37.59 TMO‑Non +16.23 GUP‑Non TMO‑Non
SEV310^5 +0.96 +7.10 +85.33 +0.52 TMO‑Non TMO‑Non +0.40 +137.97 +0.59 TMO‑Non
ITP187^1 +0.39 +1.40 +1.57 +32.32 +6.77 +54.82 +0.82 +16.90 GUP‑Non TMO‑Non
SYO288^5 +0.48 +0.66 +0.64 GUP‑Non +1.51 +153.88 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU656^2 +0.69 +9.20 +19.43 +0.37 +4.00 +61.73 TMO‑Non +16.40 TMO‑Non +71.45
SYO287^5 +0.47 +0.60 +0.62 GUP‑Non +1.46 +153.87 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU800^1 +0.59 +6.60 +7.33 +1.45 +12.49 +55.27 TMO‑Non +18.63 GUP‑Non TMO‑Non
SEV155^5 +0.48 +7.07 +7.11 TMO‑Non +2.05 TMO‑Non +1.15 TMO‑Non TMO‑Non TMO‑Non
NUM662^1 +0.25 +0.64 +0.63 +0.35 +1.44 +4.88 +0.40 TMO‑Non GUP‑Non +5.85
LCL728^5 +0.87 +45.06 +44.68 TMO‑Non TMO‑Non +79.49 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU575^1 +0.28 +0.69 +0.72 +0.42 +2.81 +2.01 +0.65 +0.35 GUP‑Non TMO‑Non
SEV066^5 +0.26 +6.98 +7.62 +0.62 TMO‑Non +84.74 UNK‑Non +0.39 GUP‑Non TMO‑Non
SEU778^1 +0.58 +0.74 +0.73 +1.15 +8.41 +177.32 TMO‑Non +15.75 GUP‑Non TMO‑Non
SYO548^1 +0.35 +0.68 +0.66 GUP‑Non +1.75 +84.46 UNK‑Non +15.30 TMO‑Non TMO‑Non
ITP071^1 +0.40 +0.71 +0.74 +0.59 +6.67 +0.97 +1.10 TMO‑Non GUP‑Non TMO‑Non
SYO334^5 +0.28 +0.68 +0.67 +0.36 +2.27 TMO‑Non TMO‑Non TMO‑Non +0.32 TMO‑Non
SEU540^1 +0.34 +0.84 +0.94 +0.39 +2.23 +1.83 +0.52 +16.17 GUP‑Non TMO‑Non
SYO309^5 +0.36 +0.97 +0.98 +0.35 +3.92 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP111^1 +1.12 +0.78 +0.84 +1.20 +2.57 +20.74 +0.54 +15.84 GUP‑Non TMO‑Non
SYO209^5 +0.34 +25.47 +9.28 GUP‑Non +5.08 +160.20 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP088^1 +1.18 +8.87 +14.99 +0.73 +9.65 +0.65 +1.04 TMO‑Non GUP‑Non TMO‑Non
SEV246^6 +0.87 +7.20 +82.27 +0.36 TMO‑Non TMO‑Non +0.45 +138.10 TMO‑Non TMO‑Non
SEU582^1 +1.01 +4.15 +4.47 +0.39 +2.87 +1.93 +0.68 +17.27 GUP‑Non TMO‑Non
GRA030^1 +0.77 +9.62 +9.05 +0.61 TMO‑Non +62.43 UNK‑Non +1.31 TMO‑Non TMO‑Non
SEU566^1 +0.32 +0.69 +0.68 +0.43 +2.65 +0.28 +0.59 +0.30 GUP‑Non TMO‑Non
SEV243^5 +4.73 +6.94 +96.20 +0.34 TMO‑Non TMO‑Non +0.45 +137.13 TMO‑Non TMO‑Non
SEU534^1 +0.31 +0.82 +0.81 +0.39 +2.33 +0.29 +35.89 +0.40 GUP‑Non TMO‑Non
SEV252^5 +7.09 +10.05 +87.44 +0.41 TMO‑Non TMO‑Non +0.47 +137.47 TMO‑Non TMO‑Non
SEU751^1 +0.50 +3.00 +3.63 +0.79 +12.75 +11.63 +5.66 TMO‑Non GUP‑Non TMO‑Non
SEV064^5 +0.30 +7.08 +8.69 +0.59 TMO‑Non +84.80 UNK‑Non +0.38 GUP‑Non TMO‑Non
SEU474^1 +0.26 +0.65 +0.65 +0.36 +1.78 +0.24 +35.71 +0.26 GUP‑Non TMO‑Non
SEV244^6 +3.82 +8.55 +88.59 +0.39 TMO‑Non TMO‑Non +0.46 +137.20 TMO‑Non TMO‑Non
ITP106^1 +0.49 +3.40 +2.03 +0.70 +3.31 TMO‑Non +0.78 TMO‑Non GUP‑Non TMO‑Non
SYO269^5 +13.58 +8.76 +107.31 +0.37 TMO‑Non +105.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP168^1 +0.42 +5.25 +4.64 +1.14 TMO‑Non TMO‑Non +1.11 +16.12 GUP‑Non TMO‑Non
GRA028^1 +0.35 +21.62 +21.38 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU528^1 +0.29 +0.71 +0.66 +0.39 +2.06 +0.26 +0.52 +0.35 GUP‑Non TMO‑Non
SEU939^5 +16.49 +8.81 +67.61 +0.37 TMO‑Non +4.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU519^1 +0.35 +0.78 +0.79 +0.38 +1.97 +62.30 +0.52 +106.10 GUP‑Non TMO‑Non
SEV100^5 +0.29 +20.12 +7.27 +0.48 TMO‑Non +108.37 TMO‑Non +0.39 GUP‑Non TMO‑Non
SEU646^1 +3.12 +0.75 +0.74 +36.83 +5.68 +0.39 +1.03 TMO‑Non GUP‑Non TMO‑Non
SEV101^5 +0.31 +7.35 +11.10 +0.48 TMO‑Non +108.36 TMO‑Non +0.37 GUP‑Non TMO‑Non
SYO538^1 +0.26 +0.67 +0.66 +0.36 +1.53 +0.24 +0.45 +0.26 GUP‑Non TMO‑Non
SEV246^5 +1.15 +9.06 +81.62 +0.39 TMO‑Non TMO‑Non +0.41 +143.02 TMO‑Non TMO‑Non
SET647^3 +0.26 +0.60 +0.60 +0.37 +1.60 +0.24 +0.43 +0.28 GUP‑Non TMO‑Non
GRA027^1 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +108.54 UNK‑Non +1.20 TMO‑Non TMO‑Non
SCT171^1 +0.34 +0.85 +0.91 +0.43 +4.86 +0.25 +41.02 +0.29 TMO‑Non TMO‑Non
SEV165^5 +0.72 +5.28 +2.82 TMO‑Non +2.95 +151.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU995^5 +0.26 +0.61 +0.67 +0.38 +1.53 +4.56 +33.84 +15.28 GUP‑Non TMO‑Non
SEU940^5 +0.26 +0.79 +0.85 +0.37 TMO‑Non +112.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU659^1 +0.42 +0.99 +0.95 +0.46 +4.23 +0.37 +1.04 TMO‑Non GUP‑Non TMO‑Non
LCL729^5 +6.81 +117.38 +33.35 TMO‑Non +10.02 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
ITP031^1 +0.33 +2.38 +2.30 +0.45 +4.58 TMO‑Non +1.21 TMO‑Non GUP‑Non TMO‑Non
SEV071^5 +141.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU563^1 +0.34 +0.81 +0.89 +0.33 +3.72 +0.33 +0.62 +0.32 GUP‑Non TMO‑Non
SEV072^5 +0.37 +95.76 +96.04 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
ALG266^2 +0.36 +3.76 +3.80 +0.43 +1.86 TMO‑Non +0.58 +17.68 +1.53 TMO‑Non
SEV400^5 +0.45 +21.10 +23.24 +100.39 TMO‑Non +153.52 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SYO541^1 +0.26 +0.61 +0.65 +0.34 +2.09 +8.28 +1.04 +0.27 GUP‑Non TMO‑Non
SEV113^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU704^2 +0.48 +1.02 +1.17 +0.37 +5.57 TMO‑Non +36.45 TMO‑Non GUP‑Non TMO‑Non
SEV317^5 +8.67 +13.63 +15.83 +3.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR139^2 +0.27 +0.66 +0.66 +0.36 +2.53 TMO‑Non +10.99 TMO‑Non +3.61 +10.77
SEV414^5 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU777^1 +3.39 +17.18 +17.56 +2.25 +10.10 +55.43 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEV050^5 +5.70 +94.41 +93.11 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP107^1 +0.32 +0.73 +0.70 +0.42 +6.92 +9.26 +0.94 +23.96 GUP‑Non TMO‑Non
SYO338^5 +30.58 +6.40 +6.47 +2.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM670^1 +0.25 +0.61 +0.65 +0.33 +1.55 +4.83 +0.40 TMO‑Non GUP‑Non +3.56
SEV321^5 +1.24 +9.27 +7.21 +5.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP145^1 +1.95 +4.59 +4.48 +0.69 +5.81 +3.66 +1.04 +15.69 GUP‑Non TMO‑Non
SYO332^5 +5.46 +42.46 +42.48 TMO‑Non TMO‑Non +79.69 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU756^1 +0.58 +1.32 +1.37 +0.89 +8.89 +3.31 +1.85 TMO‑Non GUP‑Non TMO‑Non
SYO330^5 +6.80 +9.47 +100.86 +0.51 +3.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP097^1 +0.51 +0.82 +0.86 +0.47 +3.05 +3.11 +0.78 TMO‑Non GUP‑Non TMO‑Non
SYO326^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG268^2 +0.43 +3.76 +4.82 +0.39 +2.16 TMO‑Non +0.63 +16.03 +1.38 TMO‑Non
SEV253^5 TMO‑Non TMO‑Non +14.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP200^1 +0.34 +4.61 +3.99 +0.54 +5.25 +117.55 +1.04 +0.32 GUP‑Non TMO‑Non
SEV069^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU819^1 +2.21 +9.01 +8.85 +69.87 +11.57 +0.67 +2.38 TMO‑Non GUP‑Non TMO‑Non
SEV318^5 +4.48 +13.52 TMO‑Non +3.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP144^1 +0.27 +0.73 +0.68 +0.38 +3.64 +0.32 +0.66 TMO‑Non GUP‑Non TMO‑Non
SYO329^5 +0.74 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP182^1 +0.37 +2.64 +2.63 +0.47 +6.74 +4.80 +0.93 +18.11 GUP‑Non TMO‑Non
SEV319^5 +45.77 +9.41 TMO‑Non +3.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU768^1 +6.67 +19.53 +19.61 +0.65 +8.42 TMO‑Non +2.45 +9.27 GUP‑Non TMO‑Non
SEV068^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEV037^5 +1.23 +1.59 +1.64 TMO‑Non +72.49 TMO‑Non +41.91 +125.88 +5.32 UNK‑Non
SEV305^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV292^5 +0.27 +1.09 +0.87 +0.38 +14.01 +0.24 TMO‑Non +15.34 GUP‑Non TMO‑Non
SYO509^1 +0.49 +41.41 +41.06 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET651^3 +0.25 +0.63 +0.64 +0.38 +1.42 +0.23 +0.39 +0.29 GUP‑Non TMO‑Non
MSC021^5 +3.28 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO556^1 +0.41 +8.70 +8.65 +0.37 +2.20 +0.29 +0.46 0.29 GUP‑Non TMO‑Non
SEV305^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW469^1 +0.24 +0.60 +0.61 +0.32 +1.43 +0.23 +0.39 +0.27 GUP‑Non +3.40
SEV312^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU757^2 +0.47 +1.52 +1.83 +0.38 TMO‑Non +0.39 TMO‑Non +17.19 TMO‑Non TMO‑Non
SYO533^1 +0.49 +44.96 +41.37 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SYO304^5 +0.26 +0.59 +0.63 +0.32 +2.54 +0.22 +0.70 +0.47 GUP‑Non UNK‑Non
SEV319^6 +1.61 +11.23 +14.58 +5.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG282^5 +0.24 +0.64 +0.56 +0.37 +1.48 +92.54 TMO‑Non TMO‑Non +0.26 +4.00
SWV443^1 +0.27 +0.61 +0.69 +0.38 +1.94 +0.25 +0.45 +0.29 +0.36 TMO‑Non
ITP140^1 +0.35 +0.80 +0.81 +0.49 +2.76 TMO‑Non +1.09 +0.52 GUP‑Non TMO‑Non
SEU674^1 +3.95 +0.73 +0.76 +0.60 +2.87 +109.07 +36.14 +0.30 GUP‑Non TMO‑Non
SEV195^5 +0.27 +0.68 +0.69 +0.36 +13.07 +88.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEG011^1 +0.29 +11.46 +11.57 +0.40 +1.88 +23.89 +0.49 +0.87 GUP‑Non TMO‑Non
SEU798^1 +0.57 +18.49 +11.20 +5.00 +9.58 +55.57 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP179^1 +0.71 +4.06 +4.07 +0.63 +5.85 +3.49 +1.07 +24.85 GUP‑Non TMO‑Non
NUM801^1 +0.24 +0.64 +0.69 +1.92 +2.41 TMO‑Non TMO‑Non +0.31 +26.48 TMO‑Non
SEU571^1 +3.73 +0.77 +0.83 +0.67 +2.61 +0.82 +0.66 +15.41 GUP‑Non TMO‑Non
SEU640^1 +18.79 +0.97 +0.89 +141.02 +3.86 +108.99 +35.90 +1.04 GUP‑Non TMO‑Non
SWV061^7 +0.68 +0.98 +0.96 +0.70 +6.13 +55.53 +1.40 +0.32 TMO‑Non TMO‑Non
SET673^3 +0.25 +0.66 +0.65 +0.36 +1.75 +0.24 +1.41 +0.28 GUP‑Non TMO‑Non
SEV124^5 +0.27 +2.61 +2.27 +0.36 TMO‑Non +0.35 +0.36 TMO‑Non +0.76 TMO‑Non
SEU498^1 +0.25 +0.70 +0.66 +0.34 +1.60 +0.26 +0.39 0.28 GUP‑Non TMO‑Non
SEU565^1 +0.31 +0.67 +0.70 +0.44 +2.65 +0.28 +0.61 +0.36 GUP‑Non TMO‑Non
SEU547^1 +0.29 +0.66 +0.67 +0.33 +3.31 +0.28 +0.44 +15.48 GUP‑Non TMO‑Non
ITP033^1 +0.34 +1.40 +1.41 +0.42 +4.31 +0.66 +1.11 +0.35 GUP‑Non +5.91
ITP035^1 +0.37 +0.82 +0.64 +0.48 +3.57 +21.56 +0.75 +0.34 GUP‑Non TMO‑Non
NUM814^5 +0.27 +0.78 +0.83 +0.35 +4.43 +88.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU511^1 +0.25 +0.72 +0.68 +0.38 +2.03 +4.63 +0.48 +0.36 GUP‑Non TMO‑Non
ITP053^1 +0.40 +0.84 +0.98 +0.49 +4.33 +4.78 +0.55 TMO‑Non GUP‑Non TMO‑Non
SEU554^1 +0.27 +0.70 +0.68 +0.39 +2.41 +0.27 +0.45 +0.32 GUP‑Non TMO‑Non
ITP043^1 +0.51 +12.03 +12.54 +0.49 +5.24 +110.21 +0.72 TMO‑Non GUP‑Non TMO‑Non
SEU494^1 +0.27 +0.70 +0.68 +0.37 +1.57 +0.23 +0.43 +0.31 GUP‑Non TMO‑Non
SYO030^1 +0.25 +0.86 +0.85 +0.35 +1.33 +9.13 +30.90 +0.27 GUP‑Non +6.19
SEV129^5 +0.28 +8.13 +8.12 +0.38 TMO‑Non +0.40 +0.34 TMO‑Non +1.11 TMO‑Non
ITP198^1 +0.36 +0.88 +0.87 +0.47 +6.40 +119.67 TMO‑Non +0.40 GUP‑Non TMO‑Non
SEU998^5 +0.48 +0.76 +0.83 +0.33 +1.82 +113.94 +0.47 TMO‑Non GUP‑Non TMO‑Non
SEU592^1 +0.39 +0.90 +0.81 +0.44 +3.71 +37.49 TMO‑Non +16.26 GUP‑Non TMO‑Non
NUM816^5 +0.26 +0.64 +0.65 +0.36 +2.37 +87.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP078^1 +0.39 +2.38 +2.35 +0.44 +6.45 +58.16 +0.88 +17.48 GUP‑Non TMO‑Non
SET066^1 +0.25 +0.66 +0.63 +0.35 +1.72 +0.23 +0.36 +0.28 GUP‑Non TMO‑Non
NUM812^5 +0.25 +0.68 +0.68 +0.36 +4.11 +62.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP056^1 +0.34 +1.29 +1.82 +0.44 +3.37 +1.19 +0.61 +0.28 GUP‑Non +24.06
ALG285^5 +0.29 +0.65 +0.65 +0.33 +1.50 +5.10 TMO‑Non TMO‑Non +0.31 +42.41
SEU660^1 +0.37 +1.21 +1.22 +0.48 +4.11 +0.35 +1.02 TMO‑Non GUP‑Non TMO‑Non
SET623^3 +0.29 +0.60 +0.65 +0.36 +2.89 +0.24 +5.79 0.27 GUP‑Non TMO‑Non
ITP156^1 +0.39 +1.61 +1.17 +0.48 +7.38 +11.09 +0.92 TMO‑Non GUP‑Non TMO‑Non
ITP012^1 +0.29 +0.67 +0.67 +0.46 +1.88 TMO‑Non +0.62 +1.64 TMO‑Non TMO‑Non
ITP065^1 +0.24 +0.64 +0.62 +0.36 +1.62 +4.58 +0.32 +0.27 GUP‑Non +3.50
SEU699^2 +0.28 +8.33 +8.75 +0.42 +2.37 +0.24 TMO‑Non +15.71 TMO‑Non TMO‑Non
SEU545^1 +0.31 +0.80 +0.75 +0.35 +2.36 +112.89 +0.57 +1.84 GUP‑Non TMO‑Non
SEU695^2 +0.26 +0.94 +0.93 +0.32 +2.01 +0.26 TMO‑Non +27.96 TMO‑Non TMO‑Non
SEU957^5 +0.25 +0.63 +0.45 +0.35 +1.75 +92.43 UNK‑Non TMO‑Non +0.25 TMO‑Non
AGT032^2 +0.50 +1.04 +0.90 +0.33 +2.00 +106.68 ERR‑Non TMO‑Non +0.41 TMO‑Non
SEU697^1 +0.34 +0.72 +0.72 +0.48 +3.15 +0.37 +0.69 +0.29 GUP‑Non TMO‑Non
ITP117^1 +0.37 +0.79 +0.71 +0.44 +4.83 +0.29 +41.61 +0.33 GUP‑Non TMO‑Non
LCL872^1 +0.37 +4.46 +5.36 +0.62 TMO‑Non +0.25 TMO‑Non +68.48 +0.37 TMO‑Non
ITP038^1 +0.40 +0.69 +0.72 +0.45 +2.87 +0.26 +0.92 +0.39 GUP‑Non TMO‑Non
ITP216^3 +3.74 UNK‑Non UNK‑Non +2.20 UNK‑Non GUP‑Non +101.08 UNK‑Non GUP‑Non TMO‑Non
ITP118^1 +0.42 +0.73 +0.77 +0.48 +3.84 +1.46 +0.78 TMO‑Non GUP‑Non TMO‑Non
SEU676^1 +0.36 +0.73 +0.71 +1.35 TMO‑Non TMO‑Non TMO‑Non +2.96 GUP‑Non TMO‑Non
NUM926^3 +1.88 +20.17 +19.84 +0.81 +6.19 TMO‑Non +1.39 TMO‑Non GUP‑Non TMO‑Non
NUM417^1 +0.83 +1.48 +1.33 +0.36 +93.50 +0.27 +0.40 +0.27 TMO‑Non TMO‑Non
SEU472^1 +0.27 +0.63 +0.61 +0.36 +1.51 +0.24 +0.46 +0.26 GUP‑Non TMO‑Non
ITP203^1 +2.30 +17.33 +27.52 +24.11 TMO‑Non +122.78 +1.55 +31.87 GUP‑Non TMO‑Non
SEU792^1 +0.52 +8.86 +8.93 +3.48 +17.49 +1.23 +1.61 TMO‑Non GUP‑Non TMO‑Non
SEV303^5 +0.33 +1.69 +2.60 +0.33 +2.76 +0.59 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO852^1 +0.46 +15.42 +15.26 +23.54 TMO‑Non TMO‑Non +18.54 TMO‑Non +25.33 TMO‑Non
SWV428^2 +0.39 +74.92 +114.71 +1.84 TMO‑Non +48.65 +0.37 +0.37 +4.71 TMO‑Non
SWV097^7 +0.63 +7.08 +6.63 TMO‑Non +5.40 +108.91 +2.31 +0.31 TMO‑Non TMO‑Non
SEU581^1 +0.35 +1.22 +1.24 +0.39 +2.74 +177.04 TMO‑Non +15.40 GUP‑Non TMO‑Non
SEU705^2 +0.70 +0.72 +0.71 +0.35 +2.66 +108.33 TMO‑Non +15.48 GUP‑Non TMO‑Non
ITP201^1 +0.43 +6.09 +7.68 +0.51 +6.11 +177.41 TMO‑Non +15.57 GUP‑Non TMO‑Non
ITP167^1 +0.38 +8.87 +8.80 +0.65 +26.84 +179.44 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEG014^1 +0.42 +4.20 +4.86 +44.66 +2.54 +76.23 +30.80 +0.31 GUP‑Non TMO‑Non
ALG258^2 +0.35 +0.79 +0.80 +0.43 +1.91 TMO‑Non +19.92 TMO‑Non +1.30 TMO‑Non
SYO068^4.020 +0.48 +0.82 +0.90 +0.39 +3.11 +6.42 TMO‑Non +0.33 +0.51 TMO‑Non
ITP052^1 +1.05 +4.70 +3.98 +0.55 +4.65 TMO‑Non +0.79 +0.33 GUP‑Non TMO‑Non
ITP087^1 +0.42 +10.52 +8.33 +1.15 +7.35 +19.21 +0.87 +0.40 GUP‑Non TMO‑Non
ITP044^1 +0.92 +3.89 +4.01 +0.42 +2.97 TMO‑Non +0.85 TMO‑Non GUP‑Non +70.96
ITP001^4 +0.32 +0.62 +0.67 +0.41 +3.75 GUP‑Non +0.45 UNK‑Non GUP‑Non +28.45
SEU544^1 +0.31 +0.91 +0.88 +0.39 +2.35 +0.27 +0.55 +0.32 GUP‑Non TMO‑Non
ITP037^1 +0.38 +0.73 +0.72 +0.44 +3.79 +0.90 TMO‑Non +0.32 GUP‑Non +3.75
SYO064^4.004 +2.80 +15.89 +16.70 +43.30 +10.66 +19.60 +0.86 +0.89 TMO‑Non TMO‑Non
ITP116^1 +0.39 +4.81 +5.90 +0.47 +4.86 TMO‑Non TMO‑Non +16.75 GUP‑Non TMO‑Non
SEU685^1 +0.39 +0.77 +1.59 +2.22 TMO‑Non +0.35 TMO‑Non +1.12 GUP‑Non TMO‑Non
GEG010^1 +0.39 +5.02 +8.51 +0.40 +2.92 +62.59 TMO‑Non +17.67 GUP‑Non TMO‑Non
SEU603^1 +0.41 +4.33 +3.36 +0.41 +3.55 +34.45 TMO‑Non +15.87 GUP‑Non TMO‑Non
SEV094^5 +0.25 +1.00 +0.96 +0.49 +7.59 +112.73 TMO‑Non TMO‑Non +0.34 TMO‑Non
SEU689^2 +0.28 +2.11 +1.39 +0.48 +3.47 +0.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT171^2 +0.41 +1.10 +0.81 +0.44 +6.17 +0.30 +42.03 +0.32 GUP‑Non TMO‑Non
SEU579^1 +21.93 +0.91 +3.03 +3.69 +2.71 +4.40 +0.85 TMO‑Non GUP‑Non TMO‑Non
ITP073^1 +0.41 +4.14 +4.52 +0.57 TMO‑Non +109.06 +0.90 +0.30 GUP‑Non TMO‑Non
CSR128^2 +0.43 +0.68 +0.66 +0.40 +2.13 +7.03 +0.64 UNK‑Non TMO‑Non +16.15
SEU671^2 +0.26 +0.75 +0.70 +0.38 +5.82 +0.24 +19.78 TMO‑Non TMO‑Non TMO‑Non
ITP010^5 +8.49 +4.08 +3.63 +7.80 TMO‑Non +1.59 +104.47 +1.37 GUP‑Non TMO‑Non
ITP004^2 +0.36 +9.52 +11.88 +1.04 +1.85 TMO‑Non +0.50 TMO‑Non TMO‑Non TMO‑Non
SEU806^1 +3.79 +20.05 +18.28 +16.86 +13.15 +21.31 +11.73 TMO‑Non GUP‑Non TMO‑Non
SEU799^1 +0.53 +13.41 +13.25 +0.84 +9.74 +55.43 TMO‑Non +20.42 GUP‑Non TMO‑Non
SEU467^1 +0.27 +0.63 +0.64 +0.36 +1.56 +0.22 +0.45 +0.29 GUP‑Non TMO‑Non
LCL945^9 +1.09 +7.17 +7.39 +13.57 +3.15 +0.28 ERR‑Non +95.11 TMO‑Non TMO‑Non
SEU460^1 +0.26 +0.66 +0.62 +0.36 +1.44 +0.25 +0.44 +0.28 GUP‑Non TMO‑Non
ITP147^1 +0.42 +12.52 +6.72 +101.07 +3.01 +111.27 +1.00 +0.58 GUP‑Non TMO‑Non
ITP204^1 +0.57 +0.79 +0.77 +0.46 +8.81 +56.61 +1.16 +15.46 GUP‑Non TMO‑Non
ITP102^1 +1.57 +4.72 +4.14 +0.68 +24.59 +9.42 +11.58 TMO‑Non GUP‑Non TMO‑Non
SEU621^1 +4.99 +0.84 +0.84 +11.71 +4.74 +11.11 +0.84 TMO‑Non GUP‑Non TMO‑Non
LCL944^8 +0.56 +12.26 +20.34 +0.90 TMO‑Non +40.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW470^1 +0.58 +1.03 +1.31 +0.38 +2.82 +0.52 +0.53 UNK‑Non GUP‑Non TMO‑Non
PHI003^1 +0.36 +8.49 +10.28 +0.37 TMO‑Non +7.81 +0.39 +15.40 +0.39 TMO‑Non
SET004^4 +0.34 +9.69 +9.28 +0.58 +2.46 +5.03 +0.50 TMO‑Non TMO‑Non TMO‑Non
SEU868^5 +0.37 +7.34 +8.12 +0.38 TMO‑Non +113.72 +48.27 +136.67 GUP‑Non TMO‑Non
ITP099^1 +0.44 +4.20 +3.98 +0.53 +6.44 +4.77 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU698^1 +0.43 +0.94 +1.03 +21.07 +5.83 +109.01 +36.36 +2.95 GUP‑Non TMO‑Non
ITP019^4 +22.41 +29.81 +29.07 +20.20 +9.73 GUP‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
SWW474^3 +2.49 +5.30 +5.15 +1.04 +29.20 TMO‑Non +3.02 TMO‑Non GUP‑Non TMO‑Non
SEU550^1 +0.42 +1.69 +1.69 +0.69 +2.73 TMO‑Non +4.88 +2.17 GUP‑Non TMO‑Non
SEU558^2 +0.45 +8.03 +8.14 +0.37 +1.53 +1.31 TMO‑Non +26.71 TMO‑Non TMO‑Non
ITP197^1 +0.64 +4.22 +4.23 +0.59 +4.17 +110.38 +5.17 TMO‑Non GUP‑Non TMO‑Non
ITP048^1 +6.43 +4.61 +4.75 +0.53 +4.09 +9.54 +1.26 TMO‑Non GUP‑Non TMO‑Non
ITP239^3 +3.02 UNK‑Non UNK‑Non +16.46 UNK‑Non GUP‑Non +6.88 UNK‑Non GUP‑Non TMO‑Non
SEU637^2 +0.43 +4.64 +4.74 +31.01 +1.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET557^1 +0.35 +0.70 +1.05 +0.39 +3.10 +4.57 UNK‑Non TMO‑Non GUP‑Non TMO‑Non
ITP074^1 +0.31 +2.21 +2.53 +0.48 TMO‑Non +110.11 +0.72 TMO‑Non GUP‑Non TMO‑Non
ITP004^1 +0.45 +1.02 +0.76 +0.30 +3.25 TMO‑Non +0.44 TMO‑Non TMO‑Non TMO‑Non
SEU708^1 +2.67 +1.04 +1.15 +0.83 +5.83 TMO‑Non +41.15 TMO‑Non GUP‑Non TMO‑Non
SEU729^1 +74.94 +15.90 +15.41 +53.03 +26.09 +17.34 +3.43 TMO‑Non GUP‑Non TMO‑Non
CSR133^2 +0.52 +0.85 +0.90 +0.36 +12.81 TMO‑Non TMO‑Non +1.08 TMO‑Non TMO‑Non
ITP214^1 +2.83 UNK‑Non UNK‑Non +3.36 UNK‑Non GUP‑Non +142.89 UNK‑Non GUP‑Non TMO‑Non
ITP257^3 +3.14 UNK‑Non UNK‑Non +8.43 UNK‑Non GUP‑Non +161.51 UNK‑Non GUP‑Non TMO‑Non
SWV446^1 +1.47 +39.09 +35.32 +0.53 +66.39 +38.32 +0.50 TMO‑Non +7.05 TMO‑Non
ALG251^2 +0.66 +4.67 +3.29 +0.48 +2.07 TMO‑Non TMO‑Non TMO‑Non +2.61 TMO‑Non
ALG276^5 +5.25 +1.46 +1.28 +0.48 +1.70 +115.34 TMO‑Non TMO‑Non +1.35 TMO‑Non
SEU669^1 +0.80 +17.28 +17.69 +0.45 +10.86 TMO‑Non TMO‑Non +26.25 GUP‑Non TMO‑Non
ALG253^1 +8.54 +6.93 +6.89 +3.31 +2.14 TMO‑Non +0.68 TMO‑Non TMO‑Non TMO‑Non
SEV190^5 +0.38 +1.12 +1.20 +0.35 +38.68 +62.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP032^1 +1.70 +4.45 +4.87 +0.55 +4.51 TMO‑Non +1.05 +0.58 GUP‑Non TMO‑Non
ALG294^5 +26.91 +61.32 +61.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP227^3 +2.75 UNK‑Non UNK‑Non +2.80 UNK‑Non GUP‑Non +6.32 UNK‑Non GUP‑Non TMO‑Non
SEV128^5 +2.74 +6.96 +7.66 +1.52 TMO‑Non TMO‑Non +0.41 TMO‑Non TMO‑Non TMO‑Non
PUZ142^1 +0.87 +67.35 +67.51 +0.54 +1.71 TMO‑Non +0.69 TMO‑Non TMO‑Non TMO‑Non
ITP206^1 +4.22 +2.63 +2.63 +1.55 GUP‑Non +2.94 +12.38 TMO‑Non GUP‑Non TMO‑Non
ITP013^1 +0.58 +0.97 +1.07 +0.42 TMO‑Non TMO‑Non +0.71 TMO‑Non TMO‑Non TMO‑Non
ITP272^3 +5.67 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non +112.27 UNK‑Non GUP‑Non TMO‑Non
SEU726^1 +43.20 +9.80 +10.31 +172.56 TMO‑Non +0.51 +5.36 TMO‑Non GUP‑Non TMO‑Non
NUM639^4 +0.44 +1.17 +0.93 +0.38 TMO‑Non TMO‑Non +39.67 TMO‑Non GUP‑Non TMO‑Non
ITP121^1 +0.54 +11.29 +11.41 +0.55 +3.55 +12.85 +0.80 TMO‑Non GUP‑Non TMO‑Non
SEV199^5 +0.62 +0.99 +1.42 +0.37 +68.38 +89.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO516^1 +0.26 +0.59 +0.61 +0.36 +1.53 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL716^1 +0.25 +0.82 +0.76 +0.36 +131.55 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU950^5 +0.40 +0.64 +0.66 +0.36 +3.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU688^1 +0.37 +0.83 +0.94 +34.72 TMO‑Non +0.43 TMO‑Non +1.83 GUP‑Non TMO‑Non
ITP280^1 +8.25 UNK‑Non UNK‑Non +13.09 UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SEV141^5 +0.52 TMO‑Non TMO‑Non TMO‑Non +79.07 TMO‑Non +41.94 +104.85 TMO‑Non UNK‑Non
NLP004^13 +1.60 +15.97 +12.71 +0.58 +2.64 TMO‑Non +0.61 TMO‑Non TMO‑Non TMO‑Non
ITP006^2 +0.73 +2.57 +4.02 +0.60 +16.35 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP021^1 +2.01 +4.22 +3.87 +0.43 TMO‑Non TMO‑Non +1.35 TMO‑Non TMO‑Non TMO‑Non
SYO069^4.002 +2.33 +3.26 +3.50 TMO‑Non TMO‑Non TMO‑Non +5.47 +152.89 TMO‑Non TMO‑Non
SEU631^1 +1.25 +5.73 +4.88 +0.67 TMO‑Non +55.10 TMO‑Non +17.64 GUP‑Non TMO‑Non
SEU653^1 +13.00 +0.92 +1.93 +1.43 +4.19 TMO‑Non +1.25 TMO‑Non GUP‑Non TMO‑Non
ITP122^1 +1.83 +4.56 +4.56 +2.58 +3.51 TMO‑Non +0.77 +35.05 GUP‑Non TMO‑Non
ANA126^1 +0.27 +0.88 +0.87 +0.36 +8.19 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU938^5 +0.55 +0.78 +0.77 +0.40 +5.89 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NLP266^23 +0.41 +11.93 +11.57 +0.40 +13.86 TMO‑Non ERR‑Non TMO‑Non TMO‑Non TMO‑Non
ITP225^1 +3.77 UNK‑Non UNK‑Non +8.20 UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non +95.75
NUM659^4 +0.40 +2.96 +2.38 +0.48 TMO‑Non TMO‑Non +114.55 TMO‑Non GUP‑Non TMO‑Non
SEU972^5 +5.21 +8.72 +11.82 +0.34 TMO‑Non +88.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV203^5 +0.64 +0.84 +0.82 +0.37 +54.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU779^1 +4.57 +35.74 +34.86 +101.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM640^4 +0.45 +1.41 +1.75 +0.37 TMO‑Non TMO‑Non +39.86 TMO‑Non GUP‑Non TMO‑Non
NUN023^1 +0.29 +0.72 +0.73 GUP‑Non TMO‑Non TMO‑Non +0.47 TMO‑Non GUP‑Non TMO‑Non
SEU953^5 +0.36 +0.59 +0.62 +0.35 +1.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO531^1 +0.42 +0.82 +0.77 +0.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU481^1 +0.39 +6.82 +16.85 +0.36 +16.53 +62.27 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM736^4 +0.57 +1.00 +0.99 +0.52 TMO‑Non +108.87 TMO‑Non +0.30 GUP‑Non TMO‑Non
GEG003^1 +0.55 +14.51 +14.38 +1.21 TMO‑Non +5.57 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEV089^5 +0.72 +1.24 +1.15 +0.35 +64.52 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP011^1 +2.83 +14.66 +13.62 +0.48 +3.31 TMO‑Non +96.43 TMO‑Non TMO‑Non TMO‑Non
NLP004^8 +1.65 +12.73 +16.41 +0.56 +2.72 TMO‑Non +0.59 TMO‑Non TMO‑Non TMO‑Non
SEU725^1 TMO‑Non +13.75 +14.39 +55.50 +23.79 TMO‑Non +3.54 TMO‑Non GUP‑Non TMO‑Non
NLP004^7 +2.10 +15.10 +11.81 +0.52 +5.98 TMO‑Non +0.64 TMO‑Non TMO‑Non TMO‑Non
ITP120^1 +0.83 +10.54 +4.39 +0.44 +6.42 TMO‑Non +0.97 TMO‑Non GUP‑Non TMO‑Non
SEU782^1 +29.50 +19.33 +25.87 +11.19 +9.08 TMO‑Non +1.83 +28.25 GUP‑Non TMO‑Non
SET914^7 +71.01 +5.22 +6.23 +0.54 +17.66 TMO‑Non +1.47 TMO‑Non +1.01 TMO‑Non
ITP185^1 +0.46 +4.60 +8.34 TMO‑Non +17.64 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM660^4 +0.51 +0.85 +1.70 +0.45 TMO‑Non TMO‑Non +94.10 +0.31 GUP‑Non TMO‑Non
ITP067^1 +11.51 +3.98 +4.09 +0.41 +2.93 TMO‑Non +0.74 TMO‑Non GUP‑Non TMO‑Non
SEV174^5 +0.35 +1.26 +1.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +62.55 TMO‑Non TMO‑Non
LCL877^1 +0.51 +43.04 +44.72 TMO‑Non TMO‑Non +4.66 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP256^1 +5.57 UNK‑Non UNK‑Non +11.73 UNK‑Non GUP‑Non +164.09 UNK‑Non GUP‑Non TMO‑Non
NUM740^4 +1.12 +10.77 +6.23 +0.55 TMO‑Non +177.90 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU703^2 +12.45 +28.42 +121.83 TMO‑Non +38.12 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM669^4 +0.45 +1.62 +1.50 +0.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM672^4 TMO‑Non +6.55 +5.37 +0.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU805^1 +31.01 +14.70 +20.60 +34.52 +72.61 +19.05 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM738^4 TMO‑Non +20.99 +12.73 +0.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUN025^1 +0.71 +0.77 +0.74 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP003^1 +1.51 +3.92 +3.89 +0.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU655^1 TMO‑Non TMO‑Non +24.94 +127.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP015^4 +31.59 +20.74 +32.71 +18.01 TMO‑Non GUP‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
SCT170^2 +75.58 +12.67 +13.19 +2.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP015^2 +4.79 +7.34 +8.93 +2.36 TMO‑Non TMO‑Non +63.69 TMO‑Non +39.96 TMO‑Non
SCT170^3 TMO‑Non +12.36 +12.53 +15.84 TMO‑Non TMO‑Non +4.26 TMO‑Non GUP‑Non TMO‑Non
SYN377^7 +4.83 +67.78 +67.11 TMO‑Non TMO‑Non TMO‑Non ERR‑Non +143.49 TMO‑Non TMO‑Non
NUM757^4 TMO‑Non +20.07 +19.96 +0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM791^4 +12.71 +11.23 +23.35 +0.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU466^1 +0.35 +124.69 +7.03 TMO‑Non +24.45 +0.23 +41.00 +0.28 GUP‑Non TMO‑Non
SYN393^4.004 +4.74 +8.85 +9.01 TMO‑Non TMO‑Non TMO‑Non +0.90 TMO‑Non TMO‑Non TMO‑Non
CAT038^1 TMO‑Non +0.74 +0.86 GUP‑Non +2.71 TMO‑Non +0.52 TMO‑Non TMO‑Non TMO‑Non
SEV192^5 +17.57 +134.61 +132.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU655^2 +0.42 +1.27 +1.27 +0.33 TMO‑Non TMO‑Non +41.25 TMO‑Non TMO‑Non TMO‑Non
ITP221^3 +2.84 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non +102.54 UNK‑Non GUP‑Non TMO‑Non
SEU695^1 +107.31 +107.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM653^4 +0.65 +2.49 +2.10 +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM728^4 +1.71 +9.84 +17.34 +0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU705^1 +61.11 +34.63 +87.75 +87.99 +11.24 TMO‑Non TMO‑Non +176.99 GUP‑Non TMO‑Non
NUM637^1 +0.39 +1.32 +1.33 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU802^1 +3.39 +34.96 +78.51 +1.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
PUZ127^5 +3.07 TMO‑Non TMO‑Non TMO‑Non +6.33 TMO‑Non +33.65 TMO‑Non TMO‑Non TMO‑Non
SEU668^1 +7.08 +111.39 +22.01 +0.50 +65.73 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU625^1 +13.72 TMO‑Non TMO‑Non TMO‑Non +3.51 +177.51 +0.89 TMO‑Non GUP‑Non TMO‑Non
NUM790^4 +15.16 +12.72 +12.77 +0.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM682^4 +2.71 +5.78 +10.21 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM684^4 +0.61 +3.12 +3.23 +0.43 TMO‑Non +0.81 +159.29 TMO‑Non GUP‑Non TMO‑Non
SYO066^4.003 +11.41 +141.56 +142.64 TMO‑Non TMO‑Non TMO‑Non +0.51 52.54 TMO‑Non TMO‑Non
SEU630^1 +1.91 +12.88 +13.55 +8.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP270^1 +17.53 +20.98 +19.77 +18.72 TMO‑Non +54.63 +120.11 TMO‑Non GUP‑Non TMO‑Non
NUM656^4 +1.97 +1.79 +2.67 +0.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU590^1 +10.70 +8.78 +9.37 +99.28 +3.13 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM643^1 +0.41 +1.82 +1.77 +0.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP207^1 +2.54 UNK‑Non UNK‑Non +2.53 UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
ITP012^5 +25.30 +17.41 +17.22 +16.17 TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
ALG292^5 +14.68 +44.43 +45.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP015^5 TMO‑Non +31.71 +26.03 +12.41 TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SYO295^5 TMO‑Non +0.71 +0.77 GUP‑Non +2.42 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
NUM681^4 +0.56 +18.30 +8.38 +0.51 TMO‑Non TMO‑Non +147.93 TMO‑Non GUP‑Non TMO‑Non
NUM687^4 +7.70 +7.49 +6.92 +0.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM712^1 TMO‑Non +9.89 +9.06 +0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP211^3 +11.18 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
NUM702^4 +26.44 +13.99 +15.35 +0.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SET013^7 +5.65 UNK‑Non UNK‑Non +0.90 TMO‑Non TMO‑Non +8.36 TMO‑Non TMO‑Non TMO‑Non
NUM676^4 +0.67 +4.21 +5.32 +0.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM765^4 +7.51 +12.35 +13.17 +0.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM670^4 TMO‑Non +25.41 +19.01 +0.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM783^4 +9.33 +15.61 +12.60 +1.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP021^2 +16.85 TMO‑Non TMO‑Non +5.40 TMO‑Non TMO‑Non +4.30 TMO‑Non GUP‑Non TMO‑Non
ITP267^1 +5.31 UNK‑Non UNK‑Non +3.97 UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SYO069^4.004 +5.56 +22.24 +12.48 TMO‑Non TMO‑Non TMO‑Non +13.01 TMO‑Non TMO‑Non TMO‑Non
NUM743^4 +12.83 +12.42 +12.75 +35.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM663^4 +92.49 +17.20 +20.58 +51.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU649^1 +26.39 +152.37 +152.73 TMO‑Non TMO‑Non TMO‑Non +102.44 TMO‑Non GUP‑Non TMO‑Non
ITP223^1 +2.83 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SEV224^5 +0.54 +0.80 +0.79 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP109^1 +3.85 +5.80 +5.33 +0.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM646^1 +0.37 +6.74 +4.32 +0.36 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
ITP009^2 +12.22 +138.02 +137.51 +0.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM690^4 +6.90 +6.16 +5.28 +0.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEV003^5 +137.23 TMO‑Non TMO‑Non TMO‑Non +85.01 TMO‑Non +1.81 TMO‑Non GUP‑Non TMO‑Non
SEU684^1 +34.23 +17.37 +20.75 +1.00 +8.03 TMO‑Non TMO‑Non +26.26 GUP‑Non TMO‑Non
PHI007^4 +14.57 +10.90 +10.85 +163.10 +120.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM648^4 +0.60 +10.54 +11.68 +0.44 TMO‑Non TMO‑Non +91.63 TMO‑Non GUP‑Non TMO‑Non
NUM697^4 +19.96 TMO‑Non +19.36 +0.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM746^4 +16.43 +12.62 +12.20 +1.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM689^4 +7.64 +14.14 +8.03 +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM698^4 TMO‑Non +165.54 +19.18 +0.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL946^10 +1.92 +8.93 +10.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM692^4 TMO‑Non TMO‑Non TMO‑Non +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO873^1 +1.39 +91.32 +87.69 +17.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV295^5 +0.27 +78.40 +62.43 GUP‑Non TMO‑Non +62.24 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEV102^5 TMO‑Non TMO‑Non +7.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU701^2 +0.46 +149.90 +122.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU701^1 TMO‑Non TMO‑Non TMO‑Non +104.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MSC025^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.39 TMO‑Non GUP‑Non TMO‑Non
SEU600^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SET908^7 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV021^7 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +92.59 TMO‑Non TMO‑Non
ITP003^4 TMO‑Non TMO‑Non TMO‑Non +9.45 TMO‑Non GUP‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
ITP213^1 +14.85 UNK‑Non UNK‑Non +7.67 UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
NUM759^4 TMO‑Non TMO‑Non TMO‑Non +10.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU946^5 TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non +154.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM742^4 +12.70 +12.94 +12.22 +25.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU992^5 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
ITP021^5 +17.44 +14.82 +17.54 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SEU943^5 TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non +154.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV125^5 +0.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
ITP226^3 +3.38 UNK‑Non UNK‑Non +14.42 UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
ITP217^1 +3.53 UNK‑Non UNK‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SEU696^1 TMO‑Non +9.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM796^4 TMO‑Non +13.63 +13.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM826^5 +4.31 +159.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM696^4 TMO‑Non +71.83 +35.35 +99.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ITP268^1 TMO‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SEV170^5 +2.20 +28.33 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM705^4 TMO‑Non +12.52 +15.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM756^4 TMO‑Non TMO‑Non TMO‑Non +9.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEV206^5 TMO‑Non +30.43 +27.16 +94.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM691^4 TMO‑Non TMO‑Non TMO‑Non +0.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM784^4 TMO‑Non TMO‑Non TMO‑Non +7.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL692^1 TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +62.23 +0.36 TMO‑Non TMO‑Non TMO‑Non
NUM832^5 +1.15 +123.04 +122.86 TMO‑Non TMO‑Non +105.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV032^5 +17.54 +12.28 +12.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP126^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +22.01 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO879^1 +0.37 +67.47 +67.73 +16.55 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
NUM667^4 +1.83 +16.76 +16.72 +100.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO532^1 +1.43 +82.30 +81.51 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEV530^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU795^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ALG269^2 +0.59 +158.46 +157.61 TMO‑Non TMO‑Non +157.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO038^1.003.004 TMO‑Non TMO‑Non TMO‑Non +66.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/500 452/500 440/500 438/500 407/500 302/500 268/500 258/500 208/500 58/500 36/500
Av. WC Time 4.52 11.76 12.42 7.24 8.77 39.86 12.97 19.36 4.72 17.67
Av. CPU Time 32.17 85.33 90.24 37.64 33.13 39.82 12.71 19.21 4.53 17.50
Solutions 452 90% 440 88% 438 87% 407 81% 302 60% 268 53% 258 51% 196 39% 58 11% 36  7%
μWCEfficiency 674 437 434 655 168 197 345 231 85 10
μEfficiency 506 335 353 607 81 200 362 235 87 10
SotAC 0.38 0.37 - 0.33 0.20 0.17 0.17 0.12 0.03 0.01
Core Usage/> 1.0 5.46/255 6.32/295 6.51/277 4.49/117 2.95/302 1.01/46 0.00/0 1.01/14 0.00/0 0.00/0
≤ 1.0 Cores 197 145 161 290 0 222 258 194 58 36
New Solved 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0
Higher-order Theorems Vampire
4.8
Zipperpin
2.1.9999
Zipperpin
2.1.999
E
3.1
Leo-III
1.7.8
Satallax
3.4
cvc5
1.0.5
Lash
1.13
LEO-II
1.7.0
Duper
1.0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA TFN FOF FNT UEQ SLH TNE TEQ TFI TFE TFN FNE FEQ FNN FNQ UEQ SLH

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

Typed First-order Theorems +*-/ Vampire
4.8
cvc5
1.0
cvc5
1.0.5
iProver
3.8
Princess
230619
ARI619_3 +0.35 +0.37 +0.41 TMO‑Non TMO‑Non
ARI603_1 +0.41 TMO‑Non TMO‑Non TMO‑Non 1.00
ARI721_1 +0.36 +0.37 +0.36 +1.05 TMO‑Non
DAT105_1 +0.31 TMO‑Non TMO‑Non +0.99 4.30
ARI621_3 +0.38 +0.37 +0.41 TMO‑Non TMO‑Non
ARI649_1 +0.33 +0.66 +0.54 +1.05 +1.30
ARI400_1 +0.45 +0.38 +0.40 UNK‑Non +1.28
HWV089_2 +0.79 +27.36 +84.56 +6.68 TMO‑Non
ARI730_1 +0.31 +0.40 +0.36 TMO‑Non TMO‑Non
ARI679_1 +0.37 +0.45 +0.44 +1.06 +1.20
ARI726_1 +0.37 +0.38 +0.39 TMO‑Non TMO‑Non
SWW584_2 +0.81 +16.07 +15.76 TMO‑Non +2.87
ARI715_1 +0.36 +0.36 +0.29 +1.02 TMO‑Non
ARI614_1 +0.32 +0.48 +0.46 +1.00 1.03
ARI729_1 +0.36 +0.40 +0.41 +1.05 TMO‑Non
SWW653_2 +0.39 +0.74 +5.23 +3.05 +2.02
ARI719_1 +0.30 +0.40 +0.39 +1.03 +3.58
ARI681_1 +0.38 +0.40 +0.40 +1.02 +1.25
ARI722_1 +0.35 +0.38 +0.38 TMO‑Non TMO‑Non
DAT029_1 +23.25 +15.50 +15.52 +96.27 +1.15
ARI714_1 +0.36 +0.41 +0.35 +1.03 TMO‑Non
ARI689_1 +0.39 +0.38 +0.39 +1.09 +1.20
ARI630_1 +0.36 +0.70 +0.50 +1.02 TMO‑Non
ARI680_1 +0.36 +0.40 +0.42 +1.05 +1.00
ARI633_1 +0.39 +15.42 +15.47 TMO‑Non TMO‑Non
ARI672_1 +0.30 +0.42 +0.40 +1.04 +1.09
ARI636_1 +0.41 +15.38 +15.39 23.05 TMO‑Non
ARI643_1 +0.35 +0.40 +0.41 +1.02 +1.30
ARI635_1 +0.41 +15.40 +15.37 +9.53 TMO‑Non
ARI674_1 +0.30 +0.35 +0.35 +0.97 +1.06
ARI629_1 +0.33 +0.42 +0.41 +1.03 TMO‑Non
SWW628_2 +7.81 +128.18 +125.87 TMO‑Non 16.70
ARI640_1 +0.37 +0.39 +0.41 +1.04 TMO‑Non
ARI658_1 +0.37 +0.41 +0.41 +1.02 +1.19
ARI716_1 +66.03 +0.38 +0.40 TMO‑Non TMO‑Non
ARI708_1 +0.39 +0.39 +0.39 +1.03 +1.11
ARI639_1 +0.36 +0.44 +0.39 +1.04 TMO‑Non
SWW631_2 +0.72 +30.37 +17.80 +4.07 +3.62
ARI738_1 +0.39 +0.37 +0.38 +0.96 TMO‑Non
SWW575_2 +0.77 +15.78 +15.81 TMO‑Non +9.01
ARI638_1 +65.25 +15.54 +15.58 +1.07 TMO‑Non
NUM861_1 +31.53 +45.69 +45.80 TMO‑Non 3.28
ANA135_1* +24.73 +0.49 UNK‑Non TMO‑Non TMO‑Non
SWW632_2 +0.30 +0.52 +0.51 +1.01 +1.64
ARI724_1 TMO‑Non +0.38 +0.40 TMO‑Non TMO‑Non
SWW594_2 +0.91 +15.73 +15.59 +3.56 +3.29
ARI642_1 +0.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
DAT036_1 +0.32 +15.49 +0.40 +3.53 +1.51
ARI536_1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ARI661_1 +0.38 +0.46 +0.39 +1.06 +1.34
SWW615_2 +2.90 +15.64 +15.75 +1.01 +2.63
ARI696_1 +2.14 +0.37 +0.34 +1.04 +1.27
ARI120_1 +0.39 GUP‑Non UNK‑Non +18.07 1.58
ARI701_1 +0.31 +0.36 +0.39 +1.03 +1.10
DAT072_1 +0.45 +0.47 +0.56 +1.01 TMO‑Non
DAT097_1 +0.36 +15.70 +0.49 +1.01 TMO‑Non
SWW610_2 +29.03 +31.04 +30.87 TMO‑Non +2.67
ARI056_1 +0.41 +0.38 +0.38 UNK‑Non +0.92
SWW597_2 +48.51 +15.58 +15.55 TMO‑Non 2.84
SYO523_1 +0.35 +0.38 +0.42 TMO‑Non +1.02
ARI656_1 +0.37 +0.47 +0.49 +0.97 +1.11
ARI682_1 +0.34 +0.37 +0.39 +1.04 +1.09
DAT016_1 +0.37 +1.91 TMO‑Non TMO‑Non 1.09
ARI659_1 +0.36 +0.40 +0.42 +1.01 +1.12
ARI663_1 +0.36 +0.40 +0.41 +1.04 +1.24
PUZ133_2 +0.44 +0.49 +0.46 TMO‑Non +1.48
ARI675_1 +0.39 +0.38 +0.38 +1.02 +1.16
SWW666_2 +21.16 +15.72 +15.89 TMO‑Non +8.24
SWW599_2 +0.49 +15.72 +15.73 +1.07 +4.07
ARI662_1 +0.36 +0.68 +0.49 +1.01 +1.49
NUM862_1 +59.93 +39.58 +34.79 TMO‑Non 4.85
SEV422_1 +0.39 +2.41 +1.46 +39.57 TMO‑Non
ARI678_1 +0.36 +0.47 +0.36 +1.05 +1.23
DAT073_1 +0.31 TMO‑Non TMO‑Non +1.04 3.96
ARI660_1 +0.36 +0.36 +0.40 +1.01 +1.20
DAT043_1 +0.50 +15.49 +0.50 TMO‑Non +2.00
ARI589_1 +0.47 +0.35 +0.40 UNK‑Non +0.88
ARI676_1 +0.37 +0.37 +0.40 +1.06 +1.02
NUM860_1 +45.30 +47.24 +45.70 TMO‑Non 6.08
ARI687_1 +0.73 +31.29 +31.25 +1.56 +1.34
ARI670_1 +0.37 +0.39 +0.40 +1.02 +1.04
SWW670_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW676_1 +0.56 +49.06 +49.25 TMO‑Non 1.62
SWW600_2 +0.28 TMO‑Non TMO‑Non +1.02 TMO‑Non
DAT074_1 +0.34 +30.74 +45.80 +0.98 TMO‑Non
SWW662_2 +66.07 +0.73 +0.74 TMO‑Non +2.65
SWW602_2 +59.61 +17.55 +49.72 TMO‑Non +31.34
ARI700_1 +0.37 +0.37 +0.36 +2.52 +1.20
SWW638_2 +49.38 +46.03 +46.01 TMO‑Non +4.66
SWW598_2 +23.59 +15.87 +16.11 TMO‑Non +3.84
SWW657_2 +59.19 +30.85 +30.94 TMO‑Non 2.13
SWW672_2 +0.45 +0.84 +0.65 +2.04 TMO‑Non
ARI664_1 +0.36 +1.28 +0.50 +0.96 UNK‑Non
SWW607_2 +0.87 +15.71 +15.78 TMO‑Non +11.28
SWW604_2 +137.33 +47.80 +46.40 TMO‑Non +17.52
DAT078_1 +0.77 +18.33 +26.80 +3.52 TMO‑Non
SWW589_2 +1.12 +15.68 +33.59 +98.17 +4.24
SWW652_2 +0.38 +0.87 +0.59 +1.05 +1.60
SWW654_2 +1.57 +16.40 +50.67 TMO‑Non +4.28
SWW605_2 +61.26 +46.66 +48.25 TMO‑Non +4.56
ARI668_1 +0.34 +0.47 +0.40 +1.06 TMO‑Non
NUM859_1 +32.81 +45.75 +45.67 TMO‑Non 4.45
SWW642_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW614_2 +59.89 +33.42 +38.74 TMO‑Non +2.08
SWW659_2 +61.62 +46.30 +46.23 TMO‑Non 3.44
ARI595_1 TMO‑Non +30.42 +30.45 TMO‑Non 1.04
ARI597_1 TMO‑Non +30.48 +30.43 TMO‑Non 1.00
ARI596_1 TMO‑Non +30.49 +30.50 TMO‑Non 1.03
DAT104_1 +0.32 TMO‑Non TMO‑Non +0.95 TMO‑Non
SWW641_2 +0.84 +16.82 +15.77 TMO‑Non 3.98
ARI184_1 +5.64 TMO‑Non TMO‑Non TMO‑Non 2.20
SWW640_2 +12.37 +15.87 +16.14 TMO‑Non TMO‑Non
HWV051_5 +19.87 +82.29 +83.64 +61.63 TMO‑Non
HWV050_5 +20.31 +104.94 +84.63 +82.64 TMO‑Non
ARI598_1 TMO‑Non +30.41 +30.44 TMO‑Non 1.00
ARI655_1 +0.36 +2.71 +2.66 +0.98 TMO‑Non
SWW573_2 +53.55 +15.81 +15.90 TMO‑Non +6.67
SWW664_2 TMO‑Non +61.52 +61.15 TMO‑Non +3.95
SWW663_2 TMO‑Non +0.85 +0.84 TMO‑Non +2.56
DAT086_1 +1.20 +22.62 +22.14 TMO‑Non TMO‑Non
HWV051_6 TMO‑Non +149.52 TMO‑Non TMO‑Non TMO‑Non
ARI645_1 +0.93 +30.84 +0.53 +1.05 TMO‑Non
HWV091_2 +5.65 TMO‑Non TMO‑Non +27.44 TMO‑Non
SWW585_2 +63.10 +46.96 +16.05 TMO‑Non +4.86
SWW577_2 +2.12 +91.18 +85.46 +3.05 TMO‑Non
SWW647_2 +59.76 TMO‑Non TMO‑Non TMO‑Non 2.92
DAT075_1 +2.82 TMO‑Non TMO‑Non +5.97 TMO‑Non
ARI683_1 +0.45 TMO‑Non +109.56 +1.03 TMO‑Non
HWV087_2 +4.31 +82.13 +108.77 TMO‑Non TMO‑Non
SWW587_2 +1.74 +15.82 +30.10 TMO‑Non 32.23
SWW612_2 TMO‑Non +16.37 +16.15 TMO‑Non +3.33
SWW648_2 +34.05 TMO‑Non TMO‑Non +2.05 TMO‑Non
SWW578_2 +63.85 +2.75 +1.99 TMO‑Non TMO‑Non
HWV050_6 TMO‑Non +85.56 TMO‑Non TMO‑Non TMO‑Non
HWV090_2 +4.99 TMO‑Non TMO‑Non +76.14 TMO‑Non
SWW665_2 TMO‑Non +61.33 +23.33 TMO‑Non +5.72
SWW636_2 +43.88 +15.87 +15.64 TMO‑Non +30.18
HWV094_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW583_2 +0.89 +16.97 +20.02 TMO‑Non TMO‑Non
SEV425_1 +1.30 +29.76 +53.84 TMO‑Non TMO‑Non
SWW608_2 +59.03 +15.80 +15.73 TMO‑Non TMO‑Non
HWV039_5 +19.89 +136.67 +87.81 +53.17 TMO‑Non
SWW593_2 +2.94 +15.74 +15.75 TMO‑Non +3.74
SWW609_2 +1.09 +0.99 +0.84 TMO‑Non TMO‑Non
SWW618_2 +0.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV096_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW661_2 +62.50 TMO‑Non TMO‑Non +91.71 TMO‑Non
SWW658_2 +60.20 +46.38 +45.81 TMO‑Non TMO‑Non
SWW635_2 +2.55 +17.54 +15.96 +16.99 TMO‑Non
SWW617_2 +62.86 TMO‑Non TMO‑Non +135.76 TMO‑Non
HWV041_5 +20.67 +132.66 +121.63 +92.64 TMO‑Non
HWV092_2 +23.78 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SWW601_2 TMO‑Non TMO‑Non TMO‑Non +173.23 40.76
SWW655_2 +111.87 +16.63 +48.48 TMO‑Non +8.16
HWV040_5 +19.71 +139.12 +139.23 +94.64 TMO‑Non
HWV123_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW580_2 +62.30 TMO‑Non TMO‑Non +6.54 TMO‑Non
SWW603_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV044_5 +20.63 +101.14 +113.87 +99.67 TMO‑Non
SWW596_2 TMO‑Non +96.55 +130.54 TMO‑Non TMO‑Non
HWV125_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW667_2 TMO‑Non +17.74 +18.01 TMO‑Non 51.49
HWV124_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW622_2 TMO‑Non +15.70 +16.12 TMO‑Non TMO‑Non
SWW582_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO522_1 TMO‑Non +30.46 +30.54 TMO‑Non 1.25
HWV044_6 +40.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV424_1 +2.70 +70.34 +27.26 TMO‑Non TMO‑Non
SWW623_2 TMO‑Non +15.77 +15.81 TMO‑Non TMO‑Non
SWW649_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW671_2 TMO‑Non +23.38 +15.92 TMO‑Non TMO‑Non
SWW633_2 +2.51 TMO‑Non TMO‑Non TMO‑Non 92.67
HWV111_2 +2.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV043_5 +23.28 TMO‑Non TMO‑Non +90.35 TMO‑Non
SWW590_2 TMO‑Non +15.68 +15.67 TMO‑Non +3.74
ARI697_1 TMO‑Non +0.47 +0.42 TMO‑Non +1.15
HWV128_2 ERR‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW660_2 +131.92 TMO‑Non +57.02 TMO‑Non TMO‑Non
HWV127_2 ERR‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV126_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV043_6 +26.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW644_2 +64.89 +16.70 +15.69 TMO‑Non TMO‑Non
SWW651_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV039_6 TMO‑Non +92.06 +119.77 TMO‑Non TMO‑Non
HWV040_6 TMO‑Non +88.82 +172.97 TMO‑Non TMO‑Non
SWW611_2 +15.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV115_2 +30.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW574_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV045_6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW668_2 TMO‑Non +18.36 +16.74 TMO‑Non TMO‑Non
SWW669_2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV088_2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ARI694_1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.13
HWV046_6 TMO‑Non +104.01 TMO‑Non TMO‑Non TMO‑Non
HWV107_2 +16.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW627_2 +136.79 +49.99 +48.30 +90.17 TMO‑Non
SWW630_2 +28.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV114_2 +5.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ARI693_1 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +1.05
HWV041_6 TMO‑Non +160.21 TMO‑Non UNK‑Non TMO‑Non
Solved/200 154/200 148/200 144/200 84/200 95/200
Av. WC Time 16.46 24.67 23.87 18.71 5.66
Av. CPU Time 111.58 24.44 23.61 139.42 35.71
Solutions 154 77% 148 74% 144 72% 83 41% 68 34%
μWCEfficiency 457 316 327 169 183
μEfficiency 362 317 327 148 69
SotAC 0.27 - 0.24 0.09 0.12
Core Usage/> 1.0 6.03/90 0.00/0 0.00/0 5.26/63 4.66/95
≤ 1.0 Cores 64 148 144 21 0
New Solved 1/1 1/1 0/1 0/1 0/1
Typed First-order Theorems +*-/ Vampire
4.8
cvc5
1.0
cvc5
1.0.5
iProver
3.8
Princess
230619
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA TFN FOF FNT UEQ SLH TNE TEQ TFI TFE TFN FNE FEQ FNN FNQ UEQ SLH

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

Typed First-order Non-theorems Vampire
4.8
cvc5
1.0.5
iProver
3.8
E
3.1
Beagle
0.9.47
SYO913_15* +0.27 +0.43 1.03 +0.36 1.16
PUZ031_10* +0.29 +0.43 +1.02 +0.35 TMO‑Non
GEO001_10* +0.29 +0.39 1.02 TMO‑Non TMO‑Non
LCL969_9* +0.27 +0.50 1.03 +0.34 1.11
SYO907_15* +0.27 +0.41 1.03 +0.36 1.06
ITP383_10* 0.61 +1.48 1.16 TMO‑Non TMO‑Non
ITP303_10* +1.51 +3.14 1.65 TMO‑Non TMO‑Non
PUZ130_10* +0.30 +0.39 +1.04 +0.36 0.98
ITP209_10* +0.30 +0.41 0.96 TMO‑Non TMO‑Non
ITP384_10* +0.66 +2.28 1.20 TMO‑Non TMO‑Non
SWW469_10* +0.29 +0.32 1.02 +0.36 0.92
ITP302_10* +3.39 +8.78 2.17 TMO‑Non TMO‑Non
HWV109_10* +0.56 TMO‑Non +23.62 TMO‑Non TMO‑Non
SYO911_15* 0.29 +0.41 1.03 +0.35 1.07
LCL964_3* +0.33 TMO‑Non 1.59 TMO‑Non TMO‑Non
SWB109_15* +0.27 +0.43 1.04 +0.37 1.14
ITP310_10* +4.47 +13.81 TMO‑Non TMO‑Non TMO‑Non
PLA053_15* +0.27 +0.38 0.99 +0.33 TMO‑Non
HWV117_10* +5.94 TMO‑Non +66.45 TMO‑Non UNK‑Non
SWB109_3* +0.29 +0.45 0.97 TMO‑Non 1.11
PUZ134_20* +0.30 +0.52 +1.03 TMO‑Non TMO‑Non
HWV110_10* +3.01 TMO‑Non +75.68 TMO‑Non TMO‑Non
ITP397_10* +0.65 +2.12 1.11 TMO‑Non TMO‑Non
COM003_10* 0.29 +0.45 1.03 +0.36 1.18
HWV113_10* +1.50 +151.84 +50.63 TMO‑Non TMO‑Non
SYO909_8* 0.27 +0.40 1.05 +82.38 1.11
SYO915_14* +0.24 +0.59 +1.05 +0.47 1.39
SYO908_13* 0.29 +0.39 +0.99 +0.35 1.01
PUZ135_20* +0.30 +0.45 +1.03 TMO‑Non TMO‑Non
PUZ134_10* +0.31 +0.52 +1.01 TMO‑Non TMO‑Non
HWV093_10* +0.85 +130.60 +11.16 TMO‑Non TMO‑Non
HWV119_10* +5.43 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
NUM923_10* +0.30 +0.50 1.01 TMO‑Non TMO‑Non
SWW971_15* 0.29 +0.40 0.99 +0.35 TMO‑Non
HWV111_10* +1.39 TMO‑Non +10.16 TMO‑Non TMO‑Non
LCL963_3* +0.36 +5.51 1.54 TMO‑Non TMO‑Non
SYO910_13* 0.29 +0.38 +1.05 +0.36 1.01
HWV042_2 +1.49 TMO‑Non +29.54 TMO‑Non TMO‑Non
HWV118_10* +5.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP341_10* ERR‑Non ERR‑Non UNK‑Non ERR‑Non ERR‑Non
ITP325_10* +1.22 +57.78 6.58 TMO‑Non TMO‑Non
PUZ012_10* 0.29 +0.40 +1.04 +0.33 1.11
SYO906_7* 0.29 +0.40 1.05 +0.37 1.37
COM002_10* 0.29 +0.40 +1.02 +0.37 4.90
LCL970_15* 0.30 +0.58 1.03 TMO‑Non TMO‑Non
LCL966_9* +0.29 +12.97 1.04 TMO‑Non TMO‑Non
ITP322_10* +1.79 +5.93 TMO‑Non TMO‑Non TMO‑Non
SWW971_5* +0.28 +0.39 +0.98 +0.35 0.89
PUZ018_10* 0.30 +0.48 +1.02 +0.40 TMO‑Non
HWV042_1 +1.26 TMO‑Non +35.59 TMO‑Non TMO‑Non
ITP399_10* +0.58 +8.35 1.60 TMO‑Non TMO‑Non
SYO912_9* 0.28 +0.40 0.98 +0.35 0.95
DAT335_2* 0.29 +0.41 +1.02 +0.36 1.07
HWV114_10* +2.96 TMO‑Non +27.20 TMO‑Non TMO‑Non
PUZ131_10* 0.30 +0.39 +1.02 +0.38 0.99
PUZ135_10* +0.30 +0.42 +1.04 TMO‑Non TMO‑Non
LCL961_1* +0.28 +0.35 1.02 +0.35 1.20
HWV115_10* +3.29 TMO‑Non +71.73 TMO‑Non TMO‑Non
HWV087_10* +0.80 +134.20 +11.63 TMO‑Non TMO‑Non
LCL948_10* +0.44 +55.02 21.06 TMO‑Non TMO‑Non
COM002_20* 0.24 +0.37 +1.01 +0.36 1.11
HWV047_20* +1.14 TMO‑Non +6.56 TMO‑Non TMO‑Non
HWV046_20* +0.69 TMO‑Non +5.54 TMO‑Non TMO‑Non
HWV045_20* +0.87 TMO‑Non +6.57 TMO‑Non TMO‑Non
HWV045_10* +1.19 TMO‑Non +7.57 TMO‑Non TMO‑Non
HWV040_10* +0.75 TMO‑Non +10.13 +143.29 TMO‑Non
LCL967_3* +2.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV051_20* +0.83 TMO‑Non +6.56 TMO‑Non TMO‑Non
HWV039_20* +1.93 TMO‑Non +6.04 TMO‑Non TMO‑Non
HWV043_20* +1.16 TMO‑Non +7.05 TMO‑Non TMO‑Non
HWV040_20* +0.68 TMO‑Non +5.57 TMO‑Non TMO‑Non
LCL965_15* +1.05 TMO‑Non 132.61 TMO‑Non TMO‑Non
HWV050_20* +0.85 TMO‑Non +5.55 TMO‑Non TMO‑Non
HWV039_10* +0.90 TMO‑Non +7.04 +151.61 TMO‑Non
HWV041_20* +0.86 TMO‑Non +8.13 TMO‑Non TMO‑Non
HWV043_10* +1.28 TMO‑Non +7.09 TMO‑Non TMO‑Non
HWV116_10* +2.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW471_1 +1.13 +3.27 TMO‑Non TMO‑Non TMO‑Non
HWV042_4 +1.09 TMO‑Non +31.10 TMO‑Non TMO‑Non
HWV049_1 TMO‑Non TMO‑Non +43.59 TMO‑Non TMO‑Non
HWV048_1 +1.25 TMO‑Non +40.59 GUP‑Non TMO‑Non
HWV049_2 73.01 TMO‑Non +35.57 TMO‑Non TMO‑Non
HWV050_10* +0.86 TMO‑Non +6.59 TMO‑Non TMO‑Non
HWV044_10* +0.80 TMO‑Non +8.05 TMO‑Non TMO‑Non
HWV048_3 +1.25 TMO‑Non +56.57 TMO‑Non TMO‑Non
ITP386_10* +16.04 +127.56 TMO‑Non TMO‑Non TMO‑Non
HWV044_20* +0.70 TMO‑Non +13.03 TMO‑Non TMO‑Non
HWV042_3 +1.17 TMO‑Non +29.10 TMO‑Non TMO‑Non
LCL941_3* 12.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV048_4 +1.10 TMO‑Non +33.59 TMO‑Non TMO‑Non
SWW476_1 +1.49 +2.75 TMO‑Non TMO‑Non TMO‑Non
HWV046_10* +0.76 TMO‑Non +5.53 +158.12 TMO‑Non
HWV041_10* +1.23 TMO‑Non +8.03 TMO‑Non TMO‑Non
HWV120_10* +22.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP387_10* +2.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV047_10* +1.34 TMO‑Non +6.50 TMO‑Non TMO‑Non
HWV112_10* +1.92 +142.16 +20.66 TMO‑Non TMO‑Non
HWV051_10* +0.89 TMO‑Non +5.57 TMO‑Non TMO‑Non
ITP382_10* +6.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV122_10* +19.02 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
HWV121_10* +15.26 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
LCL968_3* +2.71 TMO‑Non 94.14 TMO‑Non TMO‑Non
HWV049_3 77.59 TMO‑Non +46.58 GUP‑Non TMO‑Non
HWV049_4 +76.49 TMO‑Non +39.59 TMO‑Non TMO‑Non
ITP323_1 +0.53 +1.00 1.04 TMO‑Non TMO‑Non
ITP333_1 +0.96 +2.32 TMO‑Non TMO‑Non TMO‑Non
ITP389_1 0.78 +4.43 4.62 TMO‑Non TMO‑Non
SWW472_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925_40* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT170_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW472_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW474_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926_40* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM923_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW477_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW475_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW471_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW476_30* TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM923_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW471_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT169_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT171_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW472_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT170_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP304_1 +1.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP385_1 +2.78 +29.27 TMO‑Non TMO‑Non TMO‑Non
ITP391_1 1.30 +3.72 2.11 TMO‑Non TMO‑Non
SCT171_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW474_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW470_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW478_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM923_40* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW473_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW477_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW475_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW476_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW477_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW473_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW474_10* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT169_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT169_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW475_20* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW473_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT171_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926_30* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/150 108/150 58/150 91/150 28/150 22/150
Av. WC Time 3.96 15.95 13.66 19.43 1.27
Av. CPU Time 25.59 15.74 101.92 62.74 2.32
Solutions 87 58% 58 38% 57 38% 28 18% 0  0%
μWCEfficiency 516 257 197 160 88
μEfficiency 329 259 220 160 60
SotAC 0.36 0.12 0.27 0.02 0.00
Core Usage/> 1.0 5.45/69 0.00/0 6.25/63 3.06/5 1.74/22
≤ 1.0 Cores 39 58 28 23 0
New Solved 90/131 51/131 77/131 28/131 22/131
Typed First-order Non-theorems Vampire
4.8
cvc5
1.0.5
iProver
3.8
E
3.1
Beagle
0.9.47
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA TFN FOF FNT UEQ SLH TNE TEQ TFI TFE TFN FNE FEQ FNN FNQ UEQ SLH

Results for FOF (First-order Theorems)

First-order Theorems Vampire
4.8
Vampire
4.7
E
3.1
iProver
3.8
CSE_E
1.5
GKC
0.8
Drodi
3.5.1
cvc5
1.0.5
Zipperpin
2.1.9999
Prover9
1109a
CSE
1.6
Princess
230619
Duper
1.0
SEU321+1 +0.32 +0.42 +0.35 +1.02 +0.51 +0.51 +0.23 +0.44 +0.66 +0.98 TMO‑Non +2.10 TMO‑Non
CSR048+3 +0.48 +0.56 +0.72 +5.35 +1.03 +0.65 +0.42 +13.46 +1.36 TMO‑Non +7.78 102.65 TMO‑Non
GEO620+1 +0.32 +0.35 +0.39 +1.02 +0.55 +0.39 +0.35 TMO‑Non +1.41 +1.26 +70.94 +26.41 +20.77
NUN062+1 +0.31 +0.30 +0.40 +1.03 +2.30 +0.54 +0.24 TMO‑Non +0.63 +14.64 +0.62 TMO‑Non TMO‑Non
SWV158+1 +0.31 +0.32 +0.38 +1.05 +0.45 +0.31 +0.24 +0.43 +0.72 +1.07 TMO‑Non +1.96 TMO‑Non
CSR034+2 +0.37 +0.39 +0.68 +1.59 +0.65 +0.71 +0.27 +6.67 +2.98 TMO‑Non +68.78 +27.48 TMO‑Non
GEO111+1 +0.30 +0.34 +0.33 +1.01 +0.59 +0.40 +0.30 +51.76 +0.70 +1.13 +15.05 +1.77 TMO‑Non
CSR067+3 +0.60 +0.60 +0.78 +4.83 +1.00 +0.46 +0.34 +111.95 +1.46 TMO‑Non +5.74 134.69 TMO‑Non
SET776+4 +0.31 +0.31 +0.36 +1.04 +0.54 +0.29 +0.23 +0.43 +1.08 +14.72 +1.12 +2.21 TMO‑Non
KRS194+1 +0.30 +0.28 +0.36 +1.05 +0.47 +0.33 +0.23 +0.42 +0.68 +0.98 +0.63 +1.98 TMO‑Non
SWV377+1 +0.28 +0.30 +0.38 +1.03 +0.45 +0.31 +0.24 +0.41 +0.62 +0.90 UNK‑Non +1.88 TMO‑Non
CSR116+42 +0.77 +0.93 +0.94 +12.26 +0.81 +1.28 +6.40 +108.87 +3.32 TMO‑Non +90.42 TMO‑Non TMO‑Non
SWW473+1 +0.35 +0.37 +0.45 +1.54 +0.59 +0.65 +0.25 +0.78 +0.88 +6.26 +2.90 +5.38 TMO‑Non
KRS233+1 +2.30 +0.31 +0.38 +1.05 +4.24 +0.71 +0.77 +0.33 +1.09 +3.05 +149.16 +2.36 TMO‑Non
MGT054+1 +0.37 +0.31 +0.36 +1.02 +0.46 +0.38 +0.33 +0.43 +0.67 +0.87 +1.32 3.85 TMO‑Non
KRS267+1 +0.30 +0.28 +0.36 +1.03 +0.78 +0.36 +0.25 +62.34 +0.73 +2.36 +0.52 TMO‑Non TMO‑Non
LCL893+1 +0.28 +0.31 +0.35 +1.04 +0.45 +0.42 +0.23 +0.52 +0.61 UNK‑Non +0.63 TMO‑Non UNK‑Non
SYN938+1 +0.40 +0.36 +1.55 +1.03 +1.46 UNK‑Non TMO‑Non +24.09 +1.60 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SET084+1 +0.30 +0.30 +0.37 +1.04 +0.47 +0.49 +0.24 +1.24 +0.63 +1.03 +64.27 +9.01 TMO‑Non
KRS186+1 +0.35 +0.32 +0.36 +1.04 +27.69 +0.60 +0.25 +0.41 +0.70 +24.07 +0.66 +2.08 TMO‑Non
NUM926+1 +0.35 +0.32 +0.38 +1.04 +0.48 +0.49 +0.24 +0.50 +1.17 +0.94 +0.72 TMO‑Non TMO‑Non
CSR060+2 +0.43 +0.36 +0.54 +1.57 +1.66 +0.53 +0.32 +6.26 +1.95 TMO‑Non +10.96 TMO‑Non TMO‑Non
NUN059+2 +0.28 +0.32 +0.36 +1.03 +0.46 +0.49 +0.24 +0.41 +0.62 +0.90 +1.89 1.51 +6.29
KRS266+1 +0.31 +0.29 +0.36 +1.03 +0.53 +0.34 +0.28 +62.09 +0.63 +2.46 +0.63 TMO‑Non TMO‑Non
NUM839+1 +0.31 +0.33 +0.34 +1.02 +0.54 +0.48 +0.23 +0.40 +0.64 UNK‑Non +2.55 +1.68 TMO‑Non
KRS235+1 +1.52 +0.31 +0.37 +1.03 +4.15 +0.78 +0.85 +0.44 +1.14 +2.79 +132.53 +1.88 TMO‑Non
PRO011+1 +0.33 +0.29 +0.38 +1.04 +0.42 +0.31 +0.24 +63.00 +0.81 +1.04 TMO‑Non TMO‑Non TMO‑Non
KRS189+1 +0.35 +0.33 +0.35 +0.97 +25.59 +0.58 +0.29 +0.42 +0.65 +19.38 +0.63 +1.97 TMO‑Non
NUM925+5 +0.32 +0.39 +0.39 +1.03 +0.53 +0.50 +0.25 +0.51 +0.82 +1.06 +6.57 +4.07 TMO‑Non
NUN070+1 +0.31 +0.30 +0.37 +1.06 +0.45 +0.45 +0.26 +23.96 +0.65 +0.93 +0.54 TMO‑Non TMO‑Non
MGT055+1 +0.41 +0.32 +0.48 +1.01 +3.01 +0.32 +0.51 +0.48 +1.72 +0.97 TMO‑Non 4.03 TMO‑Non
CSR115+57 +0.65 +1.03 +0.97 +14.32 +0.82 +0.49 +2.16 +109.75 +15.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG102+1 +0.41 +0.57 +0.77 +1.04 +9.39 TMO‑Non +90.90 +0.66 +5.98 TMO‑Non TMO‑Non +3.45 TMO‑Non
CSR063+3 +0.63 +0.51 +0.80 +5.27 +1.68 +0.60 +0.45 +10.76 +2.18 TMO‑Non +26.53 24.75 TMO‑Non
NUM304+1 +0.31 +0.33 +0.40 +1.08 +0.47 +0.34 +0.25 +10.92 +0.69 +1.57 +0.69 TMO‑Non +9.67
SYO604+1 +0.39 +0.56 +113.05 +1.03 TMO‑Non TMO‑Non +1.37 +10.57 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MSC010+1 +0.29 +0.33 +0.40 +1.54 +0.79 +0.33 +0.22 +0.42 +0.78 UNK‑Non TMO‑Non +1.84 TMO‑Non
NUN081+1 +0.29 +0.28 +0.37 +1.04 +0.49 +0.39 +0.24 TMO‑Non +0.69 +0.96 +0.50 TMO‑Non +8.28
GRP667+6 +2.44 +11.05 +2.14 +45.74 +7.51 TMO‑Non +44.48 TMO‑Non UNK‑Non +4.74 TMO‑Non TMO‑Non TMO‑Non
CSR115+35 +0.65 +0.76 +0.94 +55.55 +0.99 +0.76 +6.12 +108.64 +15.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN068+2 +0.31 +0.33 +0.37 +0.99 +0.47 +0.90 +0.24 +0.47 +0.70 +0.92 TMO‑Non TMO‑Non TMO‑Non
CSR113+31 +0.70 +0.68 +0.89 +53.42 +0.85 +0.65 +5.99 +109.01 +2.96 TMO‑Non +168.77 TMO‑Non TMO‑Non
GEO271+1 +0.36 +1.12 +0.58 +1.54 +0.70 +1.26 +0.25 +0.61 +1.11 UNK‑Non TMO‑Non +7.30 TMO‑Non
CSR034+3 +0.49 +0.53 +0.72 +4.29 +1.01 +0.43 +0.57 +122.11 +1.54 TMO‑Non +3.28 TMO‑Non TMO‑Non
SWV122+1 +0.31 +0.40 +0.48 +1.07 +2.15 +3.58 +0.26 +0.46 +9.31 TMO‑Non TMO‑Non +5.77 TMO‑Non
CSR115+99 +0.66 +0.80 +0.91 +13.85 +0.88 +0.44 +1.35 +110.04 +14.94 TMO‑Non +97.54 TMO‑Non TMO‑Non
SWV092+1 +0.33 +0.34 +0.37 +1.02 +0.61 +0.35 +0.26 +0.50 +0.90 +2.11 +74.82 +2.64 TMO‑Non
KRS234+1 +0.32 +0.32 +0.37 +0.89 +0.53 +0.63 +0.26 +0.43 +0.72 +1.16 +0.73 38.35 TMO‑Non
COM125+1 +0.31 +0.31 +0.39 +1.08 +0.54 +0.33 +0.25 +0.48 +0.80 UNK‑Non +66.60 +2.28 TMO‑Non
NUN076+1 +0.31 +0.37 +0.38 +2.06 +0.46 +0.66 +0.25 TMO‑Non +0.69 +1.18 +4.37 TMO‑Non +28.07
SCT126+1 +0.48 +0.49 +0.80 +3.58 +1.18 +2.66 +3.00 +3.23 +1.55 +15.47 +1.19 +13.93 TMO‑Non
CSR115+83 +0.63 +0.64 +0.83 +52.99 +0.60 +1.26 +5.83 +108.96 +3.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB006+1 +0.42 +0.33 +0.62 +2.54 +0.78 +0.36 +0.45 +0.87 +0.67 TMO‑Non +17.45 +6.10 TMO‑Non
CSR115+17 +0.62 +0.71 +0.90 +20.94 +0.81 +0.45 +7.65 +31.05 UNK‑Non TMO‑Non TMO‑Non 48.27 TMO‑Non
SWB013+2 +0.32 +0.32 +0.38 +14.68 +1.20 +2.40 +0.25 +0.51 +0.90 +85.84 +0.69 +2.06 +45.89
NUN060+1 +0.28 +0.27 +0.37 +1.04 +0.48 +0.74 +0.22 TMO‑Non +0.68 +0.87 +0.57 TMO‑Non +12.92
ALG210+2 +0.31 +0.34 +0.34 +1.03 +0.46 +0.31 +0.40 +0.45 +0.76 +0.91 TMO‑Non +1.82 TMO‑Non
CSR113+22 +0.67 +0.70 +0.96 +51.97 +0.76 +0.48 +7.08 +109.51 +2.58 TMO‑Non +164.88 TMO‑Non TMO‑Non
SWV463+1 +0.38 +0.37 +0.40 +1.05 +2.60 +1.27 +2.70 +0.64 +1.74 +1.09 +1.02 +3.06 TMO‑Non
CSR115+23 +0.72 +0.77 +0.83 +18.93 +0.81 +0.46 +1.99 +109.12 +14.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB073+1 +0.39 +0.34 +0.41 +3.09 +1.64 +0.49 +0.38 +26.42 +0.78 TMO‑Non +79.99 19.98 TMO‑Non
KRS187+1 +0.31 +0.32 +0.39 +1.05 +1.88 +0.47 +0.24 +0.42 +0.68 +1.13 +0.67 +2.06 TMO‑Non
ALG210+1 +0.31 +0.34 +1.05 +6.58 +101.45 +1.13 +0.64 +0.44 +1.40 +0.88 TMO‑Non +1.86 TMO‑Non
NUN065+1 +0.52 +2.02 +1.66 +1.02 +53.60 TMO‑Non +10.24 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB087+1 +1.39 +0.34 +1.18 +2.05 +98.40 +0.56 +12.02 +24.54 +0.79 TMO‑Non +1.53 +9.62 TMO‑Non
NUN085+1 +109.75 +17.19 +2.18 +2.54 +6.55 +19.71 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +2.57 TMO‑Non TMO‑Non
NUM851+1 +0.55 +0.54 +0.37 +1.06 +0.46 +0.46 +0.25 +0.45 +0.71 UNK‑Non TMO‑Non +2.39 TMO‑Non
CSR116+8 +0.69 +0.98 +0.96 +60.96 +0.82 +5.91 +7.60 +110.95 +5.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT042+1 +0.42 +0.33 +0.86 +1.02 +0.76 +0.43 +0.68 +0.41 +0.85 +0.98 +20.72 +2.57 TMO‑Non
CSR038+3 +1.25 +0.58 +0.79 +4.75 +2.50 +0.85 +1.52 +148.94 +1.48 TMO‑Non +21.80 TMO‑Non TMO‑Non
NUM327+1 +0.35 +0.33 +0.43 +2.59 +91.18 +0.63 +0.31 +10.61 +0.91 +5.95 +1.06 TMO‑Non TMO‑Non
SYN353+1 +0.31 +0.33 +0.37 +1.05 +0.45 +0.34 +0.23 TMO‑Non +0.67 +2.10 TMO‑Non TMO‑Non +151.55
ALG119+1 +0.44 +0.60 +2.06 +1.08 +10.20 TMO‑Non +0.59 +0.69 +7.27 TMO‑Non TMO‑Non +3.35 TMO‑Non
CSR064+3 +0.65 +0.55 +0.77 +6.28 +2.64 +0.50 +0.56 +10.02 +2.45 TMO‑Non +21.55 24.82 TMO‑Non
MGT062+1 +0.39 +0.31 +0.38 +0.97 +0.48 +0.46 +0.62 +0.46 +0.71 +0.90 +60.75 3.57 TMO‑Non
CSR050+3 +1.12 +0.62 +0.80 +11.97 +1.82 +0.48 +0.50 +97.12 +6.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925+3 +0.80 +0.54 +0.80 +16.27 +1.01 +0.65 +1.07 +1.77 +1.42 +51.80 TMO‑Non 8.68 TMO‑Non
NUN066+1 +0.36 +2.57 +10.61 +1.03 +90.19 +16.58 +0.25 TMO‑Non +15.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA004+1 +0.36 +0.33 +0.38 +1.04 +0.47 +0.34 +0.25 +10.64 +0.69 +1.16 TMO‑Non +17.69 +40.78
CSR113+8 +0.75 +0.77 +0.89 +52.62 +0.80 +0.47 +0.75 +126.69 +41.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET090+1 +0.32 +0.31 +0.38 +0.98 +0.46 +0.38 +0.25 +0.72 +0.79 +1.04 +28.43 +4.78 TMO‑Non
CSR044+3 +1.14 +0.55 +0.80 +4.79 +4.10 +0.51 +2.26 +152.41 +1.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN082+2 +0.31 +0.31 +0.33 +1.04 +0.45 +0.46 +0.23 +0.42 +0.88 +0.93 +66.68 TMO‑Non TMO‑Non
NUN068+1 +0.42 +1.17 +1.68 +1.03 +46.10 TMO‑Non +0.41 TMO‑Non +2.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW272+1 +0.48 +0.51 +0.80 +3.63 +1.04 +0.98 +0.74 +1.29 +2.09 +6.90 TMO‑Non +9.87 TMO‑Non
CSR114+9 +0.67 +0.64 +0.93 +22.42 +0.80 +0.43 +162.04 +109.34 UNK‑Non TMO‑Non +102.35 TMO‑Non TMO‑Non
MGT005+1 +0.33 +0.33 +0.99 +1.05 +97.73 +0.46 +0.36 +1.01 +0.89 +1.37 +6.77 +1.94 TMO‑Non
CSR116+10 +0.84 +1.00 +0.88 +61.89 +0.86 +5.71 +37.15 +110.16 +4.90 TMO‑Non +92.32 TMO‑Non TMO‑Non
CSR018+1 +0.38 +0.43 +0.39 +1.01 +0.57 +0.51 +0.34 +0.49 +3.99 +1.08 +122.96 TMO‑Non +161.26
LCL660+1.010 +0.57 +0.46 TMO‑Non +3.60 TMO‑Non TMO‑Non TMO‑Non +51.11 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM128+1 +0.31 +0.31 +0.39 +1.08 +0.53 +0.36 +0.26 +0.41 +0.69 UNK‑Non +175.75 +3.38 +111.04
LCL656+1.015 +0.66 +1.17 +74.97 +2.57 +57.16 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU268+1 +0.32 +0.31 +0.40 +1.03 +0.59 +0.40 +0.24 +0.52 +0.58 +22.40 TMO‑Non +2.48 TMO‑Non
KRS216+1 +0.29 +0.32 +0.37 +1.03 +0.70 +0.38 +0.24 TMO‑Non +0.68 +45.77 +0.68 TMO‑Non TMO‑Non
PUZ001+2 +0.31 +0.31 +0.36 +1.07 +0.46 +0.31 +0.21 +0.71 +0.61 +0.91 +2.03 173.63 UNK‑Non
CSR073+3 +0.56 +0.62 +0.78 +4.27 +2.93 +0.68 +0.95 TMO‑Non +2.76 TMO‑Non +25.00 TMO‑Non TMO‑Non
SWB008+1 +1.34 +0.34 +1.47 +29.22 +26.67 +0.37 +0.38 +53.56 +0.71 TMO‑Non +75.66 +28.09 TMO‑Non
CSR060+3 +1.48 +0.58 +0.72 +12.36 +2.29 +0.56 +3.27 +150.73 +32.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV454+1 +0.32 +0.33 +0.53 +1.02 +0.90 +0.39 +0.28 +0.61 +1.95 +1.03 +1.57 +4.90 TMO‑Non
CSR030+3 +0.55 +0.55 +0.75 +4.87 +2.42 +0.90 +1.93 +168.96 +1.40 TMO‑Non +21.68 TMO‑Non TMO‑Non
PUZ073+1 TMO‑Non +16.34 +7.83 +20.32 +39.20 TMO‑Non TMO‑Non +2.31 UNK‑Non UNK‑Non TMO‑Non 9.61 TMO‑Non
KRS251+1 +43.67 +0.33 +0.90 +1.56 TMO‑Non +3.52 +1.25 +0.45 UNK‑Non TMO‑Non TMO‑Non +2.89 TMO‑Non
SWV204+1 +0.31 +0.35 +0.38 +1.03 +0.54 +0.31 +0.26 +0.51 +0.77 +17.07 TMO‑Non +3.72 TMO‑Non
CSR062+3 +1.20 +0.56 +0.73 +10.85 +3.23 +0.63 +1.74 TMO‑Non +1.50 TMO‑Non +42.62 TMO‑Non TMO‑Non
SWW474+1 +0.78 +0.37 +0.44 +4.10 +0.57 +2.63 +0.97 +0.81 +0.99 +17.19 +3.69 +5.30 TMO‑Non
NUN082+1 +0.56 +3.09 +2.77 +1.03 +4.60 +18.73 TMO‑Non +70.19 +64.27 TMO‑Non +4.74 TMO‑Non TMO‑Non
SET072+1 +0.29 +0.28 +0.36 +1.05 +0.47 +0.31 +0.24 +20.74 +0.57 +2.35 TMO‑Non +3.35 TMO‑Non
NLP260+1 +30.68 +18.77 +41.45 +107.70 +16.04 +5.58 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non
GEO124+1 +0.31 +0.38 +0.37 +1.04 +0.45 +0.51 +0.24 +0.55 +0.69 +1.59 +24.31 +1.94 TMO‑Non
CSR061+3 +2.12 +1.02 TMO‑Non +22.41 TMO‑Non +0.63 +21.24 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR014+1 +0.33 +0.34 +0.41 +1.53 +0.49 +0.41 +0.30 +0.50 +0.96 TMO‑Non +21.94 +2.12 TMO‑Non
LCL668+1.005 +1.34 +32.08 +2.48 +1.07 +100.01 TMO‑Non +9.98 +11.10 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL897+1 +0.60 +21.41 +45.71 +7.58 +64.85 +2.03 +0.95 +0.37 UNK‑Non UNK‑Non TMO‑Non +1.63 UNK‑Non
LCL676+1.001 +0.41 +0.43 TMO‑Non +2.04 TMO‑Non +6.29 +44.27 +16.83 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW342+1 +0.81 +0.81 +1.55 +50.86 +3.42 +0.63 +1.25 +7.91 +1.63 TMO‑Non +39.29 TMO‑Non TMO‑Non
NUN055+1 +1.37 +11.63 +29.80 TMO‑Non +19.79 +3.85 +112.69 TMO‑Non UNK‑Non TMO‑Non +62.48 TMO‑Non TMO‑Non
SWV237+1 +0.32 +0.36 +0.37 +1.08 +0.49 +0.46 +0.25 +0.91 +0.71 +1.55 TMO‑Non TMO‑Non TMO‑Non
NLP261+1 +32.44 +19.86 +26.50 +77.61 +16.56 +9.88 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non
SWW302+1 +0.65 +0.72 +1.07 +6.50 +3.54 +0.75 +0.83 +7.78 +1.64 TMO‑Non +11.13 TMO‑Non TMO‑Non
LCL676+1.010 +0.85 +0.50 TMO‑Non +2.08 TMO‑Non +24.41 TMO‑Non +29.01 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV203+1 +0.33 +0.41 +0.41 +1.52 +24.78 +0.78 +0.47 +0.56 +1.44 +29.04 +77.36 +4.38 TMO‑Non
GEO168+1 +12.21 +1.75 TMO‑Non +30.20 TMO‑Non TMO‑Non TMO‑Non +83.59 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO125+1 +0.31 +0.33 +0.38 +1.00 +0.52 +0.54 +0.24 +0.58 +0.69 +1.64 +2.11 +2.33 TMO‑Non
KRS264+1 +0.50 +0.34 +0.35 +3.65 TMO‑Non +0.66 +0.42 +62.66 UNK‑Non TMO‑Non +25.44 TMO‑Non TMO‑Non
SWB005+1 +0.36 +0.34 +0.42 +2.60 +0.69 +0.37 +0.30 +26.31 +0.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL656+1.020 +1.81 +2.33 +178.13 +15.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV050+1 +0.32 +0.32 +0.38 +1.06 +0.63 +0.42 +0.24 +0.50 +0.69 +1.19 TMO‑Non +3.38 TMO‑Non
NLP262+1 +15.80 +23.10 +25.31 TMO‑Non +14.27 +5.44 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non
SEU309+1 +0.32 +0.34 +0.42 +1.02 +1.08 +0.42 +0.49 +0.49 +0.92 +1.02 TMO‑Non +3.05 TMO‑Non
SYN986+1.004 +6.28 +15.35 +60.71 TMO‑Non +36.35 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
MGT064+1 +0.35 +0.36 +0.38 +1.55 +1.35 +0.33 +16.16 +0.57 +18.35 +1.86 +69.44 12.51 TMO‑Non
LCL652+1.020 +52.73 +3.01 +12.67 +13.20 +140.13 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE010+4 +0.40 +0.48 +0.88 +27.59 +1.24 +7.50 +0.54 +3.30 +50.14 +1.05 TMO‑Non TMO‑Non TMO‑Non
LCL652+1.015 +13.79 +1.67 TMO‑Non +10.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM133+1 +0.35 +0.31 +0.37 +7.11 +0.58 +0.81 +0.25 +0.52 +0.68 UNK‑Non +26.84 +2.53 TMO‑Non
BOO109+1 +0.97 +100.31 TMO‑Non TMO‑Non +21.55 +1.91 +1.47 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV461+1 +0.38 +0.37 +1.10 +1.04 +47.17 +9.00 +1.18 +0.53 +135.24 TMO‑Non +10.03 +2.81 TMO‑Non
LCL668+1.020 +64.62 TMO‑Non +36.00 +2.49 +22.28 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV026+1 +0.33 +0.41 +11.32 +1.02 +7.98 +0.69 +0.22 +0.46 +38.59 TMO‑Non TMO‑Non +20.20 TMO‑Non
LCL680+1.005 +3.88 +0.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925+7 +0.54 +0.98 +1.02 +7.77 +1.33 +0.68 +3.60 +2.06 +5.63 +9.61 +133.36 33.51 TMO‑Non
LCL670+1.005 +3.31 +2.47 TMO‑Non +68.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV094+1 +0.34 +0.42 +1.15 +1.07 +131.01 +35.43 +0.38 +0.45 UNK‑Non TMO‑Non TMO‑Non +3.12 TMO‑Non
GEO167+1 TMO‑Non +1.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +106.53 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB097+1 +2.60 +0.35 +11.27 +2.56 +3.74 +0.47 +0.38 +52.95 +0.95 TMO‑Non +5.12 +10.14 TMO‑Non
LCL658+1.020 +72.71 +1.82 TMO‑Non +8.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non +19.26 TMO‑Non
NUM924+7 +0.50 +0.56 +0.87 +2.76 +0.93 +1.77 +1.68 +2.09 +2.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL876+1 TMO‑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
SET722+4 +0.59 +0.36 +0.38 +7.12 +0.76 +0.86 TMO‑Non +0.44 +2.06 TMO‑Non +63.48 +3.72 TMO‑Non
LCL662+1.010 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
LCL899+1 +0.33 +0.34 +0.31 +1.03 +0.45 +0.32 +0.23 +0.69 +0.78 UNK‑Non TMO‑Non TMO‑Non UNK‑Non
SWW101+1 +0.31 +0.32 +0.38 +1.03 +0.48 +0.47 +0.30 +0.52 +0.67 +1.01 TMO‑Non +5.71 TMO‑Non
ITP018+2 +0.32 +0.32 +0.35 +1.53 +81.49 +0.66 +0.71 +0.45 +0.65 TMO‑Non TMO‑Non +5.75 TMO‑Non
GEO621+1 +2.48 +9.16 +0.57 +7.76 +0.70 +0.81 +0.45 TMO‑Non +8.08 TMO‑Non TMO‑Non TMO‑Non +8.23
GEO557+1 +2.73 +3.67 +0.65 +5.68 +0.73 +0.33 +1.06 TMO‑Non +31.51 +6.02 UNK‑Non TMO‑Non +26.95
SCT146+1 +0.42 +0.40 +0.58 +2.09 +0.90 +2.25 +0.32 +1.05 +0.97 +3.76 TMO‑Non 17.05 TMO‑Non
GRP654+3 +1.58 TMO‑Non +10.01 TMO‑Non +11.60 TMO‑Non +175.68 TMO‑Non UNK‑Non +91.79 TMO‑Non TMO‑Non TMO‑Non
GRP655+2 +3.68 TMO‑Non +22.46 TMO‑Non +10.83 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +18.84 TMO‑Non TMO‑Non TMO‑Non
SWW300+1 +0.72 +0.71 +1.02 +11.59 +4.04 +0.62 +0.76 +8.39 +1.60 TMO‑Non +106.59 TMO‑Non TMO‑Non
GEO300+1 +0.46 +0.39 +0.55 +1.04 +0.72 +0.65 +0.34 +0.70 +1.44 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR041+4 +1.67 +1.37 +2.09 +90.87 +16.74 +0.97 +5.48 TMO‑Non +13.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP775+1 +0.38 +0.41 +0.44 +1.56 +0.63 +36.07 +1.24 +0.51 +2.76 +14.90 TMO‑Non +2.80 TMO‑Non
GEO299+1 +0.47 +0.36 +0.53 +1.02 +0.59 +0.50 +0.26 +0.72 +3.01 UNK‑Non +21.38 TMO‑Non TMO‑Non
LCL902+1 +0.33 +0.35 +0.33 +1.05 +0.48 +0.62 +0.26 +0.59 +0.74 UNK‑Non TMO‑Non TMO‑Non UNK‑Non
PUZ133+1 +0.41 +0.64 +0.82 +1.04 +158.52 +2.15 +0.32 +0.80 UNK‑Non +1.20 TMO‑Non 31.65 TMO‑Non
KLE170+1.002 +0.37 +2.26 +0.72 +4.62 +10.72 +30.97 +1.12 +1.04 UNK‑Non +0.93 TMO‑Non 7.61 TMO‑Non
GEO575+1 +5.29 +20.98 +0.61 +9.57 +0.71 +0.73 +1.56 TMO‑Non +29.95 +11.71 +1.62 TMO‑Non TMO‑Non
KLE078+1 +0.69 +1.27 +0.49 +5.07 +9.41 +57.48 +3.18 +3.03 +163.16 +1.07 TMO‑Non 8.24 TMO‑Non
SWB017+1 +0.82 +0.33 +0.63 +9.12 +0.84 +0.74 +0.54 +26.78 +0.68 TMO‑Non +96.64 +7.38 TMO‑Non
SWV460+1 +0.34 +0.34 +12.48 +1.02 +124.64 +0.53 +0.30 +0.52 +0.99 +33.05 +92.25 +5.51 TMO‑Non
ITP020+1 +0.34 +0.35 +0.36 +1.01 +0.72 +0.89 +0.54 TMO‑Non +1.91 +1.53 +0.56 TMO‑Non TMO‑Non
SWW473+6 +2.99 +1.37 +0.77 +3.29 +1.24 +1.86 +1.02 +10.68 +3.57 UNK‑Non +8.92 22.69 TMO‑Non
SWV468+1 +0.43 +0.32 +4.37 +1.03 +10.64 +0.75 +0.26 +0.56 +4.37 TMO‑Non TMO‑Non +18.01 TMO‑Non
PRO004+4 +0.39 +0.37 +0.44 +9.07 +4.47 +2.72 +11.51 +26.03 +25.98 +3.01 TMO‑Non TMO‑Non TMO‑Non
GEO584+1 +7.32 +12.54 +0.74 +13.59 +0.86 +0.65 +1.32 TMO‑Non UNK‑Non +10.20 TMO‑Non TMO‑Non +45.00
GEO623+1 +33.96 +23.09 +0.64 +6.21 +0.71 +0.85 +9.20 +12.90 +43.56 TMO‑Non +27.69 TMO‑Non +34.28
SWW956+1 +0.31 +0.36 +0.35 +1.06 +0.53 +0.84 +0.25 +0.46 +0.67 TMO‑Non +2.04 +2.66 TMO‑Non
GEO650+1 +10.74 +27.01 +0.67 +6.08 +0.79 +0.65 +3.07 TMO‑Non +15.64 TMO‑Non +73.94 TMO‑Non TMO‑Non
ITP004+2 +0.37 +0.56 +0.55 +2.05 +0.81 +0.74 +0.58 +3.90 +4.07 +1.55 TMO‑Non TMO‑Non TMO‑Non
SWV449+1 +0.36 +0.35 +0.40 +1.03 +0.70 +0.93 +0.33 +0.60 +1.70 +1.15 +68.39 +6.49 TMO‑Non
SWV450+1 +0.37 +0.33 +0.43 +1.04 +0.64 +1.24 +0.47 +0.51 +1.39 +1.19 +1.22 +4.21 TMO‑Non
SET071+1 +0.31 +0.42 +0.40 +1.53 +27.74 +0.89 +0.30 +0.41 +36.38 TMO‑Non +4.90 TMO‑Non TMO‑Non
SWV456+1 +0.37 +0.33 +6.45 +1.00 +102.05 +0.38 +0.36 +0.56 +51.12 +12.66 +2.53 +5.27 TMO‑Non
SWV457+1 +0.47 +0.37 +0.44 +1.54 +0.90 +1.25 +0.37 +0.64 +2.79 +1.22 TMO‑Non +14.93 TMO‑Non
SWB049+1 +0.68 +0.34 +0.39 +26.26 +0.93 +0.55 +0.71 TMO‑Non +0.74 +98.36 +1.50 TMO‑Non TMO‑Non
MGT063+1 +0.94 +0.42 +0.35 +1.56 +1.66 +1.98 TMO‑Non +0.60 +125.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV209+1 +0.32 +0.41 +0.41 +1.54 +0.50 +0.32 +0.30 +0.48 +1.13 TMO‑Non TMO‑Non +2.61 TMO‑Non
CSR002+2 +0.48 +0.34 +0.48 +2.55 +0.67 +0.43 +0.46 +26.24 +8.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV208+1 +0.32 +0.36 +0.41 +2.12 +0.51 +0.37 +0.26 +0.48 +1.14 TMO‑Non TMO‑Non +2.87 TMO‑Non
HAL002+1 +0.43 +0.39 +0.37 +13.15 +0.50 +3.81 +0.35 +0.57 +1.59 TMO‑Non TMO‑Non +2.85 TMO‑Non
SWB057+1 +0.49 +0.34 +0.66 +3.63 +0.98 +0.34 +0.42 +26.19 +0.63 TMO‑Non TMO‑Non +8.67 TMO‑Non
SWV205+1 +0.32 +0.36 +0.42 +1.05 +0.50 +0.33 +0.36 +0.49 +1.16 TMO‑Non TMO‑Non +2.75 TMO‑Non
SWB021+2 +0.44 +2.81 +0.50 +9.66 +97.62 +0.60 +3.69 +0.86 +1.35 +5.68 TMO‑Non TMO‑Non TMO‑Non
LCL901+1 +0.49 +0.73 +0.41 +1.02 +0.51 +4.30 +0.40 +1.12 +6.98 UNK‑Non TMO‑Non TMO‑Non UNK‑Non
SWW344+1 +0.91 +0.82 +1.49 +46.72 +4.43 +0.70 +5.29 TMO‑Non +1.68 TMO‑Non +83.07 TMO‑Non TMO‑Non
GRP655+3 +12.13 TMO‑Non +63.19 TMO‑Non +60.30 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +35.40 TMO‑Non TMO‑Non TMO‑Non
ITP010+5 +2.28 +1.37 +4.46 9.28 +2.50 +16.69 +20.96 +116.81 +4.88 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWV480+1 +0.38 +0.36 +0.65 +1.57 +68.48 +1.29 +0.29 +1.79 +1.32 +1.50 TMO‑Non +108.90 TMO‑Non
SWW474+3 +10.28 +1.39 +0.77 +41.67 +0.80 +36.58 +2.33 +2.93 +2.56 +26.14 TMO‑Non +13.03 TMO‑Non
SWW095+1 +0.84 +0.60 +4.65 +4.66 +103.04 TMO‑Non TMO‑Non +0.59 TMO‑Non TMO‑Non TMO‑Non +4.38 TMO‑Non
SWW311+1 +1.00 +0.80 +1.32 +89.34 +3.42 +0.70 +0.82 TMO‑Non +1.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP010+4 +3.68 +3.83 +4.37 +14.94 +2.22 +3.11 +12.21 +17.01 +5.76 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWV473+1 +0.37 +0.34 +3.16 +1.04 +25.91 +0.88 +0.44 +0.51 +1.01 +56.63 TMO‑Non +19.61 TMO‑Non
CSR063+4 +2.19 +2.09 +2.07 +88.14 +12.52 +1.65 +1.53 TMO‑Non +22.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET608+3 +0.66 +0.36 +19.01 +1.07 +26.80 +0.92 +43.82 +0.50 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926+2 +0.36 +0.59 +1.16 +2.60 +2.64 +0.72 +7.59 +1.02 +7.58 +1.69 +3.11 TMO‑Non TMO‑Non
SWW297+1 +0.74 +0.80 +1.54 +58.48 +3.36 +0.66 +1.01 TMO‑Non +2.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO274+1 +0.48 +0.49 +0.66 +2.99 +0.71 +2.37 +0.26 +0.64 +103.47 UNK‑Non TMO‑Non +4.91 TMO‑Non
SEV517+1 +0.35 +0.29 +0.36 +0.98 +1.61 +0.77 +92.80 +0.43 +8.28 TMO‑Non +67.65 +3.18 TMO‑Non
GEO270+1 +3.68 +0.52 +0.66 +1.54 +34.18 +3.00 +2.35 +2.37 +2.04 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV486+1 +1.09 +0.38 +0.50 +1.05 +0.59 +0.35 +1.24 +8.38 +1.66 TMO‑Non TMO‑Non 22.25 TMO‑Non
SWW180+1 +0.43 +1.18 +2.08 +7.18 +3.43 +0.78 +2.86 +26.91 +27.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV487+1 +0.83 +0.35 +0.54 +1.02 +0.62 +0.66 +0.55 +12.64 +1.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO127+1 +0.31 +0.33 +0.37 +1.60 +0.47 +0.35 +0.24 TMO‑Non +0.63 +1.19 TMO‑Non TMO‑Non TMO‑Non
GRP746+1 TMO‑Non TMO‑Non +29.70 TMO‑Non +18.00 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +106.03 TMO‑Non TMO‑Non TMO‑Non
GEO282+1 +0.56 +1.04 +0.77 +9.32 +0.91 +65.54 +0.54 +26.62 +24.33 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW298+1 +0.79 +0.81 +1.50 +45.75 +4.23 +0.87 +0.93 TMO‑Non +1.74 TMO‑Non +108.48 TMO‑Non TMO‑Non
GEO283+1 +1.32 +0.87 +3.76 +3.00 +26.84 +3.49 +22.56 +0.65 UNK‑Non UNK‑Non TMO‑Non 109.97 TMO‑Non
SWW470+1 +0.60 +0.50 +145.56 +3.05 TMO‑Non +7.77 +2.04 +0.70 +5.32 +3.43 TMO‑Non +3.72 TMO‑Non
GEO526+1 +1.43 +0.35 +1.54 +19.65 +1.75 +1.10 +1.18 +5.21 +1.82 +20.18 TMO‑Non +12.29 TMO‑Non
GEO340+1 +44.98 +0.42 +0.70 +5.13 +39.65 TMO‑Non +1.19 +0.67 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRP654+2 +1.12 TMO‑Non +60.76 TMO‑Non +38.68 TMO‑Non TMO‑Non TMO‑Non +42.91 +144.17 TMO‑Non TMO‑Non TMO‑Non
KLE034+1 +0.35 +0.59 +0.36 +6.08 +0.46 +16.05 +1.32 +22.88 +2.01 +39.19 TMO‑Non TMO‑Non TMO‑Non
NUM924+4 +22.49 +1.04 +1.80 +17.27 +45.68 +32.78 +10.20 +9.79 +9.75 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRA007+2 +0.39 +12.28 +0.56 +1.55 +0.58 +8.49 +0.41 +11.75 +0.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO528+1 +1.01 +0.98 +1.48 +102.33 +2.67 +1.79 +13.57 +4.25 +49.38 TMO‑Non TMO‑Non +16.17 TMO‑Non
SWV487+3 +0.87 +0.39 +4.18 +1.04 +32.48 +0.38 +1.09 +25.55 +0.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB009+1 +29.18 +0.34 +0.37 TMO‑Non +161.74 +0.41 +0.58 +98.03 +0.76 TMO‑Non +130.51 TMO‑Non TMO‑Non
SWW394+1 +0.92 +0.88 +1.70 +65.24 +3.47 +0.72 +0.86 TMO‑Non +2.10 TMO‑Non +22.13 TMO‑Non TMO‑Non
SWW470+2 +3.05 +0.58 +5.86 +3.67 +12.47 +15.19 +35.98 +4.26 UNK‑Non TMO‑Non TMO‑Non +9.25 TMO‑Non
GEO286+1 +4.68 +1.70 +3.93 +3.06 +3.76 +3.27 TMO‑Non +45.32 UNK‑Non UNK‑Non TMO‑Non 103.09 TMO‑Non
CSR008+1 +0.88 +0.52 +0.58 +110.32 +0.66 +2.74 +1.90 +52.91 +7.45 +3.00 TMO‑Non TMO‑Non TMO‑Non
SWV465+1 +0.37 +0.36 +13.60 +1.50 +6.49 +1.34 +4.74 +0.53 +1.74 +1.07 TMO‑Non +11.52 TMO‑Non
NUM513+1 +0.55 +5.37 +0.42 +1.55 +1.32 +95.13 TMO‑Non +23.64 +3.00 TMO‑Non TMO‑Non +3.34 TMO‑Non
SWV112+1 +2.35 +0.44 +4.50 +2.00 +153.50 +0.91 +0.40 +0.56 UNK‑Non TMO‑Non TMO‑Non +18.79 TMO‑Non
CSR001+2 +1.04 +1.14 +0.57 +2.05 +8.01 +7.54 +12.57 +29.01 +81.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO169+2 +0.50 +0.67 +1.17 +13.21 +1.05 TMO‑Non +1.57 +9.45 +7.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET646+3 +0.30 +0.33 +0.34 +1.57 +0.51 +0.82 +0.26 TMO‑Non +0.76 +2.15 TMO‑Non TMO‑Non TMO‑Non
KLE170+1.004 +0.57 +33.97 +0.84 +44.79 +10.71 TMO‑Non +8.90 +22.29 UNK‑Non +5.20 TMO‑Non 13.25 TMO‑Non
KLE143+1 +0.70 +1.46 +0.59 TMO‑Non +6.10 TMO‑Non +20.99 +7.14 +92.91 +31.90 TMO‑Non TMO‑Non TMO‑Non
SET614+3 +0.55 +0.36 +19.40 +1.02 +14.62 +0.85 +7.84 +1.05 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM138+1 +0.66 +0.33 +0.50 +1.54 +0.56 +10.03 +0.61 +0.48 +1.15 UNK‑Non TMO‑Non +2.48 TMO‑Non
SWB056+1 +106.28 +0.36 +106.10 +2.56 +11.69 +0.63 +95.82 +27.23 +0.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV104+1 +0.32 +0.31 +0.39 +3.00 +0.59 +1.99 +0.23 +0.50 +0.74 TMO‑Non TMO‑Non 24.47 TMO‑Non
NUM316+1 +0.36 +0.35 +0.48 +12.68 +16.36 +0.47 +9.64 TMO‑Non +2.78 +59.65 +21.76 TMO‑Non TMO‑Non
ALG165+1 +0.53 +1.07 TMO‑Non +1.02 TMO‑Non TMO‑Non +20.51 +1.25 +8.92 TMO‑Non TMO‑Non +3.93 TMO‑Non
ALG104+1 +0.57 +0.76 TMO‑Non +1.03 UNK‑Non TMO‑Non TMO‑Non +0.72 +15.77 TMO‑Non TMO‑Non +8.26 TMO‑Non
SWV491+3 +3.26 +0.36 +2.48 +7.59 +13.18 TMO‑Non TMO‑Non +25.52 +57.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO298+1 +0.60 +0.55 +1.21 +14.08 +1.50 +7.82 +1.00 +1.96 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW968+1 +0.31 +0.39 +0.35 +1.05 +0.54 +0.80 +0.82 +0.82 +0.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW470+3 +30.31 +0.49 TMO‑Non +6.20 TMO‑Non +2.51 +39.49 +6.67 UNK‑Non TMO‑Non TMO‑Non +22.42 TMO‑Non
SWV462+1 +1.08 +0.36 +2.66 +1.59 +10.71 +4.79 +41.14 +4.37 +15.95 +1.90 TMO‑Non +31.91 TMO‑Non
SEU450+1 +0.36 +0.38 +18.06 +3.52 +20.66 +6.13 +94.65 +2.84 UNK‑Non TMO‑Non TMO‑Non 33.14 TMO‑Non
GEO089+1 +43.29 +0.53 +2.01 +2.55 +16.27 +43.09 +67.98 +26.94 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO008+4 +0.70 +0.78 +11.27 +23.39 +38.45 +12.26 TMO‑Non +26.35 +62.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM127+1 +0.76 +0.45 +0.45 TMO‑Non +0.55 +10.10 +6.03 +0.49 +0.92 UNK‑Non TMO‑Non +3.01 TMO‑Non
LCL894+1 +0.91 +2.80 +0.51 +6.10 +0.63 +11.94 +53.85 +0.86 +10.11 UNK‑Non TMO‑Non TMO‑Non UNK‑Non
LCL537+1 +1.37 +0.51 +0.49 +3.94 +0.72 +46.70 +0.74 TMO‑Non +5.21 +66.66 TMO‑Non TMO‑Non TMO‑Non
SWW387+1 +1.25 +0.96 +2.22 +51.32 +3.65 +1.12 TMO‑Non +81.16 +8.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO290+1 +0.76 +0.57 +1.56 +8.09 +2.29 +35.32 +3.78 +0.67 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO088+1 +44.25 +0.35 +0.39 +2.04 TMO‑Non +80.08 +142.20 +0.67 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV470+1 +0.37 +0.37 +28.05 +2.73 TMO‑Non +1.67 TMO‑Non +0.58 +2.02 +23.99 TMO‑Non +8.34 TMO‑Non
SWB025+1 +8.64 +0.34 TMO‑Non +3.64 +2.82 +3.17 TMO‑Non TMO‑Non +0.89 TMO‑Non +13.00 TMO‑Non TMO‑Non
CSR069+5 +17.40 +22.33 +48.15 +92.00 +9.83 +7.53 TMO‑Non +171.57 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SEU268+2 +0.42 +0.65 +1.62 +7.59 +11.87 +8.58 +5.80 +28.78 UNK‑Non TMO‑Non TMO‑Non +29.88 TMO‑Non
SWV471+1 +0.39 +0.31 +30.43 +1.57 TMO‑Non +3.94 +90.47 +0.53 +2.91 +28.12 +62.13 +6.68 TMO‑Non
SCT122+1 +0.41 +0.49 +17.89 +69.79 +100.65 +7.73 +16.78 +29.70 UNK‑Non +62.86 TMO‑Non TMO‑Non TMO‑Non
SWB058+1 +2.94 +0.36 +1.83 +61.25 +99.96 +20.51 +64.40 +55.68 +0.74 TMO‑Non +68.66 TMO‑Non TMO‑Non
SCT123+1 +0.77 +0.80 +149.26 TMO‑Non TMO‑Non +7.00 +48.83 +1.10 +3.41 +21.01 TMO‑Non +9.93 TMO‑Non
NUM926+7 +0.62 +1.18 +0.91 +29.01 +1.17 +1.74 +34.07 +1.92 +3.82 +18.14 TMO‑Non TMO‑Non TMO‑Non
ALG072+1 +53.57 +4.54 TMO‑Non TMO‑Non TMO‑Non +0.37 +0.30 +0.52 +9.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE170+1.006 +0.46 +23.12 +24.37 +72.06 +35.09 TMO‑Non +14.08 +4.75 UNK‑Non +3.15 TMO‑Non 23.31 TMO‑Non
SWW948+1 +0.33 +0.38 +0.40 +1.03 +0.51 +10.73 +0.69 TMO‑Non +0.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HAL001+2 +75.97 +2.36 TMO‑Non TMO‑Non TMO‑Non +39.92 +178.94 +46.51 UNK‑Non TMO‑Non TMO‑Non 11.12 TMO‑Non
REL029+1 TMO‑Non TMO‑Non +1.15 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL550+1 +0.84 +5.77 +0.45 +64.20 +0.59 TMO‑Non +5.06 +98.76 +11.34 +63.00 TMO‑Non TMO‑Non TMO‑Non
CSR011+1 +0.89 +0.47 +2.41 +48.69 +94.31 +55.86 +4.80 +10.22 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR062+4 +1.99 +1.64 +2.18 +55.59 +13.25 +0.97 +6.84 TMO‑Non +13.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV474+1 +1.68 +0.49 +3.08 +2.04 +11.61 +6.35 +149.57 +0.66 +4.79 TMO‑Non TMO‑Non 56.86 TMO‑Non
SWB014+1 +2.31 +0.38 TMO‑Non TMO‑Non +3.03 +0.56 TMO‑Non +174.27 +1.49 TMO‑Non +70.84 TMO‑Non TMO‑Non
NUM925+8 +2.32 +2.15 +4.62 +85.76 +6.88 +1.23 +3.20 +18.27 +21.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWC214+1 +0.38 +0.70 +0.67 +1.52 +0.98 +3.65 TMO‑Non TMO‑Non UNK‑Non +88.15 TMO‑Non TMO‑Non TMO‑Non
NUN075+2 +0.37 +0.29 +167.85 +15.66 TMO‑Non TMO‑Non +0.78 +62.78 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA009+1 +85.21 +0.34 +0.98 +8.62 +1.82 TMO‑Non +4.83 +67.92 +5.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO285+1 +0.54 +0.76 +0.75 +7.67 +0.93 +56.82 +1.53 +9.08 +39.11 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV234+2 +0.53 +0.49 +0.36 +5.09 +0.49 +0.94 +11.33 TMO‑Non +1.37 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU136+2 +3.18 +0.47 +17.34 +1.54 +24.92 +35.77 TMO‑Non +26.60 UNK‑Non TMO‑Non TMO‑Non 9.05 TMO‑Non
GEO507+1 +77.56 +10.35 +9.99 +32.74 +20.14 +21.56 TMO‑Non +28.06 +4.08 TMO‑Non +154.85 68.00 TMO‑Non
SWW284+1 +1.21 +11.53 +1.49 TMO‑Non +1.19 +19.90 +6.08 TMO‑Non +54.75 +10.15 TMO‑Non TMO‑Non TMO‑Non
CSR040+4 +3.25 +1.94 +12.40 +160.44 +9.12 +1.39 +12.55 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU348+2 +47.44 +34.72 +0.63 +103.08 +2.10 +2.82 +0.84 +5.62 +38.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM345+1 +0.68 +0.41