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

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

Results for THF (Higher-order Theorems)

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


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

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

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


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

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

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


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

Results for FOF (First-order Theorems)

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