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

Results for THF (Higher-order Theorems)

Higher-order Theorems Zipperpin
2.1
Zipperpin
2.1.999
E
3.0
Vampire
4.7
Leo-III
1.7.0
Satallax
3.4
cvc5
1.0
Lash
1.12
LEO-II
1.7.0
NLP265^2* +0.67 +0.64 +0.34 +0.37 +2.68 +0.24 +0.33 +0.29 +0.27
SYO391^5 +0.92 +1.03 +0.42 +0.35 +2.79 +1.51 +32.60 +0.87 +2.01
LCL959^24* +0.69 +0.68 +0.30 +4.02 +1.58 TMO‑Non +3.01 +18.70 +0.43
PUZ031^5 +0.80 +1.20 +0.33 +0.33 +1.64 +0.89 +10.98 +7.10 +1.04
DAT334^12* +0.65 +0.80 +0.36 +15.49 +2.58 +0.24 +0.34 +0.26 +0.25
SYO376^5 +0.68 +0.61 +0.35 +0.28 +2.01 +0.27 +0.44 0.26 +0.36
SET926^20* +0.75 +0.57 +0.38 +0.38 +2.46 +5.33 +0.38 +0.34 +0.38
SEV157^5 +7.09 +7.06 TMO‑Non +12.01 +2.18 TMO‑Non +1.19 TMO‑Non TMO‑Non
NLP265^4* +0.64 +0.58 +0.36 +0.41 +1.56 +0.24 +0.34 +0.27 +0.25
SYO317^5 +0.67 +0.67 +0.33 +0.29 +31.26 +59.18 +0.41 TMO‑Non +0.26
SET047^1* +0.65 +0.68 +0.37 +0.34 +1.63 +3.19 +0.35 +15.32 +0.26
SEV082^5 +0.91 +0.93 +0.30 +0.31 +1.53 +15.75 GUP‑Non +11.32 +1.05
SYO891^16* +0.62 +0.63 +0.34 +0.32 +3.59 +0.24 +0.35 +0.24 +0.32
NUM791^1 +0.64 +0.64 +0.35 +0.30 +1.42 +0.24 +0.39 +0.26 GUP‑Non
ITP234^1* +2.75 +3.06 +3.30 +4.67 +3.99 TMO‑Non TMO‑Non +33.15 GUP‑Non
SYN036^5 +0.77 +0.86 +0.42 +0.29 +1.59 +3.22 +0.41 +4.47 +0.43
SET063^4* +0.78 +0.73 +0.38 +2.41 +2.13 +3.41 +0.44 TMO‑Non +0.63
SYO310^5 +0.67 +0.78 +0.32 +0.30 +1.23 +15.64 GUP‑Non +0.24 +0.43
ITP236^1* +4.36 +7.30 +4.42 +4.27 GUP‑Non +1.47 TMO‑Non TMO‑Non GUP‑Non
SYO560^1 +0.60 +0.64 +0.36 +0.45 +2.94 +3.15 +0.50 +0.59 TMO‑Non
SET002^3* +0.68 +0.66 +0.37 +0.33 +1.62 +0.23 +0.40 +0.31 +0.35
CSR130^1 +0.67 +0.67 +0.38 +0.34 +2.11 +53.47 +0.34 +0.34 +0.35
SYO901^11* +0.76 +0.77 +0.34 +0.98 +2.02 +0.35 +0.35 +0.32 +0.29
SYO388^5 +1.03 +1.00 +0.37 +0.30 +3.28 +1.15 +31.86 +4.53 +1.17
PLA053^4* +0.62 +0.74 +0.38 +0.35 +2.29 +0.38 +0.41 +0.29 +0.29
SEV155^5 +7.06 +6.93 TMO‑Non +12.27 +18.89 TMO‑Non +2.27 TMO‑Non TMO‑Non
NLP265^5* +0.66 +0.63 +0.34 +0.41 +1.50 +0.22 +0.34 +0.29 +0.27
SYO386^5 +0.80 +0.86 +0.33 +0.32 +1.65 +23.35 +2.72 +0.73 +0.64
SET574^20* +0.64 +0.66 +0.37 +0.36 +1.84 +3.16 +0.43 +0.29 +0.31
SYO327^5 +1.01 +0.88 +0.36 +0.30 +8.96 +3.31 TMO‑Non TMO‑Non TMO‑Non
PLA054^4* +0.74 +0.70 +0.36 +37.73 +1.68 +4.35 +0.42 +0.36 +0.40
SEV156^5 +7.54 +7.29 TMO‑Non +12.26 +14.11 TMO‑Non +0.86 TMO‑Non GUP‑Non
SET019^4* +0.70 +0.65 +0.39 +0.42 +1.91 +3.18 +0.53 +0.32 +0.59
SYO179^5 +1.28 +1.12 +0.40 +0.34 +1.50 +41.69 +0.42 0.29 +0.84
LCL956^18* +0.62 +0.70 +0.35 +8.98 +1.52 +0.25 +0.44 +0.65 +0.36
PUZ094^5 +0.75 +0.75 +0.36 +0.31 +1.66 +0.49 +2.47 +0.89 +0.60
LCL957^6* +0.62 +0.60 +0.35 +0.33 +2.10 +3.27 +0.41 +0.32 +0.31
SEV154^5 +6.89 +7.45 TMO‑Non +16.74 +2.12 TMO‑Non +0.58 TMO‑Non TMO‑Non
SET926^12* +0.68 +0.61 +0.38 +0.29 +1.83 +5.52 +0.42 +0.39 +0.31
SEV083^5 +0.96 +0.95 +0.37 +0.27 +1.50 +15.64 GUP‑Non TMO‑Non +0.99
ITP214^3* +2.36 +2.25 +3.60 +6.25 +3.55 +1.56 TMO‑Non +31.50 GUP‑Non
SEV218^5 +0.74 +0.74 +0.31 +0.31 +1.59 +43.98 +0.43 +15.39 +0.34
SYO894^8* +0.66 +0.63 +0.32 +0.43 +1.47 +0.24 +0.32 +0.26 +0.27
SYO174^5 +8.61 +5.38 TMO‑Non +0.41 +1.41 +3.64 +0.55 +15.56 TMO‑Non
LCL958^18* +0.64 +0.65 +0.35 +0.30 +1.87 +41.52 +0.39 +0.75 +0.28
CSR131^1 +1.08 +1.42 +0.39 +0.39 +7.39 TMO‑Non +0.42 +0.53 TMO‑Non
SYO890^16* +0.64 +0.68 +0.36 +0.31 +1.52 +0.24 +0.38 +0.29 +0.28
SYO514^1 +0.75 +0.68 +0.30 +0.29 TMO‑Non TMO‑Non GUP‑Non +60.77 +0.29
PLA053^2* +0.77 +0.63 +0.35 +0.35 +1.98 +0.32 +0.40 +0.29 +0.29
SYO387^5 +0.87 +0.89 +0.36 +0.33 +1.85 +19.77 +4.43 +0.65 +0.88
ITP234^3* +2.14 +2.06 +2.84 +6.63 +3.95 +16.74 +109.81 +32.93 GUP‑Non
SYO272^5 +0.98 +1.02 +0.41 +0.32 +15.47 +75.38 TMO‑Non TMO‑Non TMO‑Non
LCL947^10* +1.74 +1.19 +0.53 +11.15 +2.29 +3.66 +1.01 +0.48 +5.07
SEV019^5 +0.75 +0.84 +0.36 +0.32 +1.66 +1.64 +1.73 +0.72 +0.26
ITP236^3* +18.39 +16.49 +4.36 +4.60 GUP‑Non +1.33 TMO‑Non TMO‑Non GUP‑Non
SYO180^5 +0.67 +0.64 +0.63 +0.36 +1.50 +3.34 +0.37 0.28 GUP‑Non
SYO888^10* +0.61 +0.65 +0.36 +0.35 +1.54 +0.26 +0.38 +0.28 +0.31
SEV148^5 +7.46 +6.90 TMO‑Non +24.10 +10.45 +41.71 +0.53 +0.83 TMO‑Non
PLA053^18* +0.67 +0.64 +0.39 +0.30 +1.77 +3.29 +0.42 +0.31 +0.28
SEV152^5 +7.11 +7.09 TMO‑Non +16.78 +2.25 TMO‑Non +0.62 TMO‑Non TMO‑Non
SET044^23* +0.64 +0.64 +0.39 +0.36 +1.55 +0.24 +0.33 +0.51 +0.31
SEV091^5 +0.69 +0.67 +0.37 +0.28 +1.50 +0.31 +0.38 0.28 +0.26
ITP222^3* +2.86 +2.79 +3.29 +4.99 +3.06 +0.82 +4.72 +0.85 GUP‑Non
SYO169^5 +0.68 +0.78 +0.36 +0.31 +1.51 +7.32 +0.41 +0.67 +0.29
DAT334^8* +0.63 +0.59 +0.36 +13.55 +1.49 +0.23 +0.39 +0.28 +0.26
SEV086^5 +2.49 +2.66 +0.39 +0.32 +2.41 +15.65 GUP‑Non TMO‑Non +4.34
SET926^11* +0.71 +0.70 +0.38 +0.37 +1.59 +4.57 +0.43 +0.42 +0.38
PUZ047^5 +0.63 +0.62 +0.35 +0.32 +1.68 +0.28 +0.51 TMO‑Non +0.44
ITP214^1* +2.54 +2.44 +3.92 +5.29 +3.46 +1.88 TMO‑Non +31.89 GUP‑Non
SYO374^5 +0.59 +0.65 +0.35 +0.30 +1.61 +3.23 +0.58 TMO‑Non +0.41
LCL962^16* +0.65 +0.66 +0.37 +0.38 +1.59 +0.23 +0.35 +0.30 UNK‑Non
SEV052^5 +1.19 +0.91 +0.33 +0.29 +1.59 +15.65 GUP‑Non +10.99 +1.16
SET926^8* +0.74 +0.89 +0.38 +0.37 +1.73 +3.16 +0.43 +0.43 +0.44
SEV095^5 +42.93 +6.93 +0.56 TMO‑Non TMO‑Non +72.40 GUP‑Non +2.56 TMO‑Non
DAT333^3* +0.66 +0.63 +0.37 +0.36 +1.41 +0.24 +0.38 +0.31 +0.27
MSC020^5 +0.89 +0.91 +0.32 +0.32 TMO‑Non +59.84 TMO‑Non TMO‑Non TMO‑Non
ITP222^1* +2.07 +2.21 +3.11 +3.83 +3.28 +1.73 +3.31 +0.85 GUP‑Non
SEU948^5 +16.12 TMO‑Non +0.38 TMO‑Non +7.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET027^3* +0.67 +0.62 +0.36 +0.41 +1.49 +0.35 +0.40 +0.24 +0.29
NUM762^1 +0.68 +0.62 +0.37 +0.31 +1.51 +58.80 +0.65 TMO‑Non GUP‑Non
PLA053^5* +0.65 +0.58 +0.32 +0.36 +1.65 +0.36 +0.41 +0.25 +0.34
SYO324^5 +1.85 +2.23 +0.31 +2.45 TMO‑Non +3.41 +0.37 +15.46 +26.39
LCL586^1 +0.62 +0.60 +0.36 +0.30 +2.03 +0.23 +0.41 +0.30 +0.25
SYO325^5 +6.91 +9.53 +0.37 TMO‑Non TMO‑Non +0.24 +0.44 +0.27 TMO‑Non
SYO469^6 +0.64 +0.64 +0.37 +0.34 +1.63 +0.24 +0.41 +0.30 +0.31
SYO288^5 +0.63 +0.63 GUP‑Non TMO‑Non +1.49 +102.82 GUP‑Non TMO‑Non TMO‑Non
LCL588^1 +0.63 +0.64 +0.35 +5.28 +1.46 +0.23 +0.39 +0.25 +0.27
SEV310^5 +11.30 +83.71 +0.43 TMO‑Non TMO‑Non TMO‑Non +0.42 +0.29 +0.77
SYO566^7 +0.68 +0.65 +0.36 +0.33 +1.67 +0.23 +0.37 +0.24 +0.31
SYO287^5 +0.70 +0.71 GUP‑Non TMO‑Non +1.99 +102.82 GUP‑Non TMO‑Non TMO‑Non
SEU997^5 +1.21 +1.20 +0.35 +0.41 +1.70 +75.45 +0.50 TMO‑Non +0.87
SYO173^5 +0.78 +0.81 +0.33 +0.40 +1.92 +58.87 TMO‑Non TMO‑Non +0.32
SYO487^6 +0.74 +0.67 +0.37 +0.34 +2.04 +0.25 +0.33 +0.26 +0.32
SEV084^5 +0.99 +0.95 +0.35 +0.32 +1.57 +15.65 GUP‑Non +10.94 GUP‑Non
SWV425^2 +2.58 +4.50 +0.33 +0.34 +2.80 +0.22 +0.40 +0.28 +0.24
SEV153^5 +7.13 +7.17 TMO‑Non +15.76 +2.17 TMO‑Non +0.53 TMO‑Non GUP‑Non
LCL693^1 +13.04 +6.07 +0.39 +0.93 +2.00 +60.48 +0.60 +0.35 +0.34
SEV085^5 +5.99 +3.99 +0.36 +0.29 +4.57 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWV434^4 +0.84 +0.72 +0.35 +0.32 +2.83 +2.79 +0.39 +0.26 +0.28
SEV252^5 +7.01 +85.55 +0.42 TMO‑Non TMO‑Non TMO‑Non +0.41 +0.30 TMO‑Non
SYO460^3 +0.69 +0.70 +0.37 +0.34 +1.66 +0.23 +0.38 0.27 +0.31
SEU960^5 +3.80 +3.82 +0.39 TMO‑Non +23.69 +58.59 TMO‑Non TMO‑Non TMO‑Non
SYO462^2 +0.66 +0.65 +0.31 +1.62 +1.59 +0.26 +0.40 +0.58 +0.31
SEV243^5 +6.89 TMO‑Non +0.38 TMO‑Non TMO‑Non TMO‑Non +0.43 +0.31 TMO‑Non
SEU778^2 +0.63 +0.61 +0.33 +0.30 +1.59 +0.24 TMO‑Non +0.25 TMO‑Non
LCL728^5 +44.21 +45.47 TMO‑Non +22.14 TMO‑Non +53.10 GUP‑Non TMO‑Non TMO‑Non
SEU629^1 +0.81 +0.82 +0.44 +0.72 +3.77 +0.32 +0.84 +0.29 GUP‑Non
SEV246^6 +6.99 +84.29 +0.39 TMO‑Non TMO‑Non TMO‑Non +0.41 +0.30 TMO‑Non
CSR152^2 +0.74 +0.61 +0.37 +0.31 +70.31 +1.08 +0.41 +30.44 +13.74
SYO548^1 +0.71 +0.69 GUP‑Non +41.85 +2.08 +56.58 GUP‑Non +15.33 TMO‑Non
SYO450^4 +0.66 +0.65 +0.33 +0.35 +2.11 +0.28 +0.42 +0.30 +0.31
SEV066^5 +21.98 +10.93 +0.61 TMO‑Non TMO‑Non +56.83 GUP‑Non +0.38 GUP‑Non
LCL701^1 +0.61 +0.63 +0.36 +0.33 +1.57 +0.23 +0.34 +0.26 +0.30
SYO309^5 +0.73 +0.99 +0.39 +1.33 +3.39 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV427^2 +0.79 +0.88 +0.36 +0.35 +3.25 +1.73 +0.37 +0.29 +0.28
SYO209^5 TMO‑Non +9.04 GUP‑Non +9.84 +3.39 +106.94 TMO‑Non TMO‑Non GUP‑Non
SET764^4 +0.63 +0.57 +0.35 +0.30 +1.29 +0.23 +0.37 +0.28 GUP‑Non
SYO334^5 +0.67 +0.75 +0.37 +0.32 +2.25 TMO‑Non TMO‑Non TMO‑Non +0.36
CSR142^2 +1.03 +1.51 +0.35 +0.47 +1.95 +50.91 +0.68 +76.42 +0.43
SEV244^6 +7.06 +88.91 +0.37 TMO‑Non TMO‑Non TMO‑Non +0.43 +0.30 TMO‑Non
SYO438^1 +0.69 +0.65 +0.38 +0.35 +1.76 +0.24 +0.43 +0.30 +0.31
SEV064^5 +35.33 +8.12 +0.65 TMO‑Non TMO‑Non +72.47 GUP‑Non +0.34 GUP‑Non
ITP089^1 +18.62 +7.83 +4.76 +0.43 +4.73 +3.53 +0.86 +0.64 GUP‑Non
SEV246^5 +7.00 +82.57 +0.34 TMO‑Non TMO‑Non TMO‑Non +0.43 +0.30 TMO‑Non
LCL702^1 +0.71 +0.66 +0.34 +0.30 +1.53 +0.21 +0.40 +0.28 +0.28
SEV400^5 +19.07 +18.43 +67.28 TMO‑Non TMO‑Non +102.48 GUP‑Non TMO‑Non TMO‑Non
NUM705^1 +0.68 +0.74 +0.39 +0.28 +1.75 +15.66 +11.72 +0.31 GUP‑Non
SEU940^5 +0.80 +0.88 +0.37 +0.38 TMO‑Non +75.45 TMO‑Non TMO‑Non TMO‑Non
SYN357^7 +0.66 +0.67 +0.34 +0.32 +1.92 +0.24 +0.40 +0.28 +0.33
SEV101^5 +24.90 +10.27 +0.46 TMO‑Non TMO‑Non +72.38 TMO‑Non +0.34 GUP‑Non
SYO223^5 +0.73 +0.73 +0.37 +0.34 +1.95 +3.26 +0.35 +0.54 +0.29
SEV165^5 +2.65 +4.59 TMO‑Non TMO‑Non +3.12 +101.09 TMO‑Non TMO‑Non TMO‑Non
NUM924^2 +1.24 +1.18 +0.53 +0.51 +5.54 +19.97 +1.05 +25.51 GUP‑Non
SYO269^5 +58.83 +72.70 +0.38 +6.40 TMO‑Non +3.22 TMO‑Non TMO‑Non TMO‑Non
SYO460^4 +0.65 +0.65 +0.35 +0.40 +1.45 +0.23 +0.36 0.28 +0.32
GRA027^1 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non +72.54 GUP‑Non +1.22 TMO‑Non
LCL691^1 +0.81 +0.80 +0.39 +0.35 +1.59 +25.88 +0.43 +0.31 +0.30
SEV100^5 +17.33 +7.29 +0.50 TMO‑Non TMO‑Non +9.61 TMO‑Non +0.38 GUP‑Non
SYO572^7 +0.74 +0.66 +0.38 +0.31 +1.56 +0.26 +0.48 +0.30 +0.31
SEU939^5 +62.03 +67.67 +0.39 +6.58 TMO‑Non +70.55 TMO‑Non TMO‑Non TMO‑Non
ITP046^1 +4.39 +4.32 +0.75 +0.61 +60.08 +3.20 +1.21 TMO‑Non GUP‑Non
GRA028^1 +70.26 +8.38 GUP‑Non +0.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
QUA011^1 +0.70 +0.67 +0.36 +0.33 +4.26 TMO‑Non +0.74 +15.52 +68.41
SEV072^5 +94.70 +96.06 GUP‑Non +1.13 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SYO464^5 +0.63 +0.66 +0.38 +0.55 +1.67 +0.23 +0.41 +0.30 +0.30
GRA030^1 TMO‑Non +9.08 +0.59 +0.72 TMO‑Non +41.78 GUP‑Non +1.41 TMO‑Non
SEU902^5 +0.77 +0.71 +0.36 +0.30 +1.87 +41.57 +0.37 +0.27 +0.25
SEV071^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO576^7 +0.65 +0.63 +0.38 +0.49 +1.53 +0.25 +0.41 +0.31 +0.32
SEV113^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO415^1 +0.65 +0.68 +0.33 +0.48 +2.12 +0.22 +0.41 +0.27 +0.30
SEV050^5 +93.94 +97.28 GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SEU654^1 +0.98 +1.04 +0.53 +0.80 +3.02 +0.36 +0.93 +0.28 GUP‑Non
LCL729^5 +117.58 +33.43 TMO‑Non +31.86 +9.57 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ITP031^1 +3.66 +3.02 +0.40 +0.41 +7.08 +73.64 +1.52 +17.70 GUP‑Non
SEV414^5 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP111^1 +1.02 +0.87 +1.11 +7.12 +3.22 +3.72 +0.49 TMO‑Non GUP‑Non
SYO332^5 +42.16 +44.49 TMO‑Non +66.38 TMO‑Non +53.31 GUP‑Non TMO‑Non TMO‑Non
LCL712^1 +0.74 +0.79 +0.38 +0.34 +1.57 +58.66 +0.41 +0.28 +0.29
SEV317^5 +12.58 TMO‑Non +3.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET632^5 +0.62 +0.58 +0.37 +0.42 +1.57 +0.24 +0.33 +0.27 GUP‑Non
SYO329^5 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET926^7 +0.79 +0.78 +0.37 +0.38 +1.80 +76.33 +0.45 +0.41 +0.44
SEV305^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU520^1 +0.65 +0.65 +0.35 +0.30 +1.57 +0.24 +0.45 +0.29 GUP‑Non
SEV321^5 +12.67 TMO‑Non +5.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO394^1 +0.61 +0.63 +0.36 +0.72 +1.54 +0.24 +0.39 +0.27 +0.29
SEV318^5 +14.19 +15.84 +3.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS276^7 +0.67 +0.64 +0.36 +0.31 +1.61 +0.23 +0.42 +0.28 +0.32
SYO509^1 +41.16 +41.42 GUP‑Non +78.94 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SYO457^6 +0.67 +0.67 +0.34 +0.29 +1.53 +0.21 +0.40 +0.29 +0.30
MSC021^5 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU624^1 +0.76 +0.73 +0.41 +0.52 +3.27 +4.92 +0.73 +0.55 GUP‑Non
SYO326^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR120^2 +0.81 +0.66 +0.37 +0.32 +2.88 +37.07 +0.47 TMO‑Non +0.56
SEV263^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO422^1 +0.61 +0.71 +0.33 +0.32 +1.94 +0.23 +0.35 +0.24 +0.30
SEV319^6 +13.11 +15.15 +3.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP037^1 +0.66 +0.65 +0.37 +0.40 +3.54 +0.67 TMO‑Non +0.45 GUP‑Non
SEV068^5 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL711^1 +0.63 +0.69 +0.37 +0.26 +2.23 +0.23 +0.40 +0.28 +0.29
SYO338^5 +12.52 TMO‑Non +3.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG283^5 +0.66 +0.66 +0.33 +0.28 +1.44 +59.20 +11.20 TMO‑Non +0.26
SEV312^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO450^3 +0.64 +0.66 +0.37 +0.31 +2.25 +0.26 +0.38 +0.28 +0.30
SEV319^5 +12.71 +14.49 +3.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO463^5 +0.70 +0.71 +0.37 +2.53 +1.72 +0.26 +0.40 0.29 +0.30
SEV069^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL708^1 +0.66 +0.62 +0.34 +0.31 +2.06 +0.23 +0.41 +0.33 +0.31
SYO533^1 +41.46 +41.73 GUP‑Non +79.61 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
LCL585^1 +0.64 +0.61 +0.28 +0.29 +2.26 +0.20 +0.34 +0.28 +0.27
SEV305^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO547^1 +0.69 +0.55 +0.32 +0.32 +2.00 +0.21 +0.37 +0.26 +0.26
SYO330^5 +73.17 +100.46 +0.50 +7.67 +7.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR137^2 +0.66 +0.70 +0.36 +0.32 +25.36 +73.93 +0.39 +1.27 +0.34
GRA032^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL700^1 +0.56 +0.62 +0.37 +0.33 +2.11 +0.23 +0.38 +0.30 +0.23
SYO312^5 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYO574^7 +0.70 +0.66 +0.36 +0.30 +2.10 +0.24 +0.35 +0.26 +0.30
GRA029^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ITP079^1 +4.06 +4.25 +0.39 +0.40 +5.69 +72.72 +0.87 +0.50 GUP‑Non
SYO497^6 +0.66 +0.64 +0.36 +1.48 +1.60 +0.23 +0.41 +0.29 +0.31
SYO460^5 +0.62 +0.70 +0.37 +0.58 +1.37 +0.24 +0.40 0.29 +0.31
LCL694^1 +14.33 +14.99 +0.33 +0.46 +4.38 +15.81 +3.81 +0.33 +0.33
ITP078^1 +1.93 +3.27 +0.38 +0.49 +4.54 +47.64 +0.84 +30.52 GUP‑Non
SYO474^6 +0.65 +0.65 +0.38 +0.33 +2.09 +0.93 +0.40 +0.30 +0.32
LCL863^1 +0.99 +0.93 +0.44 +0.78 +1.95 +44.59 +0.48 +1.51 +0.39
SYO460^1 +0.63 +0.62 +0.34 +0.35 +1.50 +0.24 +0.39 0.27 +0.30
SEV242^5 +2.19 +2.56 +0.38 +0.43 +4.77 +41.81 +0.74 +0.55 TMO‑Non
SYO434^1 +0.61 +0.76 +0.38 +0.38 +1.47 +0.29 +0.42 +0.29 +0.25
SYO362^5 +0.77 +0.69 +0.36 +0.30 +2.36 +3.87 +11.32 +45.51 +3.15
ITP103^1 +6.04 +8.14 +0.46 +1.54 +12.45 +118.73 +1.21 +14.72 GUP‑Non
SEU932^5 +0.72 +0.63 +0.36 +0.30 +1.89 +58.63 +10.68 +15.35 +0.26
NLP267^17* +0.66 +0.51 +0.38 +0.42 +1.62 +0.22 +0.40 +0.27 UNK‑Non
LCL955^24* +1.89 +2.09 +1.00 TMO‑Non +8.16 +73.12 +2.26 +46.15 TMO‑Non
NLP266^18* +0.66 +0.60 +0.33 +0.33 +1.66 +3.34 +0.41 +0.68 UNK‑Non
PUZ149^13* +0.88 +0.65 +0.36 +0.42 +1.53 +3.16 +0.35 +0.27 UNK‑Non
DAT334^21* +0.69 +0.66 +0.35 +49.27 +2.22 +0.22 +0.38 +0.26 +0.27
LCL949^4* +23.47 +4.06 +1.21 TMO‑Non +6.35 +39.16 +4.08 +30.63 +40.26
DAT334^23* +0.62 +0.64 +0.35 +49.54 +2.18 +0.25 +0.34 +0.27 +0.28
LCL954^19* +0.70 +0.73 +0.39 +1.56 +4.10 +0.31 +1.35 +0.29 TMO‑Non
NLP001^3* +1.00 +0.95 +0.41 +4.44 +1.85 +0.25 +0.44 1.07 +87.67
LCL943^24* +0.65 +0.59 +0.33 +0.32 +1.50 +1.01 +0.39 +0.27 +0.27
ITP219^1* +6.95 +6.15 +1.50 +2.88 +2.74 +8.01 +10.24 +90.87 GUP‑Non
SYO889^16* +0.68 +0.62 +0.33 +3.86 +1.59 +0.22 +0.31 +0.32 +0.31
SET579^3* +0.86 +1.00 +0.40 +1.67 +2.12 +4.41 +0.43 +1.14 +34.46
ITP219^3* +18.58 +6.94 +1.64 +3.54 +2.78 +3.73 +9.36 TMO‑Non GUP‑Non
SYO893^11* +1.50 +0.95 +1.56 +22.96 +1.33 +0.23 +0.35 +0.25 +5.04
PUZ150^18* +0.62 +0.66 +0.35 +0.32 +1.64 +3.23 +0.39 +0.30 UNK‑Non
PRO029^16* +0.64 +0.67 +0.35 +3.53 +1.62 +1.68 +0.38 +0.28 UNK‑Non
DAT334^19* +0.63 +0.63 +0.36 +36.17 +2.41 +0.25 +0.38 +0.27 +0.28
SYO227^5 +0.65 +0.65 +0.36 +0.28 +2.30 +3.33 +0.47 +0.26 +0.29
ITP146^1 +3.95 +4.29 +0.41 +0.96 +4.19 +6.56 +0.81 TMO‑Non GUP‑Non
SEU504^1 +0.71 +0.73 +0.33 +0.33 +2.55 +0.22 +0.44 +0.31 GUP‑Non
SEU876^5 +6.92 +6.82 +0.99 +4.50 +3.76 +0.23 TMO‑Non TMO‑Non TMO‑Non
SWV444^1 +2.17 +2.42 +0.42 TMO‑Non +2.43 +0.41 +37.06 +0.75 +0.55
SEU679^2 +0.64 +0.58 +0.37 +0.29 +1.56 +0.22 +35.70 +0.29 TMO‑Non
SEU635^1 +1.42 +1.44 +0.44 +0.68 +3.47 +4.81 +0.95 +0.58 GUP‑Non
SEU758^1 +2.02 +2.48 +1.05 +1.76 +14.57 +7.93 +2.75 +4.70 GUP‑Non
ITP063^1 +0.82 +1.25 +0.44 +0.99 +5.43 +36.26 +0.54 +9.98 GUP‑Non
SEU546^1 +0.74 +0.72 +0.40 +0.38 +2.33 TMO‑Non +11.75 +6.21 GUP‑Non
SET741^4 +0.70 +0.66 +0.34 +5.90 +1.65 +70.18 +1.05 TMO‑Non +0.26
CSR146^1 +0.69 +0.77 +0.36 +0.36 +2.72 +3.17 +0.35 +0.30 TMO‑Non
ITP178^1 +1.10 +1.49 +0.45 +0.46 +8.07 +4.53 TMO‑Non TMO‑Non GUP‑Non
ALG285^5 +0.67 +0.62 +0.37 +0.32 +1.53 +60.13 TMO‑Non TMO‑Non +0.28
SYN391^4 +1.74 +1.21 +0.37 TMO‑Non +1.72 +2.13 +0.67 +0.44 +20.98
SET027^7 +0.80 +0.81 +0.38 +1.01 +1.59 +0.33 +0.45 +0.27 +0.37
SYO449^1 +1.06 +1.17 +0.35 +119.00 +1.56 +0.33 +0.41 0.26 +0.58
SYN992^1 +0.64 +0.65 +0.33 +0.48 +1.82 +0.22 GUP‑Non +0.25 +0.22
LCL873^1 +0.80 +0.89 +0.41 +7.80 +1.62 +0.29 +6.30 0.29 +0.39
SEU582^1 +13.05 +4.18 +0.44 +0.88 +2.80 +2.79 +0.69 +0.63 GUP‑Non
PLA033^7 +0.79 +0.85 +0.32 +0.41 +2.00 +70.40 +0.44 +0.42 +0.52
SET648^3 +0.64 +0.66 +0.36 +0.30 +1.61 +0.24 +0.38 +0.29 GUP‑Non
SET670^3 +0.61 +0.60 +0.32 +0.30 +1.37 +0.22 +0.40 +0.26 GUP‑Non
SET649^3 +0.60 +0.66 +0.38 +0.27 +1.59 +0.26 +0.40 +0.26 GUP‑Non
ALG277^5 +0.72 +0.63 +0.35 +0.90 +2.01 +3.57 +10.81 TMO‑Non +0.27
GEG006^1 +4.10 +5.26 +0.60 +0.47 +1.90 +16.00 +10.79 +0.27 GUP‑Non
ITP161^1 +8.72 +4.34 +0.48 +0.37 +11.75 +38.32 +13.40 +16.52 GUP‑Non
ITP202^1 +0.99 +1.33 +0.43 +0.54 +6.07 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SEU650^1 +0.84 +0.85 +0.44 +0.69 +4.19 +0.34 +1.09 +3.40 GUP‑Non
AGT031^1 +1.33 +1.12 +0.35 TMO‑Non +2.59 +1.81 +0.52 TMO‑Non +0.49
SWV436^4 +1.67 +1.42 +0.36 +0.28 +4.31 +41.58 +0.35 +0.29 +0.30
ITP140^1 +0.92 +1.15 +0.49 +0.40 +3.88 TMO‑Non +1.03 +11.92 GUP‑Non
SET683^3 +0.63 +0.61 +0.36 +0.34 +1.53 +0.24 +0.35 +0.23 GUP‑Non
SYO447^1 +1.24 +1.10 +1.30 TMO‑Non +2.75 +0.49 +0.40 +0.87 +0.80
SEU688^2 +0.68 +0.73 +0.40 +0.30 +1.98 +0.24 TMO‑Non +1.11 TMO‑Non
ITP204^1 +0.78 +0.75 +0.44 +0.43 +9.67 +40.46 TMO‑Non +15.53 GUP‑Non
ITP042^1 +16.74 +18.63 +0.69 +27.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYO049^1 +0.69 +0.80 +0.32 TMO‑Non +1.55 +0.26 +0.38 0.25 +0.35
CSR138^1 +0.78 +0.82 +0.33 +0.33 TMO‑Non +54.32 +0.35 +0.32 +0.35
SEU453^1 +0.59 +0.61 +0.34 +0.46 +1.55 +0.22 +0.36 +0.27 GUP‑Non
ITP012^1 +0.80 +0.66 +0.32 +0.56 +2.16 TMO‑Non +0.40 TMO‑Non TMO‑Non
ITP066^1 +4.07 +4.25 +0.48 +2.57 +7.10 +2.33 +0.81 TMO‑Non GUP‑Non
SEU676^2 +0.71 +0.70 +0.32 +0.32 +2.35 +0.25 TMO‑Non +0.75 TMO‑Non
SYO068^4.010 +0.75 +0.88 +0.38 TMO‑Non +1.73 +3.17 +35.24 +0.30 +0.41
ITP132^1 +12.28 +4.07 +0.42 +0.38 +3.54 TMO‑Non TMO‑Non +20.17 GUP‑Non
SET171^3 +0.69 +0.66 +0.32 +0.29 +2.07 +0.23 +0.89 0.28 GUP‑Non
SYO446^1 +0.89 +0.82 +0.40 TMO‑Non +1.64 +0.28 +0.44 0.28 +0.48
SYO053^2 +0.66 +0.65 +0.36 +0.34 +1.96 +4.17 TMO‑Non +0.27 +0.28
ITP147^1 +10.22 +15.02 +67.97 +1.59 +3.32 +74.22 +0.70 +11.51 GUP‑Non
SYO444^1 +1.09 +1.04 +0.35 TMO‑Non +2.16 +0.55 +0.38 +0.69 +0.65
SET672^3 +0.65 +0.60 +0.27 +0.32 +1.46 +0.20 +0.30 +0.27 GUP‑Non
LCL690^1 +7.17 +18.89 +0.35 +1.14 +9.16 +32.11 TMO‑Non +0.34 +0.36
SET623^3 +0.79 +0.60 +0.37 +0.36 +5.34 +0.23 +9.49 0.27 GUP‑Non
SYO235^5 +0.64 +0.67 +0.33 +0.29 +1.99 +0.24 +0.45 +0.25 +0.25
SYO379^5 +0.65 +0.72 +0.35 +0.29 +1.46 +6.39 +0.37 +0.26 +0.24
ITP239^1* +5.49 +3.18 +26.40 +4.48 +78.54 +37.90 +4.46 +2.01 GUP‑Non
ITP227^1* +2.59 +2.05 +2.86 +5.53 +3.34 +0.72 +6.06 +2.02 GUP‑Non
ITP233^1* +2.85 +5.05 +4.23 +5.08 +4.64 +4.45 TMO‑Non TMO‑Non GUP‑Non
ITP269^3* +10.01 +10.15 +4.10 +5.66 +55.08 +37.83 +3.48 +2.02 GUP‑Non
ITP227^3* +3.60 +2.04 +4.16 +4.09 +3.08 +0.89 +3.61 +1.53 GUP‑Non
NLP001^17* +2.49 +0.93 +0.53 TMO‑Non +2.37 +0.27 +0.39 1.03 TMO‑Non
ITP239^3* +5.32 +4.96 +16.49 +4.18 +88.41 +37.89 +4.12 +1.27 GUP‑Non
SET002^4* +1.35 +1.79 +0.54 +2.31 +1.80 +3.77 +0.43 TMO‑Non TMO‑Non
NLP266^4* +0.82 +0.86 +0.37 +4.75 +2.34 +4.78 TMO‑Non TMO‑Non +0.39
ITP269^1* +10.35 +10.83 +6.63 +7.72 +68.13 +38.06 +4.45 +1.05 GUP‑Non
ITP233^3* +10.48 +7.98 +4.45 +5.65 +4.71 +4.34 TMO‑Non TMO‑Non GUP‑Non
SYN999^1 +0.63 +0.64 +0.33 +0.31 +1.56 +0.22 +0.39 +0.25 +0.29
SCT171^2 +1.08 +1.88 +0.49 +0.45 +7.39 +0.29 TMO‑Non +0.35 GUP‑Non
SEU469^1 +1.70 +1.83 +0.36 +0.61 +2.36 +4.15 +0.47 +0.82 GUP‑Non
SYO221^5 +0.66 +0.69 +0.35 +0.28 +2.18 +3.30 +0.42 +0.28 +0.37
GEG016^1 +0.67 +0.78 +0.34 +0.35 +2.44 +58.75 +10.57 +0.68 GUP‑Non
SYO233^5 +0.60 +0.65 +0.30 +0.29 +1.92 +0.23 +32.89 +15.34 +0.22
NUM802^5 +0.66 +0.64 +0.33 +0.30 +1.58 +3.46 TMO‑Non TMO‑Non +0.36
ITP048^1 +12.05 +4.33 +0.50 +18.08 +7.38 +12.65 TMO‑Non TMO‑Non GUP‑Non
SET673^3 +0.69 +0.72 +0.32 +0.30 +2.26 +0.23 +0.75 +0.24 GUP‑Non
SEU668^2 +1.38 +0.80 +0.34 +0.60 +3.37 +0.24 +24.47 TMO‑Non TMO‑Non
SEV121^5 +0.65 +0.64 +0.36 +0.29 +2.97 +0.24 +0.52 +0.32 +0.26
LCL714^1 +0.68 +0.68 +0.36 +0.31 +2.36 +3.72 +0.36 +0.27 +0.58
SEV299^5 +0.68 +0.80 +0.37 +0.40 +1.74 +0.21 TMO‑Non +0.26 GUP‑Non
ITP068^1 +5.75 +4.54 +0.44 +10.56 +5.94 TMO‑Non +0.60 TMO‑Non GUP‑Non
SYO194^5 +0.72 +0.78 +0.51 +0.31 +1.35 +3.13 +0.35 +0.23 +0.24
CSR131^2 +0.78 +0.80 +0.37 +0.42 TMO‑Non TMO‑Non +0.48 TMO‑Non TMO‑Non
SEU494^1 +0.68 +0.65 +0.30 +0.31 +1.58 +0.25 +0.40 +0.30 GUP‑Non
SYO006^1 +0.63 +0.75 +0.31 +0.29 +1.70 +0.23 +0.48 +0.29 +0.25
GEG013^1 +0.66 +0.55 +0.36 +0.52 +2.40 +41.33 +0.43 +0.31 GUP‑Non
SYO541^1 +0.65 +0.68 +0.31 +2.47 +1.47 +9.47 +0.79 +0.25 GUP‑Non
NUM416^1 +0.69 +0.65 +0.54 TMO‑Non +2.39 +0.23 +39.76 +0.26 TMO‑Non
SET651^3 +0.67 +0.64 +0.32 +0.26 +1.63 +0.23 +0.35 +0.29 GUP‑Non
SWV428^2 +22.81 TMO‑Non +2.41 TMO‑Non TMO‑Non +41.57 +62.26 +0.28 +5.71
SEU490^1 +9.43 +6.90 +28.52 +1.15 +1.98 +2.29 +0.42 +0.30 GUP‑Non
ITP099^1 +4.06 +4.62 +0.48 +6.32 +4.64 +6.31 TMO‑Non +2.76 TMO‑Non
SEV261^5 +2.48 +1.39 +0.72 +0.39 +9.14 +42.16 +27.27 +0.69 GUP‑Non
SEU686^2 +1.01 +0.95 +0.39 +0.36 +1.70 +1.18 TMO‑Non TMO‑Non TMO‑Non
CSR138^2 +1.29 +0.81 +0.39 +0.42 +9.79 TMO‑Non +0.86 TMO‑Non +0.35
SYO008^1 +0.67 +0.62 +0.32 +0.29 +1.63 +0.22 +35.28 +15.34 +0.28
SYO236^5 +0.44 +0.61 +0.36 +0.30 +1.53 +0.22 +30.74 +15.32 +0.29
SEU609^1 +1.61 +1.35 +1.25 +31.53 +3.09 +2.85 +0.70 +0.38 GUP‑Non
SEU613^2 +0.68 +0.63 +0.32 +0.33 +2.64 +0.22 +2.05 +0.28 TMO‑Non
CSR133^1 +0.73 +0.95 +0.36 +0.39 +8.76 +53.71 +0.62 +1.71 TMO‑Non
SEU882^5 +0.61 +0.63 +0.36 +0.30 +1.43 +3.13 +0.48 +0.24 +0.23
PHI003^2 +0.73 +0.90 +0.32 +6.66 TMO‑Non +3.14 TMO‑Non +0.27 +0.32
SYO226^5 +0.64 +0.64 +0.29 +0.29 +1.41 +0.22 GUP‑Non +0.25 +0.38
ITP278^3* +10.08 +8.79 TMO‑Non +4.79 TMO‑Non +73.73 +10.28 +36.37 GUP‑Non
LCL950^17* TMO‑Non TMO‑Non +7.56 +4.25 +19.30 +43.86 TMO‑Non +0.59 TMO‑Non
ITP232^3* +14.20 +10.79 +16.58 +22.79 +4.31 +78.67 TMO‑Non +33.76 GUP‑Non
ITP278^1* +7.09 +12.02 TMO‑Non +5.87 TMO‑Non TMO‑Non +8.67 +33.68 GUP‑Non
LCL960^12* +0.69 +0.70 +0.34 TMO‑Non +1.60 +43.65 TMO‑Non TMO‑Non +0.90
ITP216^1* +3.40 +3.95 +3.90 +5.13 +4.96 +38.11 TMO‑Non +41.99 GUP‑Non
LCL944^8* +11.34 +16.28 +1.47 TMO‑Non TMO‑Non +70.43 TMO‑Non +0.33 TMO‑Non
SET004^4* +10.83 +9.37 +0.56 +16.88 +2.53 +3.82 +0.46 TMO‑Non TMO‑Non
LCL945^9* +7.06 +7.13 +15.06 TMO‑Non +3.28 +0.30 TMO‑Non +95.55 TMO‑Non
ITP220^1* +9.73 +10.40 +9.65 +5.34 TMO‑Non +23.11 TMO‑Non TMO‑Non GUP‑Non
ITP232^1* +22.07 +58.23 +13.66 +9.67 +7.06 +37.16 TMO‑Non +33.68 GUP‑Non
ITP216^3* +2.50 +3.44 +2.78 +5.44 +12.85 +1.09 +110.92 +43.18 GUP‑Non
ITP220^3* +10.28 +9.71 +16.08 +5.37 TMO‑Non +119.43 TMO‑Non +90.09 GUP‑Non
SYO516^1 +0.60 +0.60 +0.36 +0.28 +1.98 TMO‑Non TMO‑Non TMO‑Non +0.25
GEG010^1 +3.73 +4.11 +0.40 +0.41 +4.54 +41.83 +35.50 +15.72 GUP‑Non
ALG258^2 +0.79 +0.77 +0.42 +0.47 +2.56 TMO‑Non +32.52 TMO‑Non +1.37
LCL460^7 +11.57 +33.64 +5.07 TMO‑Non TMO‑Non +17.15 TMO‑Non +0.30 TMO‑Non
SEU473^1 +1.10 +1.49 +2.10 TMO‑Non +1.55 +0.28 +0.45 +1.20 GUP‑Non
ITP074^1 +0.79 +0.80 +0.38 +0.39 TMO‑Non +73.69 +0.62 TMO‑Non GUP‑Non
CSR149^3 +1.09 +1.00 +0.99 +0.96 +2.91 +37.72 TMO‑Non TMO‑Non 107.09
ITP015^1 +1.26 +2.13 +0.41 +1.07 +4.24 TMO‑Non +0.55 TMO‑Non TMO‑Non
GEG020^1 +6.62 +14.67 +0.50 +0.72 +4.10 +0.27 +37.56 +2.06 GUP‑Non
SEU472^1 +0.63 +0.73 +0.33 TMO‑Non +1.69 +0.23 +0.43 +0.27 GUP‑Non
ITP004^2 +8.07 +23.81 +0.93 +0.38 +2.63 TMO‑Non +0.43 TMO‑Non TMO‑Non
SEU671^2 +0.72 +0.78 +0.35 +0.36 +10.42 +0.24 +10.92 TMO‑Non TMO‑Non
SYO064^4.004 +25.08 +26.03 TMO‑Non TMO‑Non +10.57 +14.71 +12.86 +1.03 TMO‑Non
SEU788^2 +5.07 +6.88 +0.53 +1.49 +2.86 +41.36 +63.32 TMO‑Non TMO‑Non
SEU665^2 +0.76 +0.76 +0.36 +0.30 TMO‑Non +1.28 +11.26 +0.56 TMO‑Non
ITP257^3* +10.79 +10.19 +9.03 +6.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP225^1* +5.70 +5.33 +7.51 +3.98 TMO‑Non +7.97 TMO‑Non TMO‑Non GUP‑Non
ITP225^3* +3.72 +4.71 +11.77 +5.17 TMO‑Non +31.29 TMO‑Non TMO‑Non GUP‑Non
ITP257^1* +10.03 +9.98 +9.43 +6.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ALG253^1 +14.92 +7.04 +3.20 TMO‑Non +2.13 TMO‑Non +0.70 TMO‑Non TMO‑Non
SYO854^1 +19.36 +34.23 +24.43 +5.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +32.58
SEU995^5 +0.62 +0.61 +0.38 +0.30 +1.58 +3.12 +2.89 +15.25 GUP‑Non
SEU918^5 +0.52 +0.60 +0.33 +0.31 +1.53 +3.13 +31.24 +0.25 GUP‑Non
NUM736^4 +0.95 +0.99 +0.47 +9.33 TMO‑Non +72.68 TMO‑Non TMO‑Non GUP‑Non
ALG276^5 +1.09 +1.55 +0.54 TMO‑Non +2.01 +80.03 TMO‑Non TMO‑Non +1.29
SEV260^5 +1.47 +1.17 +0.55 +0.29 +4.55 TMO‑Non +46.97 +16.55 GUP‑Non
ITP076^1 +0.76 +0.76 TMO‑Non +1.31 +34.15 TMO‑Non +0.69 TMO‑Non GUP‑Non
LCL710^1 +0.73 +0.79 +0.35 +0.30 +2.10 +59.92 TMO‑Non TMO‑Non +0.54
SEV267^5 +6.91 +7.30 +0.39 +5.69 TMO‑Non TMO‑Non +0.59 TMO‑Non TMO‑Non
PUZ087^1 +3.89 +5.61 +0.43 +13.28 +5.95 TMO‑Non TMO‑Non TMO‑Non +0.58
NUM635^4 +0.88 +0.84 +0.38 +3.80 TMO‑Non TMO‑Non +37.65 +19.68 GUP‑Non
CSR133^2 +1.02 +0.93 +0.39 +0.46 +11.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP021^1 +3.87 +16.01 +0.41 +0.88 TMO‑Non TMO‑Non +4.47 TMO‑Non TMO‑Non
ALG262^2 +0.70 +0.81 +0.43 +0.43 +2.01 TMO‑Non GUP‑Non +60.48 +3.56
ITP092^1 +16.79 +17.03 +0.91 +0.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP120^1 +4.12 +3.40 +0.38 +1.28 +3.66 TMO‑Non +0.82 TMO‑Non TMO‑Non
ITP206^1* +3.81 +4.19 +1.83 +10.65 GUP‑Non +2.06 +9.17 TMO‑Non GUP‑Non
NLP004^8* +7.98 +13.36 +0.57 TMO‑Non +2.41 TMO‑Non +0.59 TMO‑Non TMO‑Non
ITP206^3* +2.72 +2.89 +2.02 +10.24 GUP‑Non +1.84 +10.27 TMO‑Non GUP‑Non
NLP004^13* +12.48 +15.77 +0.57 TMO‑Non +3.75 TMO‑Non +0.72 TMO‑Non TMO‑Non
ITP272^3* +9.95 +22.56 TMO‑Non +105.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP243^3* +2.77 +2.30 +20.03 +72.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NLP004^12* +8.32 +12.72 +0.49 TMO‑Non +3.60 TMO‑Non +0.64 TMO‑Non TMO‑Non
ITP272^1* +10.79 +13.58 TMO‑Non +110.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP243^1* +3.84 +2.78 +17.80 +72.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL942^2* +17.33 +35.35 TMO‑Non TMO‑Non +18.76 +41.77 +10.97 +46.17 TMO‑Non
SYO555^1 +0.66 +1.07 +0.33 +1.49 +2.08 +0.25 +35.78 0.29 GUP‑Non
SEV087^5 +1.72 +1.23 +0.37 +0.32 +3.24 +15.66 GUP‑Non TMO‑Non +94.88
NUM640^4 +1.59 +1.97 +0.35 +29.75 TMO‑Non TMO‑Non +53.86 TMO‑Non GUP‑Non
SYO067^4.002 +12.97 +5.20 +3.09 TMO‑Non +6.16 TMO‑Non +66.01 TMO‑Non +10.91
NUM642^4 +1.37 +1.66 +0.43 +30.57 TMO‑Non TMO‑Non +63.00 TMO‑Non GUP‑Non
NUM641^4 +0.90 +0.99 +0.41 +26.34 TMO‑Non +72.86 +41.59 +17.29 GUP‑Non
NLP004^7 +8.11 +11.72 +0.53 TMO‑Non +6.27 TMO‑Non +1.07 TMO‑Non TMO‑Non
NUM740^4 +4.95 +6.34 +0.51 +29.79 TMO‑Non +118.92 TMO‑Non TMO‑Non GUP‑Non
NUM708^4 +1.44 +1.42 +0.49 +97.10 TMO‑Non TMO‑Non TMO‑Non +76.43 GUP‑Non
NUM639^4 +0.88 +1.00 +0.41 TMO‑Non TMO‑Non +72.94 +49.00 +16.72 GUP‑Non
NUM694^4 +11.95 +16.37 +0.42 +37.54 TMO‑Non +0.76 TMO‑Non +64.68 GUP‑Non
SEU776^1 +18.08 +34.66 +0.80 +1.71 +9.22 +118.61 TMO‑Non +5.52 GUP‑Non
ITP246^1* +34.46 +14.47 +14.29 +42.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP256^3* +36.91 +19.34 +16.70 +8.17 TMO‑Non TMO‑Non TMO‑Non +44.53 GUP‑Non
ITP210^3* +2.12 +2.12 +4.50 +5.17 +3.07 +37.81 TMO‑Non TMO‑Non GUP‑Non
ITP246^3* +27.35 +20.52 +9.25 +36.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP256^1* +37.35 +18.87 +20.24 +7.39 TMO‑Non TMO‑Non TMO‑Non +78.25 GUP‑Non
ITP210^1* +3.02 +2.51 +4.50 +9.15 119.94 +73.32 TMO‑Non TMO‑Non GUP‑Non
NUM659^4 +2.39 +1.60 +0.46 +18.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYO208^5 +0.80 +0.76 +0.36 +7.09 +2.19 +3.19 GUP‑Non TMO‑Non GUP‑Non
SYN377^7 +15.62 +71.04 TMO‑Non TMO‑Non +66.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM658^4 +2.56 +1.64 +0.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM674^4 +0.71 +0.66 +0.34 +10.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM682^4 +9.16 +6.06 +0.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM669^4 +1.62 +1.55 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +28.13 GUP‑Non
SYO062^4.004 +33.20 +10.81 +0.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT170^2 +12.58 +12.29 +3.57 TMO‑Non TMO‑Non TMO‑Non +2.16 TMO‑Non GUP‑Non
SEV041^5 +2.04 +2.30 TMO‑Non +64.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PHI007^5 +1.09 +1.05 +0.37 +13.77 +22.49 TMO‑Non TMO‑Non +27.45 +28.56
SYO069^4.003 +10.14 +8.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM668^4 +0.83 +0.86 +0.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +26.76 GUP‑Non
NUM684^4 +6.12 +4.79 +0.37 TMO‑Non TMO‑Non +1.66 TMO‑Non TMO‑Non GUP‑Non
ITP245^3* +9.93 +10.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP280^1* +9.96 +10.47 +9.21 +23.79 TMO‑Non +119.17 TMO‑Non TMO‑Non GUP‑Non
ITP280^3* +10.04 +10.00 +14.51 +23.96 TMO‑Non +119.24 TMO‑Non TMO‑Non GUP‑Non
ITP226^3* +29.76 +89.05 +11.72 +8.39 +4.02 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP262^3* +27.72 +101.50 +9.19 TMO‑Non +26.80 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP267^3* +10.58 +10.98 +4.04 +39.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP221^1* +102.51 +20.15 TMO‑Non +6.76 TMO‑Non TMO‑Non TMO‑Non +43.94 GUP‑Non
ITP262^1* +34.26 +91.63 +8.43 TMO‑Non +25.46 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP226^1* +25.31 +89.22 +9.30 +8.90 +2.90 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NLP266^23* +15.08 +10.93 +0.46 TMO‑Non +10.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP245^1* +10.32 +9.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP267^1* +11.24 +10.88 +3.90 +24.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYN393^4.004 +7.11 +6.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM693^4 +7.67 +17.67 +0.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SEV016^5 +1.69 +1.83 +3.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM637^1 +5.10 +1.29 GUP‑Non +3.61 +54.07 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SEV003^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +3.81 TMO‑Non GUP‑Non
NUM785^4 +12.03 +27.04 +23.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYO879^1 +116.39 TMO‑Non +27.59 +0.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET013^7 +14.06 TMO‑Non +0.87 +32.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO038^1.003.004 TMO‑Non TMO‑Non +63.28 TMO‑Non +4.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV203^5 +0.80 +0.81 +0.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU793^2 +111.17 +110.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP285^1* +116.89 TMO‑Non TMO‑Non +59.89 +25.49 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP221^3* +116.14 +20.31 TMO‑Non +6.62 TMO‑Non +83.39 TMO‑Non +82.82 GUP‑Non
ITP247^1* TMO‑Non +23.67 +39.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP207^3* +22.37 +20.04 +3.69 +1.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP211^3* +18.71 +19.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP208^3* TMO‑Non TMO‑Non +5.63 +18.29 GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP247^3* TMO‑Non +20.85 +64.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP223^1* TMO‑Non +30.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP211^1* +18.22 +19.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP270^3* +58.37 +20.71 +11.88 TMO‑Non TMO‑Non +80.20 TMO‑Non TMO‑Non GUP‑Non
ITP223^3* TMO‑Non +37.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL941^5* +113.87 +112.75 TMO‑Non TMO‑Non +108.47 TMO‑Non +14.79 TMO‑Non TMO‑Non
ITP238^3* +25.43 +92.88 +15.94 +37.36 GUP‑Non +5.84 TMO‑Non TMO‑Non GUP‑Non
ITP285^3* TMO‑Non TMO‑Non TMO‑Non +55.42 +25.29 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP270^1* +39.36 +21.45 +11.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP207^1* +21.10 +18.11 +3.63 +1.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP208^1* TMO‑Non TMO‑Non +3.29 +18.25 GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM666^4 +17.29 +16.80 TMO‑Non TMO‑Non TMO‑Non +118.42 TMO‑Non TMO‑Non GUP‑Non
GEG012^1 +16.76 +14.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SEV224^5 +0.75 +0.77 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP003^2 TMO‑Non TMO‑Non +50.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYO518^1 +2.07 +3.27 GUP‑Non TMO‑Non +2.11 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
NUM697^4 +48.95 +19.22 +0.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SYO873^1 +87.96 +87.44 +17.22 +73.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM787^4 +12.69 +12.68 +0.80 +22.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP268^3* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP242^3* +35.80 TMO‑Non +57.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP268^1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP279^3* TMO‑Non +38.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP213^3* TMO‑Non +19.25 +10.45 TMO‑Non +8.46 +14.73 TMO‑Non TMO‑Non GUP‑Non
ITP242^1* TMO‑Non TMO‑Non +39.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP279^1* +32.77 +38.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL946^10* +10.69 +10.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP238^1* +23.91 +97.16 +15.63 +38.35 GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
ITP213^1* TMO‑Non +19.66 +12.07 TMO‑Non +11.25 +14.88 TMO‑Non TMO‑Non GUP‑Non
SEU701^1 +23.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SEU944^5 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non +103.51 TMO‑Non TMO‑Non TMO‑Non
SEU794^2 +41.26 +41.28 +32.25 TMO‑Non +6.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM762^4 +12.67 +14.28 +0.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL881^1 +61.92 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.40
SEV032^5 +30.65 +16.51 TMO‑Non +69.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG269^1 +7.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM761^4 +12.93 +14.76 +0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL692^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +41.59 TMO‑Non TMO‑Non TMO‑Non
SEV150^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +3.47 TMO‑Non
NUM746^4 +12.82 +11.89 +1.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM829^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM683^4 +11.97 +17.09 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM795^4 +17.88 +16.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM765^4 +13.20 +12.22 +0.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
NUM739^4 +15.25 +12.75 +0.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL414^7 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV198^5 +16.89 +7.18 +1.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/500 460/500 456/500 419/500 367/500 336/500 329/500 282/500 280/500 174/500
Av. WC Time 8.73 9.15 3.10 7.54 6.11 20.28 5.93 7.57 3.78
Av. CPU Time 61.47 65.00 13.76 54.45 19.83 20.25 5.70 7.41 3.60
Solutions 460 92% 456 91% 419 83% 367 73% 335 67% 329 65% 282 56% 262 52% 173 34%
μWCEfficiency 527 529 684 488 228 308 425 410 307
μEfficiency 436 423 634 396 124 317 431 419 310
SotAC - 0.34 0.28 0.21 0.15 0.15 0.10 0.10 0.03
Core Usage 3.74 3.72 1.39 3.43 2.51 0.74 0.62 0.61 0.53
New Solved 128/142 133/142 121/142 109/142 92/142 94/142 73/142 77/142 43/142
Higher-order Theorems Zipperpin
2.1
Zipperpin
2.1.999
E
3.0
Vampire
4.7
Leo-III
1.7.0
Satallax
3.4
cvc5
1.0
Lash
1.12
LEO-II
1.7.0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


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

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

Typed First-order Theorems +*-/ SnakeForV4.7
1.0
cvc5
1.0
Vampire
4.5
Vampire
4.7
iProver
3.6
ARI743=1 +0.27 +0.41 +0.27 +0.31 +1.38
DAT073=1 +0.30 TMO‑Non +0.67 +0.43 +1.63
ARI400=1 +0.51 +0.36 +0.34 +0.34 UNK‑Non
SWW650=2 +3.10 +1.31 +6.73 +1.82 +3.17
ARI741=1 +0.27 +0.45 +0.38 +0.35 +1.45
DAT097=1 +0.32 +15.54 +0.49 +0.37 +1.78
ARI640=1 +0.58 +0.41 +0.37 +0.33 +1.40
ARI174=1 +0.60 +0.37 +0.33 +0.36 +1.48
ARI718=1 +0.65 +0.36 +0.37 +0.35 TMO‑Non
HWV089=1 +1.66 +70.97 +1.12 +0.60 +4.85
ARI631=1 +0.41 +5.68 +0.37 +0.38 TMO‑Non
DAT094=1 +0.28 +23.38 +0.46 +0.32 TMO‑Non
ARI628=1 +0.39 +0.62 +0.36 +0.38 +2.45
DAT074=1 +0.34 +30.77 +0.55 +0.43 +1.40
MSC023=2 +0.33 +0.43 +30.59 +1.08 +1.49
ARI706=1 +0.35 +0.38 +0.40 +0.37 +1.38
ARI713=1 +0.38 +0.41 +0.39 +0.40 +1.43
SWW023=1 +1.12 +33.17 +1.20 +2.14 +14.53
ARI714=1 +0.52 +0.40 +0.38 +0.35 +1.70
SWW626=2 +0.54 +0.43 +0.65 +1.00 +34.20
ARI722=1 +0.34 +0.33 +0.68 +0.32 +1.91
SWW077=1 +1.07 +23.88 +1.63 +1.71 +50.93
ARI744=1 +0.29 +15.43 +0.28 +0.30 +1.38
ARI652=1 +0.44 +0.33 +0.52 +0.37 +1.38
ARI719=1 +0.29 +0.38 +0.31 +0.33 +1.38
SWW031=1 +1.02 +33.27 +1.22 +1.77 +13.99
ARI723=1 +0.40 +0.37 +0.37 +0.35 +2.43
SWW070=1 +0.90 +36.33 +1.25 +1.62 +21.59
ARI639=1 +0.42 +0.45 +0.40 +0.38 +2.96
ARI617=1 +0.42 +0.38 +0.57 +0.57 +1.39
ARI733=1 +0.56 +0.38 +0.35 +0.38 TMO‑Non
ARI669=1 +0.37 +0.42 +0.38 +0.42 +1.60
ARI636=1 +0.37 +15.37 +0.41 +0.36 TMO‑Non
SWW610=2 +0.75 +30.90 +0.60 +1.16 +64.60
ARI633=1 +0.40 +15.46 UNK‑Non +0.43 TMO‑Non
SWW057=1 +0.83 +33.87 +1.13 +1.67 +17.10
ARI635=1 +0.72 +15.40 +0.34 +0.38 TMO‑Non
SWW092=1 +0.99 +33.83 +1.35 +1.77 +21.60
ARI637=1 +0.56 +15.59 +0.36 +0.32 +64.46
SWW653=2 +0.59 +0.94 +0.58 +0.38 +1.86
ARI642=1 +1.28 TMO‑Non UNK‑Non +0.62 TMO‑Non
SWW666=2 +0.71 +15.97 +0.61 +0.42 TMO‑Non
ARI724=1 +97.84 +0.39 +0.39 TMO‑Non TMO‑Non
SWW042=1 +0.85 +33.56 +1.38 +1.90 +19.09
ARI536=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +2.53
DAT050=1 +0.40 +0.82 +0.50 +0.52 TMO‑Non
ARI738=1 +0.33 +0.38 +0.42 TMO‑Non +1.78
SWW065=1 +1.03 +33.40 +1.81 +3.57 +37.63
ARI536=1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW050=1 +1.05 +30.25 +1.15 +1.47 +28.37
SWW678=1 +0.31 +0.59 +0.34 +0.33 +3.39
SWW055=1 +0.85 +19.88 +1.21 +1.80 +16.39
DAT040=1 +0.76 +15.62 +0.61 +0.36 +4.51
NUM858=1 +0.41 +30.93 +0.86 +0.99 +18.46
SWW632=2 +0.30 +0.50 +0.45 +0.32 +1.88
SWW079=1 +0.81 +26.03 +1.53 +1.78 +41.63
SWW048=1 +0.82 +17.50 +1.12 +1.72 +18.35
SWW634=2 +0.45 +15.69 +0.77 +0.43 +1.32
SWW076=1 +1.06 +21.93 +1.18 +1.50 +22.69
ARI712=1 +0.57 +0.38 +0.55 +0.35 +2.22
DAT105=1 +0.41 TMO‑Non +0.44 +0.34 +1.41
SYO523=1 +0.65 +0.37 +31.41 +12.61 TMO‑Non
SWW083=1 +3.89 +27.36 +1.45 +1.98 +29.58
PUZ133=2 +0.58 +0.51 UNK‑Non +59.70 TMO‑Non
SWW052=1 +0.79 +37.31 +1.15 +1.51 +17.15
DAT072=1 +0.33 +0.49 +0.38 +0.38 +2.47
SWW035=1 +0.97 +17.35 +0.90 +1.65 +13.10
SWW059=1 +0.83 +33.24 +1.17 +1.55 +21.59
SWW575=2 +0.46 +15.81 +3.27 +0.58 TMO‑Non
SWW060=1 +0.81 +20.83 +2.23 +2.61 +21.09
SWW094=1 +0.82 +18.69 +1.52 +1.90 +23.12
SWW071=1 +0.81 +33.63 +1.21 +1.47 +21.19
ARI677=1 +0.36 +0.37 +0.38 +0.37 +6.33
DAT043=1 +1.26 +15.73 +0.67 +0.38 TMO‑Non
SWW056=1 +0.68 +23.83 +1.38 +1.90 +29.34
SWW073=1 +0.81 +29.08 +1.30 +1.52 +23.10
SWW025=1 +1.09 +28.00 +1.08 +1.35 +14.55
ARI685=1 +0.66 +0.39 +0.54 +1.59 +4.90
ARI673=1 +0.33 +0.40 +0.33 +0.33 +5.37
SWW093=1 +0.81 +25.20 +1.05 +1.46 +24.58
ARI702=1 +0.45 +0.40 +0.31 +0.38 +1.96
SWW051=1 +1.31 +26.12 +1.16 +1.59 +18.15
SWW090=1 +0.84 +26.01 +1.68 +1.62 +27.70
DAT101=1 +0.45 +0.43 +0.34 +0.31 +11.38
SEV422=1 +0.45 +1.22 +0.44 +0.38 +31.52
ARI186=1 +0.35 +0.38 +0.44 +0.36 +1.89
SWW591=2 +0.46 +15.80 +0.48 +0.40 +5.21
DAT077=1 +0.29 +0.48 +0.41 +0.34 +1.40
SWW625=2 +0.56 +18.24 +0.52 +0.41 +12.42
ARI711=1 +0.79 +0.44 +0.70 +0.42 TMO‑Non
SWW068=1 +0.97 +33.44 +0.95 +1.37 +21.13
SWW040=1 +0.96 +17.43 +0.88 +1.20 +13.34
ARI710=1 +0.29 +0.38 +0.32 +0.34 +1.38
ARI614=1 +0.41 +0.46 +0.63 +0.39 +1.65
SWW069=1 +0.79 +34.39 +1.20 +1.50 +23.65
SWW066=1 +0.90 +36.42 +1.51 +1.51 +40.55
SWW039=1 +0.76 +27.73 +1.46 +1.49 +24.51
ARI056=1 +0.49 +0.36 +0.34 +0.36 UNK‑Non
ARI618=1 +0.34 +0.42 +0.52 +0.38 +1.66
ARI175=1 +0.55 +0.41 +0.35 +0.36 +1.42
SWW075=1 +1.01 +35.27 +1.20 +1.79 +21.08
SWW032=1 +0.94 +35.64 +1.26 +3.45 +14.80
SWW624=2 +0.41 +15.68 +3.01 +1.26 +3.38
ARI176=1 +0.55 +0.39 +0.37 +0.37 +1.49
SWW643=2 +0.92 +16.07 +1.20 +0.64 +63.72
ARI656=1 +0.58 +0.48 +0.38 +0.36 +2.41
ARI603=1 +1.08 TMO‑Non +10.21 +9.36 TMO‑Non
ARI655=1 +0.37 +6.65 +0.56 +0.38 +2.89
ARI679=1 +0.41 +0.43 +0.85 +0.35 +1.87
ARI701=1 +0.39 +0.37 +0.37 +0.34 +1.67
ARI672=1 +0.38 +0.42 +0.36 +0.37 +4.46
NUM859=1 +1.19 +34.26 +0.75 +1.45 TMO‑Non
ARI707=1 +0.33 +0.36 +0.66 +0.36 +2.17
SWW670=2 +0.48 +15.55 +0.58 +3.13 +5.41
ARI689=1 +0.64 +0.39 +0.56 +1.85 +1.65
ARI687=1 +1.62 +0.76 +0.75 +0.80 +5.70
DAT104=1 +0.29 TMO‑Non +0.47 +0.37 +1.64
ARI649=1 +0.47 +0.62 +0.39 +0.39 +2.22
SWW615=2 +0.83 +1.01 +0.63 +0.47 +1.69
ARI686=1 +0.40 TMO‑Non +0.72 +0.37 +1.48
ARI696=1 +0.58 +0.37 +0.60 +1.65 +4.18
NUM861=1 +2.05 +42.83 +1.23 +1.11 TMO‑Non
SWW599=2 +0.86 +15.86 +0.85 +0.47 +1.40
ARI663=1 +0.33 +0.40 +0.37 +0.35 +2.39
SWW597=2 +0.89 +15.64 +4.06 +5.65 +116.84
ARI162=1 +0.57 +0.35 +0.52 +0.37 +1.67
SWW620=2 +0.69 +15.65 +1.37 +0.75 +2.39
NUM862=1 +3.72 +48.01 +1.47 +4.82 TMO‑Non
ARI643=1 +0.37 +0.42 +0.38 +0.35 +1.47
NUM860=1 +0.67 +39.75 +0.84 +1.25 TMO‑Non
SWW628=2 +0.72 +58.12 +6.73 +7.05 TMO‑Non
HWV051=1 +20.79 +92.32 +45.87 +47.13 +41.51
SWW657=2 +0.68 +31.14 +1.00 +2.66 TMO‑Non
SWW631=2 +0.76 +16.71 +2.04 +0.90 +10.94
SWW676=1 +2.26 +52.25 UNK‑Non TMO‑Non TMO‑Non
SWW659=2 +0.84 +47.04 UNK‑Non +0.90 TMO‑Non
HWV050=1 +11.69 +88.94 UNK‑Non +44.56 +31.44
HWV040=1 +27.19 TMO‑Non +54.69 TMO‑Non +79.12
ARI700=1 +0.66 +0.31 +0.39 +0.34 TMO‑Non
SWW654=2 +1.27 +17.29 +2.88 +8.02 TMO‑Non
SWW594=2 +1.65 +15.79 UNK‑Non +20.00 +3.26
SWW614=2 +0.98 +33.47 UNK‑Non +18.98 TMO‑Non
SWW605=2 +1.16 +46.86 +14.72 TMO‑Non +19.42
SWW642=2 +1.72 +16.44 +0.58 +0.42 TMO‑Non
ARI664=1 +0.36 +0.89 +0.74 +0.39 +2.41
ARI184=1 +3.24 TMO‑Non +1.02 +0.61 TMO‑Non
SWW589=2 +1.11 +15.88 +0.65 +0.90 TMO‑Non
SWW638=2 +23.56 +46.52 +6.23 +9.46 TMO‑Non
HWV045=1 +20.57 +115.20 UNK‑Non TMO‑Non +84.40
HWV041=1 +24.71 TMO‑Non +68.60 TMO‑Non 110.86
HWV046=1 +35.99 TMO‑Non +59.36 TMO‑Non +94.88
SWW576=2 +0.58 +32.23 +0.76 +0.63 +1.87
SWW600=2 +0.29 TMO‑Non +0.34 +0.34 +1.62
SWW662=2 +4.80 +0.77 UNK‑Non TMO‑Non TMO‑Non
DAT078=1 +0.59 +16.11 +0.71 +3.10 +5.75
SWW608=2 +2.88 +16.12 +4.74 TMO‑Non TMO‑Non
ARI668=1 +5.39 +0.46 +0.50 +0.37 +2.70
DAT086=1 +0.34 +26.61 +3.80 +12.43 TMO‑Non
SWW677=1 +1.11 +21.31 UNK‑Non TMO‑Non TMO‑Non
ARI667=1 +0.36 +2.31 +0.59 +0.35 +3.29
SWW604=2 +4.05 +46.61 UNK‑Non TMO‑Non TMO‑Non
HWV039=1 +18.19 +113.74 UNK‑Non TMO‑Non +81.79
SWW598=2 +4.39 +16.28 +5.90 TMO‑Non TMO‑Non
SWW602=2 +1.87 +17.70 +1.51 +4.05 TMO‑Non
HWV091=1 +3.09 TMO‑Non +15.93 +2.29 +32.01
MSC028=1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW663=2 +2.62 +0.84 UNK‑Non TMO‑Non TMO‑Non
SWW652=2 +1.14 +0.86 UNK‑Non +0.57 TMO‑Non
SWW607=2 +1.59 +15.85 UNK‑Non +16.61 TMO‑Non
SWW641=2 +3.79 +16.26 UNK‑Non TMO‑Non TMO‑Non
DAT075=1 +0.68 TMO‑Non +1.90 +0.99 +6.89
SWW578=2 TMO‑Non +2.44 UNK‑Non TMO‑Non TMO‑Non
SWW671=2 +108.06 +16.22 +2.88 TMO‑Non TMO‑Non
SWW623=2 TMO‑Non +15.80 UNK‑Non TMO‑Non TMO‑Non
HWV047=1 +28.29 TMO‑Non +72.27 TMO‑Non +72.35
HWV050=2 +28.96 TMO‑Non +51.25 TMO‑Non TMO‑Non
SWW622=2 TMO‑Non +16.72 UNK‑Non TMO‑Non TMO‑Non
SWW587=2 +2.10 +15.87 +4.71 +5.30 TMO‑Non
HWV043=1 +26.94 TMO‑Non +15.94 TMO‑Non +46.14
SWW612=2 +3.95 +15.89 +4.44 +3.50 TMO‑Non
SWW672=2 +0.90 +0.42 +0.53 +0.75 +2.20
HWV051=2 +16.84 +77.59 +50.81 +45.51 TMO‑Non
SWW636=2 +24.09 +15.90 +9.37 +19.99 TMO‑Non
SWW583=2 +1.17 +16.92 +0.90 +3.57 TMO‑Non
SWW658=2 +2.38 TMO‑Non +1.03 +1.83 +27.19
HWV044=1 +31.94 +81.23 +16.56 TMO‑Non +39.97
SWW640=2 +3.11 +15.79 +14.16 +27.74 TMO‑Non
HWV087=1 +2.25 +89.23 +2.12 +2.96 TMO‑Non
HWV111=1 TMO‑Non TMO‑Non +8.89 TMO‑Non TMO‑Non
HWV090=1 +2.65 TMO‑Non +16.82 +1.60 +90.47
SWW664=2 +1.04 +32.12 UNK‑Non TMO‑Non TMO‑Non
SWW667=2 TMO‑Non +23.36 UNK‑Non TMO‑Non TMO‑Non
ARI683=1 +1.21 TMO‑Non +0.63 +0.96 TMO‑Non
ARI645=1 +1.43 +30.93 TMO‑Non +1.00 TMO‑Non
ARI598=1 TMO‑Non +30.46 UNK‑Non TMO‑Non TMO‑Non
ARI597=1 TMO‑Non +30.46 UNK‑Non TMO‑Non TMO‑Non
ARI595=1 TMO‑Non +30.44 UNK‑Non TMO‑Non TMO‑Non
ARI596=1 TMO‑Non +30.47 UNK‑Non TMO‑Non TMO‑Non
SWW655=2 +6.78 +18.10 UNK‑Non TMO‑Non TMO‑Non
HWV041=2 TMO‑Non TMO‑Non +70.97 TMO‑Non TMO‑Non
SWW635=2 +2.50 +16.64 +1.36 +3.70 +18.71
SWW606=2 +23.19 +15.79 UNK‑Non TMO‑Non TMO‑Non
SWW665=2 +1.28 +61.27 UNK‑Non TMO‑Non TMO‑Non
ARI697=1 TMO‑Non +0.50 +0.59 TMO‑Non TMO‑Non
SYO522=1 TMO‑Non +30.50 TMO‑Non TMO‑Non TMO‑Non
SWW586=2 +0.93 +38.95 UNK‑Non +20.85 TMO‑Non
HWV039=2 TMO‑Non TMO‑Non +76.05 TMO‑Non TMO‑Non
SWW647=2 +1.07 TMO‑Non +1.49 +3.04 TMO‑Non
SWW585=2 +1.81 +47.56 UNK‑Non +2.76 TMO‑Non
HWV040=2 TMO‑Non +81.62 +66.94 TMO‑Non TMO‑Non
SWW621=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW574=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW577=2 +1.79 TMO‑Non UNK‑Non +71.65 +2.41
SEV425=1 +0.99 +86.71 UNK‑Non TMO‑Non TMO‑Non
SWW661=2 +0.30 TMO‑Non +12.24 +5.85 +62.81
HWV094=1 +25.83 TMO‑Non +3.41 +8.57 TMO‑Non
HWV044=2 +102.00 TMO‑Non +12.74 +16.66 TMO‑Non
HWV046=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW573=2 +1.84 +16.08 +3.93 +7.38 TMO‑Non
HWV045=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW644=2 +32.37 +16.61 +3.03 TMO‑Non TMO‑Non
SWW609=2 +2.33 +1.34 UNK‑Non +69.78 TMO‑Non
HWV043=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW593=2 +23.33 +15.95 UNK‑Non TMO‑Non TMO‑Non
SWW627=2 TMO‑Non +47.39 UNK‑Non TMO‑Non +91.79
SWW582=2 TMO‑Non +84.15 UNK‑Non TMO‑Non TMO‑Non
SWW648=2 +0.29 TMO‑Non +1.17 +2.56 +1.73
SWW669=2 UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
HWV126=1 +30.61 TMO‑Non +9.22 +12.23 TMO‑Non
HWV047=2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
HWV127=1 +21.29 TMO‑Non +7.74 +11.60 TMO‑Non
HWV096=1 +10.84 TMO‑Non +6.12 +8.95 TMO‑Non
HWV125=1 +12.05 TMO‑Non +3.31 +8.06 TMO‑Non
SWW596=2 UNK‑Non +92.31 UNK‑Non TMO‑Non TMO‑Non
SEV424=1 +1.47 +27.69 UNK‑Non TMO‑Non TMO‑Non
HWV124=1 +24.77 TMO‑Non +3.18 +4.63 TMO‑Non
SWW618=2 +0.34 TMO‑Non +0.52 +0.53 +7.70
SWW617=2 +0.80 TMO‑Non UNK‑Non +8.27 +31.44
ARI694=1 TMO‑Non +2.46 +0.44 TMO‑Non TMO‑Non
SWW637=2 +0.44 TMO‑Non +0.61 +3.06 +2.75
SWW633=2 +19.95 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW603=2 +33.65 TMO‑Non +11.56 +10.44 TMO‑Non
ARI693=1 TMO‑Non TMO‑Non +0.46 TMO‑Non TMO‑Non
SWW668=2 TMO‑Non +21.93 UNK‑Non TMO‑Non TMO‑Non
HWV128=1 +13.94 TMO‑Non +4.35 +12.00 TMO‑Non
SWW580=2 +1.03 TMO‑Non TMO‑Non +0.36 TMO‑Non
SWW660=2 +74.60 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
HWV112=1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
HWV088=1 TMO‑Non TMO‑Non +12.75 TMO‑Non TMO‑Non
SWW649=2 +0.69 TMO‑Non UNK‑Non +1.33 TMO‑Non
Solved/250 218/250 195/250 192/250 187/250 138/250
Av. WC Time 5.46 20.45 5.56 4.35 17.74
Av. CPU Time 37.85 20.23 18.83 29.63 127.43
Solutions 218 87% 195 78% 192 76% 187 74% 137 54%
μWCEfficiency 620 289 513 495 130
μEfficiency 346 291 295 337 69
SotAC 0.27 0.24 - 0.17 0.06
Core Usage 4.06 0.83 3.63 3.87 5.20
New Solved 0/0 0/0 0/0 0/0 0/0
Typed First-order Theorems +*-/ SnakeForV4.7
1.0
cvc5
1.0
Vampire
4.5
Vampire
4.7
iProver
3.6
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


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

Results for FOF (First-order Theorems)

First-order Theorems SnakeForV4.7
1.0
Vampire
4.7
Vampire
4.6
E
3.0
iProver
3.6
CSE_E
1.4
GKC
0.7
Zipperpin
2.1.999
cvc5
1.0
Drodi
3.3.3
CSE
1.5
Prover9
1109a
Goeland
1.0.0
Etableau
0.67
ALG027+1 +5.90 +2.20 +2.86 +6.04 +23.19 +43.38 TMO‑Non TMO‑Non +1.82 +36.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN085+1 +8.98 +11.87 +2.92 +1.21 +2.40 +0.78 +11.87 TMO‑Non +65.02 TMO‑Non +1.76 TMO‑Non TMO‑Non 0.49
GRP711+1 +0.31 +0.32 +0.35 +0.36 +1.48 +0.59 +1.69 +0.73 +24.00 +0.29 TMO‑Non +0.97 TMO‑Non 0.25
CSR115+70 +0.71 +0.74 +0.57 +2.93 +8.46 +0.78 +0.36 +47.79 +116.56 +1.18 +69.48 TMO‑Non TMO‑Non 0.75
ALG122+1 +0.65 +0.76 +0.72 +7.85 +12.14 +16.80 TMO‑Non +7.30 +0.63 +0.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN081+1 +0.26 +0.28 +0.27 +0.35 +1.39 +0.60 +0.33 +0.62 TMO‑Non +2.64 +0.50 +0.93 TMO‑Non 0.24
ALG102+1 +0.57 +0.67 +0.83 +0.70 +1.97 +1.06 TMO‑Non +7.69 +0.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.55
CSR115+83 +0.71 +0.59 +0.50 +2.21 +18.71 +1.00 +2.31 +2.33 +87.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.02
SWC037+1 +0.28 +0.47 +0.33 +0.37 +1.39 +0.67 +0.31 +0.64 +0.48 +0.25 +1.45 +1.81 TMO‑Non 0.28
CSR115+92 +0.84 +0.71 +0.56 +1.96 +9.15 +0.85 +0.41 +48.89 +85.81 +0.79 +63.87 TMO‑Non TMO‑Non 0.76
GEO082+1 +0.29 +0.33 +0.31 +0.40 +1.38 +0.69 +0.30 +0.70 +10.79 +0.25 TMO‑Non +1.21 TMO‑Non 0.33
NUN076+1 +0.29 +0.35 +0.40 +0.40 +1.40 +0.61 +0.27 +0.82 TMO‑Non TMO‑Non +0.69 +1.29 TMO‑Non 0.27
NUM840+1 +0.31 +0.32 +0.30 +0.41 +1.44 +0.73 +0.44 +0.70 +0.40 +0.42 +0.66 UNK‑Non TMO‑Non 0.49
SYO606+1 +0.31 +0.35 +0.35 TMO‑Non +1.50 UNK‑Non TMO‑Non +1.22 +25.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV415+1 +0.32 +0.36 +0.31 +0.39 +1.68 +0.68 +0.29 +0.80 +0.43 +0.24 TMO‑Non +0.92 TMO‑Non 0.27
CSR073+2 +0.30 +0.30 +0.30 +0.47 +1.51 +0.75 +0.34 +1.49 +108.85 +0.34 +0.76 TMO‑Non TMO‑Non 0.50
MSC010+1 +0.31 +0.29 +0.28 +0.40 +2.20 +0.88 +0.47 +0.79 +0.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR026+3 +1.25 +0.70 +0.50 +1.92 +5.76 +1.63 +0.53 +8.00 +74.79 +0.82 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN068+2 +0.30 +0.28 +0.30 +0.32 +1.43 +0.59 +0.83 +0.67 +0.47 +0.36 TMO‑Non +1.08 TMO‑Non 0.26
KRS261+1 +0.28 +0.36 +0.37 +0.32 +3.63 +37.79 +0.71 +34.72 +21.62 +4.95 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
MGT034+2 +0.31 +0.31 +0.31 +0.40 +1.68 +0.70 +0.32 +1.10 +0.45 +0.24 +62.04 +0.97 TMO‑Non 0.26
CSR115+28 +1.02 +0.72 +0.56 +2.30 +7.03 +0.90 +0.43 +45.72 +85.95 +0.71 +62.14 TMO‑Non TMO‑Non 1.08
NUN066+2 +0.32 +0.35 +0.33 +0.33 +1.75 +0.57 +1.33 +0.73 +0.39 +0.42 TMO‑Non +0.93 TMO‑Non 0.29
LCL682+1.005 +0.24 +0.32 +0.37 +14.39 +1.76 UNK‑Non +1.96 +50.33 +20.86 +2.27 TMO‑Non +2.37 TMO‑Non TMO‑Non
COM146+1 +0.30 +0.31 +0.32 +0.40 +1.39 +0.68 +0.39 +0.65 +0.39 +0.25 +1.70 UNK‑Non TMO‑Non 0.49
CSR116+45 +0.81 +1.13 +0.83 +2.10 +22.02 +0.91 +1.47 +3.35 +118.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 5.00
CSR015+1 +0.35 +0.34 +0.34 +0.38 +1.74 +0.60 +0.31 +0.74 +0.45 +0.33 +0.92 TMO‑Non TMO‑Non 0.30
LCL664+1.005 +0.33 +0.32 +0.33 +6.13 +1.75 UNK‑Non +105.68 +48.56 +22.01 +21.38 TMO‑Non +114.83 TMO‑Non TMO‑Non
MGT061+1 +0.28 +0.31 +0.30 +0.38 +1.58 +0.54 +0.43 +0.71 +11.23 +0.84 +1.71 +0.98 TMO‑Non 0.26
CSR116+42 +0.89 +0.91 +0.72 +2.12 +14.75 +0.87 +1.47 +3.33 +85.04 TMO‑Non +67.54 TMO‑Non TMO‑Non 1.46
MGT042+1 +0.33 +0.33 +0.34 +0.81 +1.69 +0.65 +0.36 +0.78 +0.43 +0.30 +18.56 +1.05 TMO‑Non 3.00
CSR067+3 +0.43 +0.59 +0.51 +1.16 +4.00 +1.53 +0.45 +1.68 +74.13 +0.54 +9.47 TMO‑Non TMO‑Non 1.18
NUM568+3 +0.33 +0.30 +0.35 +3.24 +2.23 +5.49 +0.48 +0.67 +0.45 +0.28 +21.00 +21.08 TMO‑Non 8.91
CSR034+3 +0.47 +0.57 +0.40 +1.41 +4.46 +1.29 +0.49 +1.44 +73.88 +0.59 +6.04 TMO‑Non TMO‑Non 1.89
SWW473+1 +0.38 +0.40 +0.31 +0.42 +1.44 +0.68 +0.43 +1.01 +0.68 +0.38 +2.90 +21.73 TMO‑Non 0.49
CSR074+3 +1.10 +0.61 +0.48 +1.21 +8.51 +1.86 +0.61 +1.70 +73.70 +0.86 +56.29 TMO‑Non TMO‑Non 5.76
HAL003+3 +0.29 +0.30 +0.32 +0.37 +5.71 +0.55 +0.87 +0.70 +0.52 +1.14 TMO‑Non TMO‑Non TMO‑Non 0.26
CSR115+90 +0.89 +0.69 +0.60 +2.17 +11.01 +0.91 +0.51 +50.30 +85.53 +0.75 +65.73 TMO‑Non TMO‑Non 0.76
ALG019+1 +0.29 +0.28 +0.31 +0.37 +1.67 +0.56 +0.40 +0.63 +0.37 +0.24 TMO‑Non +0.91 TMO‑Non 0.24
SYN938+1 +0.30 +0.36 +0.35 +1.15 +1.44 +0.80 TMO‑Non +1.26 +65.33 TMO‑Non TMO‑Non TMO‑Non +11.84 TMO‑Non
COM125+1 +0.29 +0.29 +0.34 +0.36 +1.40 +0.61 +0.51 +0.79 +0.48 +0.25 +0.68 UNK‑Non TMO‑Non 0.31
CSR115+73 +0.84 +0.79 +0.55 +2.33 +8.32 +0.91 +0.43 +49.71 +47.30 +0.81 TMO‑Non TMO‑Non TMO‑Non 0.58
LCL456+1 +0.30 +0.29 +0.30 +0.38 +1.47 +0.76 +0.65 +0.96 +0.49 +0.28 TMO‑Non +0.81 UNK‑Non 0.37
SWB012+3 +0.36 +0.43 +0.38 +0.62 +43.82 +1.27 +0.61 +3.99 +26.24 TMO‑Non +65.27 UNK‑Non TMO‑Non 2.71
SET624+3 +0.28 +0.30 +0.30 +0.37 +1.71 +0.59 +0.87 +0.98 +0.39 +0.56 TMO‑Non TMO‑Non +3.23 0.28
CSR116+14 +1.17 +1.08 +0.81 +2.23 +16.90 +0.82 +1.86 +4.05 +118.40 TMO‑Non +118.46 TMO‑Non TMO‑Non 4.94
SWW317+1 +1.25 +0.83 +0.76 +1.75 +4.47 +1.98 +0.75 +2.62 +6.00 +1.21 +21.55 TMO‑Non TMO‑Non 1.33
CSR116+46 +0.83 +1.94 +0.96 +2.12 +14.11 +0.91 +1.51 +4.71 +85.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 6.16
CSR017+1 +0.34 +0.37 +0.38 +0.35 +1.60 +0.59 +0.49 +0.92 +0.45 +0.31 +1.45 TMO‑Non TMO‑Non 0.34
CSR029+3 +0.79 +0.60 +0.47 +1.42 +8.47 +1.94 +0.47 +1.53 +73.63 +0.64 +36.79 TMO‑Non TMO‑Non 7.09
ALG210+2 +0.31 +0.35 +0.32 +0.39 +1.39 +0.60 +0.34 +1.00 +0.38 +0.35 TMO‑Non +0.95 TMO‑Non 0.26
KRS217+1 +0.29 +0.34 +0.32 +0.44 +1.49 +27.27 +0.57 +2.70 +63.24 +3.11 +2.57 +2.82 UNK‑Non TMO‑Non
NUM925+5 +0.55 +0.38 +0.35 +0.39 +1.43 +0.64 +0.41 +0.77 +0.47 +0.26 +4.86 +1.23 TMO‑Non 0.35
CSR115+16 +0.83 +0.72 +0.58 +2.23 +10.33 +0.84 +0.43 +49.84 +85.01 +0.68 +63.38 TMO‑Non TMO‑Non 1.15
SWV417+1 +0.29 +0.28 +0.26 +0.32 +1.39 +0.73 +0.43 +0.70 +0.42 +0.37 +0.99 +1.05 TMO‑Non 0.28
NUN060+1 +0.27 +0.31 +0.29 +0.36 +1.39 +0.58 +0.31 +0.66 TMO‑Non +1.87 +0.60 +0.91 TMO‑Non 0.25
MGT039+2 +0.30 +0.34 +0.39 +0.34 +1.48 +0.71 +0.40 +1.01 +1.99 +0.27 TMO‑Non +1.03 TMO‑Non 1.14
KRS203+1 +0.29 +0.45 +0.29 +0.36 +1.69 +0.60 +0.31 +1.29 +63.10 +6.59 +4.25 +1.10 UNK‑Non 0.29
NUM613+3 +0.50 +0.38 +0.50 +4.43 +2.30 +4.67 +0.37 +0.74 +10.57 +0.70 +4.22 +25.99 TMO‑Non 4.87
CSR115+63 +0.94 +0.79 +0.77 +2.75 +12.83 +0.90 +0.43 +54.02 +85.17 +1.01 TMO‑Non TMO‑Non TMO‑Non 1.76
SWV167+1 +0.30 +0.38 +0.35 +0.33 +1.42 +0.60 +0.42 +1.24 +0.51 +1.96 +51.95 +24.53 TMO‑Non 0.38
CSR116+36 +0.95 +1.18 +0.94 +2.40 +16.37 +0.92 +1.41 +3.98 +115.73 TMO‑Non +69.05 TMO‑Non TMO‑Non 1.53
GRP747+1 +0.34 +3.75 +4.27 +0.71 +39.59 +0.98 +0.69 TMO‑Non +17.16 +1.69 TMO‑Non +0.88 TMO‑Non 0.39
CSR060+2 +0.33 +0.36 +0.31 +0.50 +1.97 +10.55 +0.34 +2.05 +4.58 +21.48 +9.22 TMO‑Non TMO‑Non 4.12
LCL893+1 +0.27 +0.29 +0.29 +0.33 +1.40 +0.61 +0.31 +0.51 +10.51 +0.24 +0.56 UNK‑Non TMO‑Non 0.26
KRS202+1 +0.28 +0.32 +0.27 +0.40 +1.41 +0.58 +0.30 +0.69 +62.47 +1.67 +0.97 +1.28 UNK‑Non 0.35
SET094+1 +0.29 +0.29 +0.29 +0.41 +1.39 +0.56 +0.40 +0.62 +0.37 +0.24 +10.78 +0.91 TMO‑Non 0.28
CSR115+14 +0.81 +0.77 +0.58 +3.04 +11.22 +0.90 +0.43 +47.29 +86.46 +5.24 +63.65 TMO‑Non TMO‑Non 0.85
PUZ078+1 +0.34 +0.40 +0.35 +0.49 +1.68 +0.60 +0.38 +2.18 +0.52 +0.31 TMO‑Non +1.10 TMO‑Non 0.30
NUN062+1 +0.29 +0.31 +0.31 +0.41 +1.43 +8.69 +0.53 +0.65 TMO‑Non +0.25 +0.73 +13.32 TMO‑Non 0.25
GEO125+1 +0.29 +0.31 +0.34 +0.37 +1.38 +0.64 +0.59 +0.71 +11.70 +0.27 +2.65 +1.55 UNK‑Non 0.30
MGT067+1 +0.28 +0.33 +0.28 +0.43 +1.63 +0.62 +0.39 +0.74 TMO‑Non +0.23 +1.71 +1.16 TMO‑Non 12.85
ALG219+1 +0.48 +0.36 +0.38 +0.47 +1.40 +0.68 +0.35 +14.92 +0.50 +0.93 +2.21 +4.13 TMO‑Non 0.39
CSR116+25 +1.08 +0.92 +0.94 +2.14 +16.37 +0.91 +6.23 +7.51 +110.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 18.27
SWB073+1 +0.29 +0.35 +0.34 +0.40 +4.95 +3.06 +0.55 +0.82 +3.47 +3.16 +66.27 GUP‑Non TMO‑Non 1.14
KRS186+1 +0.29 +0.32 +0.28 +0.38 +1.43 +24.27 +0.35 +0.71 +0.41 TMO‑Non +0.63 TMO‑Non UNK‑Non 0.83
MGT065+1 +0.31 +0.33 +0.36 +0.39 +1.71 +0.68 +0.29 +0.74 +0.42 +0.54 +1.67 +1.10 TMO‑Non 0.26
LCL642+1.010 +0.74 +0.51 +0.38 TMO‑Non +1.39 UNK‑Non TMO‑Non TMO‑Non +47.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB013+2 +0.34 +0.32 +0.33 +0.42 +15.35 +0.59 +0.93 +0.98 +0.43 +0.84 +0.73 +93.45 TMO‑Non 0.37
CSR052+3 +0.49 +0.67 +0.71 +1.17 +4.33 +1.79 +0.47 +10.21 TMO‑Non +42.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET637+3 +0.27 +0.53 +0.33 +0.32 +1.51 +0.62 +1.34 +1.78 +0.38 +0.42 TMO‑Non +1.10 +27.06 0.26
CSR116+41 +1.42 +0.71 +0.71 +2.09 +40.26 +0.89 +1.48 +5.41 +118.14 TMO‑Non +58.25 TMO‑Non TMO‑Non 1.50
NUM841+1 +0.39 +0.35 +0.41 +0.39 +1.66 +0.81 +0.58 +0.66 +0.36 TMO‑Non +1.92 UNK‑Non TMO‑Non 0.27
CSR064+3 +0.73 +0.60 +0.52 +1.22 +6.65 +9.41 +0.43 +2.22 +10.36 +0.49 TMO‑Non TMO‑Non TMO‑Non 2.37
SWB053+1 +0.28 +0.49 +0.33 +0.43 +5.21 +19.70 +0.38 +0.73 +6.54 TMO‑Non +76.54 TMO‑Non TMO‑Non 3.22
KRS235+1 +0.29 +0.32 +0.30 +0.34 +1.39 +4.14 +0.51 +2.65 +0.38 TMO‑Non TMO‑Non +2.59 UNK‑Non 0.32
SWV455+1 +0.31 +0.32 +0.36 +0.47 +1.53 +0.86 +0.39 +2.26 +1.17 +0.43 +75.31 +1.05 TMO‑Non 0.29
KRS189+1 +0.30 +0.33 +0.30 +0.37 +1.72 +25.03 +0.31 +0.70 +0.40 TMO‑Non +0.64 TMO‑Non UNK‑Non 0.84
PRO009+1 +0.48 +0.80 +0.45 +0.49 +1.39 +0.67 +1.11 +38.08 +11.42 +0.34 +9.97 +3.75 TMO‑Non 0.36
LCL670+1.001 +1.24 +0.48 +0.40 +6.24 +1.41 +0.74 +3.72 +2.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 3.55
RNG103+2 +0.46 +0.41 +0.46 +0.58 +3.43 +0.51 +0.59 +0.80 +0.39 +78.66 +26.85 +0.97 TMO‑Non 108.08
KRS191+1 +0.25 +0.29 +0.25 +0.36 +1.39 +1.99 +0.30 +0.66 +0.40 +0.34 +0.66 +1.29 UNK‑Non 0.28
REL050+1 +0.98 +59.12 +55.15 +0.41 +39.05 +1.11 TMO‑Non +3.96 TMO‑Non +9.03 TMO‑Non +2.01 TMO‑Non 1.28
CSR044+3 +0.48 +0.59 +0.44 +1.40 +3.92 +2.52 +0.52 +1.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 57.02
SWV202+1 +0.30 +0.41 +0.38 +0.39 +1.53 +32.52 +0.51 +3.59 +0.53 +0.27 +79.77 +23.58 TMO‑Non 0.39
NUN065+1 +2.01 +2.13 +0.68 +2.42 +1.41 +67.50 TMO‑Non +12.61 TMO‑Non +2.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB054+1 +0.32 +0.36 +0.36 +0.41 +3.56 +1.04 +0.80 +0.69 +4.04 +14.11 TMO‑Non GUP‑Non TMO‑Non 0.94
KRS234+1 +0.30 +0.27 +0.25 +0.36 +1.38 +0.64 +0.33 +0.69 +0.40 +44.00 +3.60 +1.09 UNK‑Non 0.33
PUZ001+2 +0.29 +0.29 +0.28 +0.31 +1.40 +0.59 +0.29 +0.63 +0.53 +0.21 +0.62 +0.87 TMO‑Non 0.26
CSR027+3 +0.53 +0.56 +0.42 +1.11 +16.79 +2.71 +0.69 +1.50 +119.64 +6.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW229+1 +0.76 +0.68 +0.49 +24.21 +1.98 +19.48 +0.38 +5.11 +1.14 +0.54 +1.22 +7.39 TMO‑Non TMO‑Non
CSR050+3 +1.03 +0.64 +0.47 +1.30 +5.78 +3.02 +0.42 +5.25 +46.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.51
SWV401+1 +0.30 +0.35 +0.33 +0.33 +29.10 +0.56 +0.50 +0.81 +0.38 +0.30 TMO‑Non +3.27 TMO‑Non 0.25
KRS196+1 +0.27 +0.32 +0.28 +0.36 +1.69 +0.53 +0.33 +0.70 +0.39 +0.31 +0.60 +0.99 UNK‑Non 0.28
GEO112+1 +0.29 +0.32 +0.30 +0.35 +1.42 UNK‑Non +0.53 +0.77 +0.41 +0.40 +0.54 +0.95 UNK‑Non 15.80
CSR045+3 +0.68 +0.64 +0.48 +5.35 +5.58 +3.77 +0.47 +12.13 TMO‑Non +0.73 TMO‑Non TMO‑Non TMO‑Non 2.12
SWV203+1 +0.30 +0.43 +0.39 +0.41 +1.39 +25.59 +0.35 +1.37 +0.53 +0.35 +85.29 +25.49 TMO‑Non 0.48
NUN068+1 +1.00 +2.13 +0.86 +2.33 +2.14 +50.74 TMO‑Non +28.46 TMO‑Non +1.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925+3 +0.74 +0.56 +0.64 +0.62 +1.99 +1.20 +0.38 +1.38 +1.38 +2.15 +87.19 +5.97 TMO‑Non 1.10
CSR040+3 +0.65 +0.67 +0.55 +2.84 +16.27 +2.73 +0.48 +14.96 TMO‑Non +4.47 TMO‑Non TMO‑Non TMO‑Non 1.30
SWV161+1 +0.30 +0.32 +0.33 +0.35 +1.67 +0.59 +0.87 +0.86 +0.52 +2.13 +8.82 +19.28 TMO‑Non 0.39
KRS194+1 +0.30 +0.28 +0.26 +0.37 +1.55 +0.64 +0.31 +0.74 +0.40 +0.26 +0.61 +0.98 UNK‑Non 0.26
SWV237+1 +0.32 +0.38 +0.31 +0.33 +1.40 +0.77 +0.88 +0.67 +11.60 +0.47 TMO‑Non +1.05 TMO‑Non 0.28
KRS188+1 +0.30 +0.32 +0.30 +0.39 +1.67 +26.13 +0.36 +0.70 +0.36 TMO‑Non +0.61 +36.18 UNK‑Non 0.82
NUM329+1 +0.34 +0.31 +0.32 +0.40 +1.98 +55.53 +0.68 +1.79 +3.05 +0.30 +70.29 +10.89 TMO‑Non TMO‑Non
KRS193+1 +0.29 +0.30 +0.26 +0.34 +1.68 +0.60 +0.32 +0.63 +0.40 +0.29 +0.64 +1.07 UNK‑Non 0.28
SWV162+1 +0.30 +0.36 +0.32 +0.35 +1.41 +0.63 +0.66 +0.79 +0.50 +0.46 +8.71 +19.48 TMO‑Non 0.38
LCL640+1.015 +1.90 +0.64 +0.41 +12.70 +3.42 +3.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET076+1 +0.29 +0.31 +0.29 +0.36 +2.43 +0.99 +1.57 +1.15 +0.42 +0.83 TMO‑Non +4.31 +0.38 0.54
CSR113+13 +0.80 +0.86 +0.65 +2.20 +16.44 +0.89 +0.51 TMO‑Non TMO‑Non +22.15 TMO‑Non TMO‑Non TMO‑Non 1.16
GEO331+1 +0.71 +0.41 +0.41 +0.48 +1.42 +0.76 +1.98 +1.41 +0.65 TMO‑Non +112.41 UNK‑Non TMO‑Non 0.39
NLP260+1 +15.89 +20.53 +26.76 TMO‑Non TMO‑Non +11.55 +5.63 TMO‑Non TMO‑Non +38.14 TMO‑Non UNK‑Non UNK‑Non 10.90
SWW473+2 +0.59 +0.97 +0.50 +0.75 +2.49 +0.95 +0.41 +1.19 +1.33 +0.66 +7.67 +6.48 TMO‑Non 0.89
CSR033+3 +1.35 +0.78 +0.69 +1.51 +8.15 +2.85 +0.99 +53.33 TMO‑Non +29.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO541+1 +1.04 +1.02 +1.14 +0.81 +5.56 +0.95 +0.43 +1.94 +104.96 +0.83 +4.06 +5.72 TMO‑Non 0.53
CSR113+27 +0.80 +0.67 +0.59 +2.14 +6.92 +1.00 +0.60 +49.47 TMO‑Non +0.70 +66.13 TMO‑Non TMO‑Non 0.60
SET601+3 +0.34 +0.88 +0.39 +0.37 +1.91 +0.91 +45.60 TMO‑Non +0.69 +43.12 TMO‑Non +1.10 TMO‑Non 0.39
CSR113+9 +0.76 +0.82 +0.68 +2.08 +5.27 +0.86 +0.75 +49.54 TMO‑Non +0.52 +85.50 TMO‑Non TMO‑Non 1.30
COM133+1 +0.34 +0.30 +0.36 +0.39 +6.77 +0.65 +0.69 +0.69 +10.88 +0.25 +2.20 UNK‑Non TMO‑Non 0.50
NUN066+1 +0.48 +2.20 +1.39 +44.58 +1.40 +0.86 +11.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
RNG111+1 +0.29 +0.32 +0.30 +0.35 +1.39 +0.59 +0.29 +0.75 +0.41 +0.38 TMO‑Non TMO‑Non TMO‑Non 0.31
KRS216+1 +0.27 +0.31 +0.30 +0.37 +1.66 +0.71 +0.48 +0.69 TMO‑Non +2.63 +0.70 +25.84 UNK‑Non 0.72
SWV208+1 +0.30 +0.38 +0.30 +0.40 +1.37 +0.60 +0.97 +1.21 +0.43 +0.27 TMO‑Non TMO‑Non TMO‑Non 0.43
CSR030+3 +0.47 +0.56 +0.48 +1.24 +6.62 +2.62 +0.46 +1.44 TMO‑Non +0.58 +49.10 TMO‑Non TMO‑Non 1.94
SWW965+1 +0.30 +0.32 +0.32 +0.41 +1.54 +0.47 +0.71 +0.68 +0.32 +0.25 +0.72 TMO‑Non TMO‑Non 0.28
CSR061+3 +0.68 +0.72 +0.53 TMO‑Non +16.50 +9.43 +0.51 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO004+2 +0.90 +0.77 +1.25 +0.46 +5.52 +0.66 +5.48 +24.59 +25.90 +0.44 TMO‑Non +43.63 TMO‑Non 0.37
CSR060+3 +2.04 +0.62 +0.46 +1.33 +5.00 +3.31 +0.72 +51.16 +117.33 +14.46 TMO‑Non TMO‑Non TMO‑Non 37.92
ITP023+1 +0.28 +0.31 +0.31 +0.39 +1.56 +0.61 +0.49 +51.84 +0.44 +2.39 +0.50 +6.98 TMO‑Non 0.34
LCL642+1.015 +0.96 +0.49 +0.37 TMO‑Non +1.43 UNK‑Non TMO‑Non TMO‑Non +49.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU187+2 +0.65 +0.39 +0.36 +0.40 +1.41 +0.76 +0.98 +0.76 +10.93 +0.26 +37.95 +28.53 TMO‑Non 0.44
NUN086+1 +4.22 +3.26 +1.23 +4.57 +1.39 +11.06 +8.18 +115.28 TMO‑Non TMO‑Non +18.19 TMO‑Non TMO‑Non TMO‑Non
GEO094+1 +0.43 +0.45 +0.41 +0.36 +1.55 +0.60 +0.48 +1.22 +11.12 +1.74 +70.69 +0.73 TMO‑Non 0.38
SYN353+1 +0.27 +0.35 +0.28 +0.36 +1.42 +0.60 +0.40 +0.66 TMO‑Non +0.58 TMO‑Non +2.06 TMO‑Non 1.91
SWW474+2 +0.71 +0.58 +0.68 +0.70 +8.40 +0.98 +4.11 +1.34 +9.70 +6.63 +11.19 +16.00 TMO‑Non 0.76
CSR049+3 +1.35 +0.76 +0.54 TMO‑Non +19.75 +21.19 +0.80 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB065+1 +0.29 +0.34 +0.33 +0.43 +6.54 +2.34 +0.52 +0.70 +3.85 TMO‑Non +89.01 TMO‑Non TMO‑Non TMO‑Non
LCL660+1.001 +0.52 +0.53 +0.36 +15.64 +2.96 +5.31 TMO‑Non TMO‑Non +48.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU180+2 +0.78 +0.35 +0.52 +0.41 +21.82 +1.04 +2.46 +0.99 +5.52 TMO‑Non TMO‑Non +5.34 TMO‑Non 1.02
LCL640+1.020 +1.59 +1.17 +0.75 +18.71 +12.04 +15.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL895+1 +0.39 +76.59 TMO‑Non +7.65 TMO‑Non +12.46 TMO‑Non TMO‑Non +3.26 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 30.35
NUN082+1 +5.76 +2.98 +1.78 +5.41 +1.43 +5.10 +4.81 TMO‑Non TMO‑Non TMO‑Non +52.69 TMO‑Non TMO‑Non TMO‑Non
SWV476+1 +0.61 +0.36 +0.44 +0.68 +2.96 +0.68 +0.79 +1.89 +1.09 +0.34 TMO‑Non TMO‑Non TMO‑Non 0.46
NLP261+1 +15.93 +18.87 +11.80 TMO‑Non TMO‑Non +11.79 +5.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 13.84
SWV452+1 +0.31 +0.30 +0.37 +1.51 +1.51 +1.39 +0.38 +4.97 +1.45 +43.40 TMO‑Non TMO‑Non TMO‑Non 0.30
KRS251+1 +0.29 +0.31 +0.29 +1.83 +1.91 UNK‑Non +1.50 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non UNK‑Non 3.56
GEO499+1 +0.36 +0.37 +0.35 +0.41 +2.38 +4.06 +0.36 +3.06 +20.74 +0.52 +3.90 +3.50 TMO‑Non 0.72
LCL652+1.005 +1.94 +1.01 +1.08 +9.49 +14.77 +6.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW314+1 +0.80 +0.78 +0.83 +1.58 +3.99 +6.63 +0.86 +1.71 +13.85 +1.16 +13.37 TMO‑Non TMO‑Non 3.26
NLP262+1 +19.63 +21.85 +14.54 TMO‑Non TMO‑Non +11.41 +5.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 11.88
KLE170+1.002 +0.76 +2.00 +2.84 +0.73 +4.59 +2.59 +39.86 +113.18 +0.98 +0.68 TMO‑Non +1.11 TMO‑Non 2.78
CSR036+3 +1.37 +85.73 TMO‑Non TMO‑Non +4.99 +9.50 +1.54 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM842+1 +0.49 +0.38 +0.40 +0.37 +1.43 +0.60 +5.07 +1.11 +0.43 +1.26 TMO‑Non UNK‑Non TMO‑Non 0.33
KRS264+1 +0.29 +0.26 +0.32 +0.40 +7.98 UNK‑Non +0.38 +102.01 TMO‑Non TMO‑Non +63.07 TMO‑Non UNK‑Non TMO‑Non
SEU364+1 +0.29 +0.30 +0.36 +0.76 +2.08 +1.07 +1.18 +2.50 +0.37 +1.06 TMO‑Non TMO‑Non TMO‑Non 0.59
SYN457+1 +0.39 +0.34 +0.41 +1.97 +1.43 +60.52 +20.82 +3.31 +0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV235+1 +0.39 +0.42 +0.39 +0.56 +1.71 +0.64 +4.49 +1.25 +24.58 +0.53 +0.66 TMO‑Non TMO‑Non 0.31
LCL658+1.010 TMO‑Non +3.53 +3.36 TMO‑Non +24.42 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO557+1 +0.87 +2.77 +0.81 +0.87 +11.25 +0.97 +0.58 +27.05 TMO‑Non +0.50 TMO‑Non +8.21 TMO‑Non 0.47
BOO109+1 +0.68 +100.83 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +1.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.57 UNK‑Non
SWB005+1 +0.31 +0.35 +0.32 +0.41 +1.73 +1.01 +0.33 +0.78 +3.91 +0.39 TMO‑Non TMO‑Non TMO‑Non 1.79
LCL672+1.010 +2.45 +0.46 +0.37 TMO‑Non +11.84 UNK‑Non +4.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO018+2 +1.99 +0.67 +0.52 +0.35 +1.93 +0.69 +19.10 +2.98 +26.25 +7.55 +16.65 TMO‑Non TMO‑Non 0.55
SYN986+1.004 +8.23 +6.61 +0.64 +67.94 +2.47 +70.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 115.66
SEU363+1 +0.79 +0.34 +0.38 +0.40 +3.23 +0.83 +0.91 +0.92 +0.50 TMO‑Non TMO‑Non +7.43 TMO‑Non 0.30
LCL638+1.010 +86.93 +10.60 +9.19 +35.30 +93.71 +104.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO524+1 +0.31 +0.32 +0.28 +0.41 +1.74 +0.71 +0.34 +0.69 +3.50 +0.30 TMO‑Non +1.38 TMO‑Non 0.33
NUN056+1 +9.02 +65.16 TMO‑Non +88.51 TMO‑Non +106.98 +59.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR048+4 +1.66 +1.79 +1.24 +15.81 +42.70 +17.42 +0.88 +14.56 TMO‑Non +1.27 TMO‑Non TMO‑Non TMO‑Non 11.66
LAT258+1 TMO‑Non +65.40 +114.74 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO555+1 +0.58 +0.78 +0.79 +0.70 +4.79 +0.85 +0.40 +5.75 TMO‑Non +1.26 +88.56 +2.54 TMO‑Non 0.53
LCL662+1.005 TMO‑Non TMO‑Non +34.45 +52.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM858+1 +0.69 +0.36 +0.35 +0.40 +2.39 TMO‑Non TMO‑Non +17.39 +0.64 +1.68 TMO‑Non TMO‑Non TMO‑Non 0.35
GEO167+1 +35.76 +2.15 +4.51 TMO‑Non +65.28 UNK‑Non TMO‑Non TMO‑Non +41.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL897+1 +0.85 +21.48 +23.03 +47.50 +1.39 UNK‑Non +2.73 +10.80 +0.33 +16.68 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL682+1.020 +4.11 +27.55 +9.45 TMO‑Non +7.69 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN057+2 +0.34 +0.29 +0.32 +0.34 +1.67 +0.62 +0.77 +1.22 +10.49 +0.50 TMO‑Non +1.21 TMO‑Non 0.27
LCL664+1.015 +2.14 +1.23 +1.23 TMO‑Non +9.10 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ITP020+1 +0.30 +0.31 +0.29 +0.36 +1.65 +0.61 +0.40 +1.34 TMO‑Non +0.29 +0.64 +1.48 TMO‑Non 0.27
NUN075+1 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 TMO‑Non
SWV457+1 +0.46 +0.32 +0.44 +0.58 +1.95 +35.49 +0.77 +1.65 +25.71 +28.71 TMO‑Non +1.19 TMO‑Non 0.43
LCL638+1.015 TMO‑Non +17.20 +19.66 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO126+1 +0.28 +0.30 +0.32 +0.57 +1.99 +0.59 +0.63 +0.76 TMO‑Non +0.30 +1.62 +2.15 UNK‑Non 0.88
LCL662+1.020 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO343+1 +0.33 +0.41 +0.42 +0.67 +1.26 +0.83 +2.35 +41.45 +10.80 +0.57 TMO‑Non UNK‑Non TMO‑Non 0.42
LCL876+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWC112+1 +0.28 +0.36 +0.33 +0.40 +1.69 +0.61 +0.92 +0.70 +0.48 +0.47 TMO‑Non TMO‑Non TMO‑Non 0.33
LCL654+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +55.83 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV477+1 +0.60 +0.37 +0.40 +0.70 +4.18 UNK‑Non +0.93 +1.95 +0.94 +0.78 TMO‑Non +63.90 TMO‑Non 0.45
NUN057+1 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 TMO‑Non
GEO083+1 +0.30 +0.31 +0.40 +0.34 +1.71 +13.91 +0.80 +0.80 +39.87 TMO‑Non +76.73 +8.45 TMO‑Non 0.57
GEO299+1 +0.59 +0.37 +0.52 +0.49 +1.44 +0.85 +0.96 +2.31 +10.72 +0.24 TMO‑Non UNK‑Non TMO‑Non 0.71
SWW315+1 +0.71 +0.96 +0.74 +2.05 +8.01 +4.61 +0.76 +1.64 +6.01 +14.04 +14.92 TMO‑Non TMO‑Non 5.58
SWW383+1 +1.29 +0.84 +0.83 +1.88 +11.43 +4.55 +0.69 +3.67 +6.68 +1.37 TMO‑Non TMO‑Non TMO‑Non 3.32
LCL899+1 +0.32 +0.31 +0.31 +0.36 +1.41 +0.64 +0.60 +0.78 +11.87 +0.23 TMO‑Non UNK‑Non TMO‑Non 0.26
NUN072+2 +0.50 +0.31 +0.31 +0.35 +1.94 +0.67 +0.37 +1.84 +10.48 +0.71 TMO‑Non +2.42 TMO‑Non 0.32
NUM924+4 +4.30 +0.97 +1.46 +2.04 +14.08 TMO‑Non +45.99 +7.94 +7.21 +6.58 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWV449+1 +0.29 +0.47 +0.37 +0.35 +1.43 +0.64 +1.01 +1.30 +11.93 +0.27 TMO‑Non +1.24 TMO‑Non 0.29
KLE041+1 +1.81 +4.44 +3.88 +0.64 +5.91 +3.62 TMO‑Non +5.91 +3.03 +1.83 TMO‑Non +3.63 TMO‑Non 16.86
ITP015+1 +0.80 +0.70 +0.57 +0.35 +6.46 +10.88 +0.49 +2.62 +0.53 +0.26 TMO‑Non +0.98 TMO‑Non 0.28
PUZ133+1 +0.88 +0.71 +0.78 +0.99 +1.40 TMO‑Non +0.96 TMO‑Non +1.00 +0.38 TMO‑Non +1.35 TMO‑Non 2.31
HAL004+1 +1.05 +1.75 +2.96 +0.41 +53.14 +1.83 +5.47 +1.30 +25.99 +3.16 TMO‑Non TMO‑Non TMO‑Non 2.89
NUM926+6 +4.17 +0.50 +0.78 +0.74 +3.74 +1.00 +0.79 +11.77 +0.81 +0.93 TMO‑Non +2.18 TMO‑Non 1.17
SWV451+1 +0.64 +0.30 +0.57 +6.92 +1.91 +12.36 +1.00 +104.23 +0.72 TMO‑Non TMO‑Non +60.13 TMO‑Non TMO‑Non
NUM841+2 +0.86 +0.50 +0.66 +0.40 +1.44 +0.67 +0.91 +1.07 +0.59 +5.49 TMO‑Non UNK‑Non TMO‑Non 0.26
COM149+1 +0.51 +0.32 +0.35 +0.43 +2.19 +0.61 +1.70 +0.83 +0.44 +0.23 +80.33 UNK‑Non TMO‑Non 3.00
LCL901+1 +1.01 +0.70 +1.81 +0.44 +1.73 +0.50 +5.38 +5.61 +14.93 +0.52 TMO‑Non UNK‑Non TMO‑Non 0.49
SWV487+1 +0.46 +0.34 +0.38 +0.54 +1.77 +0.61 +0.49 +1.31 +25.60 +0.71 TMO‑Non TMO‑Non TMO‑Non 0.57
CSR024+1.009 +0.56 +0.40 +0.44 +0.40 +2.18 +0.69 +2.97 +3.05 +97.83 +0.64 TMO‑Non +1.60 TMO‑Non 1.30
SWW474+3 +0.82 +0.77 +2.20 +0.95 +11.71 +0.89 +83.25 +4.32 +28.88 +46.10 +28.45 +31.63 TMO‑Non 0.80
SWW233+1 +0.90 +0.48 +0.74 +1.00 +7.88 +1.82 +13.43 +13.39 +1.44 TMO‑Non TMO‑Non +27.01 TMO‑Non 1.82
NUM926+2 +1.13 +0.72 +0.43 +0.70 +2.79 +5.10 +0.53 +87.13 +0.82 +0.29 +7.46 +1.81 TMO‑Non TMO‑Non
SWW345+1 +1.06 +0.83 +0.78 +2.25 +10.08 +6.30 +0.72 +2.08 TMO‑Non +1.06 +108.65 TMO‑Non TMO‑Non 6.02
LCL486+1 +0.94 +0.43 +0.39 +1.04 +8.50 +12.10 +1.00 +1.22 +2.96 +75.40 TMO‑Non +1.07 UNK‑Non 4.50
GEO127+1 +0.28 +0.32 +0.42 +0.39 +1.80 +0.43 +0.85 +0.76 +62.61 +0.28 TMO‑Non +1.18 UNK‑Non 0.30
CSR024+1.010 +0.50 +0.41 +0.41 +0.37 +1.76 +0.73 +2.44 +1.74 +97.65 +0.65 TMO‑Non +1.35 TMO‑Non 1.44
SET731+4 +0.30 +0.31 +0.33 +0.36 +1.40 +0.66 +0.39 +0.99 +0.41 +0.65 +2.11 TMO‑Non TMO‑Non 1.87
SWW344+1 +0.94 +0.96 +0.85 +1.70 +15.93 +6.77 +0.56 +3.00 TMO‑Non +1.31 +73.14 TMO‑Non TMO‑Non 3.21
NUM926+7 +6.34 +3.86 +4.36 +1.10 +8.67 +2.65 +2.67 +47.43 +2.12 TMO‑Non TMO‑Non +9.25 TMO‑Non 2.31
NUM925+4 +5.05 +1.00 +1.07 +1.61 +38.24 +0.95 +0.59 +3.84 +117.57 +4.83 TMO‑Non UNK‑Non TMO‑Non 0.60
PRO002+3 +0.66 +0.37 +0.76 +0.47 +32.34 +1.52 +5.51 TMO‑Non +27.19 TMO‑Non TMO‑Non +9.97 TMO‑Non 0.53
CSR032+4 +1.89 +1.41 +1.72 +15.63 +67.29 +12.93 +0.72 +19.19 TMO‑Non +24.77 TMO‑Non TMO‑Non TMO‑Non 5.76
SWV466+1 +1.23 +0.33 +0.43 +1.98 +1.40 +1.66 +0.78 +3.05 +0.82 TMO‑Non TMO‑Non +1.65 TMO‑Non 0.46
GEO274+1 +0.44 +0.50 +0.46 +0.57 +2.51 +0.81 +3.27 +60.81 +0.61 +1.21 TMO‑Non UNK‑Non TMO‑Non 0.77
SWW297+1 +1.07 +0.97 +0.74 +1.73 +5.57 +4.58 +0.75 +2.16 TMO‑Non +0.89 TMO‑Non TMO‑Non TMO‑Non 5.34
NUM574+3 +0.32 +0.32 +0.39 +0.43 +2.20 +0.53 +0.74 +1.07 +0.45 +0.39 TMO‑Non TMO‑Non TMO‑Non 6.47
SWW955+1 +0.29 +0.34 +0.30 +0.32 +1.42 +1.70 +0.48 +0.64 +0.40 +0.24 TMO‑Non TMO‑Non TMO‑Non 0.26
REL025+1 +20.97 TMO‑Non TMO‑Non +0.66 TMO‑Non +1.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.85 TMO‑Non 1.18
SET681+3 +0.28 +0.31 +0.32 +0.41 +1.38 +0.61 +0.76 +0.60 TMO‑Non +0.31 TMO‑Non +0.96 TMO‑Non 0.27
GEO342+1 +0.40 +0.36 +0.37 +0.58 +2.21 +0.86 +0.72 +1.15 +11.08 TMO‑Non +22.44 UNK‑Non TMO‑Non 1.52
SWV117+1 +0.36 +0.51 +0.34 +4.32 +1.77 +44.19 +6.24 TMO‑Non +0.47 +3.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB097+1 +0.33 +0.33 +0.37 +7.42 +1.46 +4.03 +0.40 +0.95 +97.49 TMO‑Non +4.67 TMO‑Non TMO‑Non TMO‑Non
GRA007+2 +0.93 +15.58 +0.36 +0.50 +3.44 +0.67 +5.29 +3.17 +26.08 TMO‑Non TMO‑Non +63.40 TMO‑Non 0.47
CSR001+2 +1.59 +2.99 +0.89 +0.63 +2.22 +7.11 +9.72 TMO‑Non +27.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.16
CSR008+1 +0.98 +0.65 +0.94 +0.56 +53.22 +0.82 +6.80 +8.29 +55.92 +3.49 TMO‑Non +1.08 TMO‑Non 19.05
SWW313+1 +0.94 +0.80 +0.75 +1.48 +3.96 +3.88 +1.26 +1.64 +10.93 +104.49 TMO‑Non TMO‑Non TMO‑Non 8.50
SWV487+3 +0.45 +0.39 +0.33 +20.84 +1.52 +0.84 +0.66 +1.77 +12.35 +0.40 TMO‑Non TMO‑Non TMO‑Non 0.52
SWB077+1 +0.30 +0.35 +0.38 +7.36 +6.06 +3.31 +26.99 +52.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 1.49
SWW337+1 +0.92 +0.80 +0.74 +2.14 +8.02 +7.01 +1.37 +2.15 +6.04 +17.89 TMO‑Non TMO‑Non TMO‑Non 5.86
COM008+2 +23.66 +31.97 +19.90 +0.36 +14.82 +0.92 +11.37 TMO‑Non +21.45 TMO‑Non TMO‑Non +24.62 TMO‑Non 0.32
COM138+1 +0.36 +0.31 +0.37 +0.43 +3.41 +0.67 +7.01 +0.83 +0.46 +0.24 TMO‑Non UNK‑Non TMO‑Non 3.27
CSR007+1 +1.45 +1.13 +4.61 +3.63 +29.58 +3.46 +17.04 +8.77 +27.35 +2.02 TMO‑Non +1.61 TMO‑Non TMO‑Non
GEO282+1 +0.43 +0.92 +0.55 +0.76 +6.22 +0.80 +66.06 +31.53 +26.14 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 0.80
COM143+1 +0.38 +0.40 +0.52 +0.46 +2.95 +0.67 +24.12 +0.77 +0.41 +0.26 TMO‑Non UNK‑Non TMO‑Non 4.44
SWV125+1 +0.37 +0.69 +0.64 +0.63 +3.42 +1.94 +72.89 +60.45 +0.73 +42.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM323+1 +0.32 +0.35 +0.35 +7.42 +2.43 +95.59 +0.29 TMO‑Non TMO‑Non +0.35 +64.41 +27.89 TMO‑Non TMO‑Non
LCL903+1 +5.36 +0.80 +0.97 +0.52 +2.10 +0.74 +13.34 +34.38 +54.79 +0.56 TMO‑Non UNK‑Non TMO‑Non 0.95
GRP655+2 +8.29 TMO‑Non TMO‑Non +14.58 +47.99 +29.15 TMO‑Non TMO‑Non TMO‑Non +14.61 TMO‑Non +26.15 TMO‑Non 26.38
GEO340+1 +1.66 +0.42 +0.51 +0.71 +12.71 +58.43 TMO‑Non TMO‑Non +10.75 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 0.67
SWW470+3 +0.48 +0.48 +0.50 TMO‑Non +6.02 +0.87 +26.68 TMO‑Non +28.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.45
GEO526+1 +1.66 +0.35 +0.49 +2.40 +25.30 +1.02 +5.12 +1.83 +35.83 TMO‑Non TMO‑Non +15.22 TMO‑Non 2.18
HAL006+1 +0.90 +0.50 +0.67 +0.60 TMO‑Non +1.81 +0.51 +2.07 TMO‑Non +18.56 TMO‑Non TMO‑Non TMO‑Non 2.94
LCL509+1 +3.32 +2.94 +0.84 +0.71 +2.69 +0.74 +1.16 +7.62 TMO‑Non +25.13 TMO‑Non +3.70 UNK‑Non 0.96
SWV491+3 +0.59 +0.38 +0.38 +4.46 +11.51 +60.62 +25.16 +44.72 +10.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.65
SET686+3 +0.32 +0.37 +0.27 +0.98 +1.68 +0.61 +0.70 +1.91 TMO‑Non +0.25 TMO‑Non +1.62 TMO‑Non 0.26
KLE011+2 +2.20 +0.87 +1.84 +0.54 +5.69 +2.11 TMO‑Non TMO‑Non +17.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.51
SEU227+3 +0.29 +0.55 +0.36 +4.58 +2.33 +0.85 +116.51 +0.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 1.56
SWC002+1 +0.36 +0.29 +0.31 +0.66 +2.30 +66.65 +2.96 +0.99 +0.48 TMO‑Non +90.22 TMO‑Non TMO‑Non 0.31
SWW473+6 +0.76 +1.36 +0.90 +0.85 +2.75 +1.09 +1.19 +2.78 +21.23 TMO‑Non +12.70 UNK‑Non TMO‑Non TMO‑Non
SWW968+1 +0.32 +0.43 +0.36 +0.35 +1.74 +0.69 +0.79 +0.79 +26.41 +0.29 TMO‑Non TMO‑Non TMO‑Non 0.33
NUM925+8 +13.25 +1.48 +8.71 +6.76 +7.57 +13.93 +1.02 +72.43 +16.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 37.76
LCL485+1 +16.47 +1.02 +2.64 +1.28 +10.02 +14.27 +3.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +42.65 UNK‑Non 4.23
SWB047+1 +0.42 +0.35 +0.37 +1.28 +112.43 +19.48 +0.70 +0.85 TMO‑Non TMO‑Non +31.11 TMO‑Non TMO‑Non 1.67
GEO088+1 +0.31 +0.32 +0.34 +0.37 +5.60 TMO‑Non +5.60 TMO‑Non +0.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 59.60
GEO089+1 +0.59 +0.40 +0.29 +0.45 +6.41 +1.33 +5.66 TMO‑Non +0.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 13.83
LCL523+1 +1.58 +0.65 +0.85 +0.48 +3.41 +0.76 +52.61 +0.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 0.57
CSR043+5 +17.53 +14.08 +19.45 TMO‑Non TMO‑Non +9.50 +9.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 8.84
GEO290+1 +1.35 +0.68 +0.92 +2.16 +9.02 +27.27 +28.19 TMO‑Non +76.12 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 1.81
SWW474+5 +0.65 +0.54 +0.55 +1.03 +4.54 TMO‑Non +8.64 +4.04 +26.17 TMO‑Non +1.48 TMO‑Non TMO‑Non TMO‑Non
SET701+4 +0.29 +0.31 +0.31 +2.68 +10.06 +72.29 +11.93 +89.52 +0.55 TMO‑Non TMO‑Non TMO‑Non +2.35 0.38
SWV398+1 +1.42 +1.08 +0.57 +15.92 +13.10 +1.53 +0.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 5.97
SWB032+1 +0.32 +0.39 +0.44 +0.42 +8.29 +3.19 +15.73 +0.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 3.78
GEO283+1 +0.60 +1.51 +0.74 +8.71 +2.41 +30.93 +10.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 0.47
GRP746+1 TMO‑Non TMO‑Non TMO‑Non +32.25 TMO‑Non +12.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +67.02 TMO‑Non 12.68
NUN075+2 +0.43 +0.32 +0.34 +0.37 +6.93 +0.59 TMO‑Non TMO‑Non +22.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.27
CSR062+4 +2.35 +1.39 +1.90 +15.97 +90.26 +25.50 +0.99 +12.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 90.21
GEO545+1 +2.03 +3.62 +9.58 +1.85 +11.29 +2.61 +0.63 +60.04 TMO‑Non +1.46 TMO‑Non TMO‑Non TMO‑Non 1.51
SWV233+1 +0.31 +0.29 +0.26 +0.37 +1.42 +0.59 +2.41 +1.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.38
ITP012+1 +0.55 +0.93 +1.42 +0.39 +24.09 TMO‑Non +0.42 +1.45 +0.53 +21.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL549+1 +1.25 +0.65 +3.20 +0.48 +3.20 +1.09 TMO‑Non +5.10 TMO‑Non +95.10 TMO‑Non +51.51 UNK‑Non 1.65
AGT023+1 +1.52 +1.05 +6.68 +1.06 +30.25 +56.00 +3.78 +5.27 TMO‑Non TMO‑Non +119.79 TMO‑Non TMO‑Non TMO‑Non
LCL896+1 +1.73 TMO‑Non TMO‑Non +2.17 +7.40 +2.15 +18.82 TMO‑Non TMO‑Non +37.45 TMO‑Non UNK‑Non TMO‑Non 5.95
GEO286+1 +0.53 +0.60 +0.88 +6.37 +3.74 +98.80 +11.03 TMO‑Non +8.85 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 0.53
SWB043+1 +0.33 +0.45 +0.38 +1.78 +50.73 +17.23 +109.32 +5.78 +0.81 TMO‑Non +3.48 TMO‑Non TMO‑Non TMO‑Non
LCL495+1 +27.81 +4.64 +7.65 +3.34 TMO‑Non +6.83 +4.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +61.38 UNK‑Non 53.20
GEO465+1 +6.55 +3.40 +6.01 +27.00 +108.28 +28.97 +1.99 TMO‑Non TMO‑Non TMO‑Non +60.46 UNK‑Non TMO‑Non TMO‑Non
SWB056+1 +0.32 +0.33 +0.39 TMO‑Non +1.46 +12.31 +0.72 +0.75 +41.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
AGT012+2 +0.61 +2.35 +0.64 TMO‑Non +65.33 TMO‑Non +1.41 UNK‑Non TMO‑Non TMO‑Non +13.59 TMO‑Non TMO‑Non TMO‑Non
COM137+1 +0.37 +0.34 +0.37 +0.49 TMO‑Non +0.69 TMO‑Non +1.04 +27.09 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWB058+1 +0.31 +0.32 +0.31 +2.75 +56.58 +55.16 +5.16 +0.71 +9.23 TMO‑Non +65.80 TMO‑Non TMO‑Non TMO‑Non
SWV481+1 +0.54 +0.38 +0.48 +23.55 +26.35 TMO‑Non +4.59 TMO‑Non +9.26 +93.65 TMO‑Non +111.54 TMO‑Non 32.16
GEO523+1 +1.72 +3.31 +1.92 +0.39 +35.91 +0.68 +1.52 +2.43 TMO‑Non +4.10 TMO‑Non TMO‑Non TMO‑Non 0.40
SWB025+1 +0.28 +0.35 +0.32 TMO‑Non +2.20 +4.44 +2.25 +0.80 TMO‑Non TMO‑Non +11.89 TMO‑Non TMO‑Non TMO‑Non
GEO497+1 +1.31 +2.76 +0.63 +0.55 +27.08 +0.59 +6.58 +4.25 +1.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 33.62
SEU191+1 +0.57 +1.02 +0.38 +0.43 +3.20 +109.30 +18.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.63
CSR029+4 +3.39 +2.19 +1.96 +16.44 +52.40 +32.61 +1.36 +12.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM317+1 +0.32 +0.31 +0.37 +0.45 +4.90 +11.90 +0.69 +2.75 TMO‑Non +3.29 +5.90 +100.63 TMO‑Non TMO‑Non
SWB014+1 +0.53 +0.33 +0.38 TMO‑Non TMO‑Non +2.32 +0.80 +1.34 TMO‑Non TMO‑Non +16.73 TMO‑Non TMO‑Non TMO‑Non
CSR051+5 +48.21 +26.47 +20.49 TMO‑Non TMO‑Non +9.61 +10.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 15.85
SWB083+1 +0.30 +0.33 +0.30 TMO‑Non +21.18 +8.07 +0.60 +0.87 +98.25 TMO‑Non +34.41 TMO‑Non TMO‑Non TMO‑Non
SCT122+1 +0.40 +0.40 +0.32 +21.65 +67.00 +9.39 +5.58 TMO‑Non +1.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 43.27
SEU332+1 +0.30 +0.38 +0.43 +6.12 +36.59 +4.59 TMO‑Non TMO‑Non +0.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV472+1 +0.38 +0.35 +0.47 TMO‑Non +1.33 UNK‑Non +3.95 +108.81 +2.28 TMO‑Non +77.34 +39.71 TMO‑Non TMO‑Non
ITP021+2 +0.40 +1.31 +0.97 +2.63 TMO‑Non +1.73 TMO‑Non +2.29 +47.26 +7.83 TMO‑Non TMO‑Non TMO‑Non 0.88
AGT022+2 +0.62 +1.88 +0.74 TMO‑Non +25.63 +12.64 +4.18 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO285+1 +0.53 +0.97 +0.60 +0.66 +7.99 +0.63 +10.10 +2.96 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 1.12
SWW374+1 +1.57 +0.98 +0.76 +2.93 TMO‑Non +3.76 +5.38 +33.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 6.62
SWV474+1 +1.09 +0.44 +0.50 +2.89 +1.84 +18.93 +4.93 +3.67 +4.81 +6.31 TMO‑Non TMO‑Non TMO‑Non 0.45
SET938+1 +0.34 +0.42 +0.45 +0.53 +3.44 +0.81 TMO‑Non TMO‑Non +27.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.38
SWV467+1 +0.77 +0.34 +0.43 TMO‑Non +3.07 TMO‑Non +3.66 +57.35 +1.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV470+1 +0.31 +0.32 +0.36 +38.38 +2.23 UNK‑Non +2.47 +3.78 +0.74 TMO‑Non +103.84 +24.11 TMO‑Non TMO‑Non
SET155+4 +0.27 +0.31 +0.38 TMO‑Non +54.53 UNK‑Non TMO‑Non TMO‑Non +0.33 TMO‑Non TMO‑Non TMO‑Non +0.28 2.62
REL030+2 TMO‑Non TMO‑Non TMO‑Non +2.62 TMO‑Non +8.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 21.80
NUM575+3 +4.62 +7.14 +9.47 +0.45 +2.69 +1.30 +6.60 +15.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL541+1 +2.95 +7.32 +4.07 +0.90 +21.60 +0.92 +51.40 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +90.80 UNK‑Non 1.41
REL029+4 TMO‑Non TMO‑Non TMO‑Non +6.14 TMO‑Non +45.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR035+5 +51.10 +26.21 +19.51 TMO‑Non TMO‑Non +9.33 +5.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 8.56
SWW874+1 +0.59 +113.15 +111.49 +0.35 +71.30 +0.59 +17.28 +50.17 TMO‑Non +35.88 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
ITP019+5 +2.33 +3.45 +3.16 +13.40 +92.63 TMO‑Non +20.20 +7.29 TMO‑Non +37.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO306+1 +2.04 +2.35 +2.45 +0.62 +4.73 +11.42 TMO‑Non +2.66 +26.28 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO288+1 +0.72 +0.53 +0.90 +7.47 +3.27 +3.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 20.07
CSR001+1 +1.51 +1.92 +1.99 +8.75 +51.49 +17.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 44.38
CSR050+4 +2.08 +1.50 +1.90 +18.61 +52.23 +21.87 +1.19 +96.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 12.44
SWW958+1 +0.44 +0.83 +0.58 +4.15 +2.21 +5.31 +2.85 +0.84 TMO‑Non +30.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
AGT026+1 +1.26 +0.62 +6.89 TMO‑Non +80.17 TMO‑Non +68.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB079+1 +0.30 +0.35 +0.40 +9.83 +78.57 +8.39 TMO‑Non +1.07 +74.14 TMO‑Non +38.44 TMO‑Non TMO‑Non TMO‑Non
NUM859+1 +0.75 +0.46 +0.68 +8.47 +13.71 UNK‑Non TMO‑Non TMO‑Non +3.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.39
SWB096+1 +0.36 +0.48 +0.49 TMO‑Non TMO‑Non +16.95 TMO‑Non +1.66 +98.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT121+1 +0.67 +0.41 +0.35 +7.95 +85.76 +9.86 +5.61 TMO‑Non +28.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV459+1 +0.29 +0.31 +0.38 +52.55 +1.69 +10.94 +1.09 TMO‑Non +0.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 40.09
GRP720+1 +79.88 TMO‑Non TMO‑Non +84.94 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +3.15 TMO‑Non 55.07
GEO287+1 +1.70 +0.53 +0.76 +4.13 +67.49 +2.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 11.92
SWB044+1 +0.34 +0.32 +0.39 +3.31 +1.99 +47.06 +0.54 +0.82 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ077+1 +1.04 +0.64 +0.52 +75.89 +1.44 +0.82 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWB084+1 +0.40 +1.03 +0.77 +49.40 TMO‑Non TMO‑Non TMO‑Non +1.29 +98.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM123+1 +0.51 +1.17 +0.43 +0.50 TMO‑Non +0.83 TMO‑Non +52.86 +1.69 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
COM136+1 +0.84 +1.19 +0.52 +0.51 +92.28 +0.74 TMO‑Non +59.13 +1.87 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
COM139+1 +1.28 +1.29 +0.32 +0.93 TMO‑Non +0.83 TMO‑Non TMO‑Non +28.49 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWB026+1 +0.33 +0.33 +0.35 +2.74 +3.71 +44.68 +0.99 +0.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE169+1 +0.86 +21.23 TMO‑Non +81.64 TMO‑Non TMO‑Non TMO‑Non +73.58 +2.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE147+2 +4.59 +2.07 +1.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +9.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP779+1 +67.69 +7.86 +9.70 +64.68 TMO‑Non +1.44 +20.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +6.17 TMO‑Non TMO‑Non
ITP019+4 +7.76 +7.67 +3.49 +22.72 +117.84 TMO‑Non +4.97 +11.31 TMO‑Non +20.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW470+6 +0.67 +0.51 +0.54 TMO‑Non +10.77 TMO‑Non +17.07 TMO‑Non +78.67 +0.98 TMO‑Non TMO‑Non TMO‑Non 0.87
GEO511+1 +0.83 +65.38 +60.01 +1.44