Results for:
THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for THF (Higher-order Theorems)

Higher-order Theorems Isabelle‑HOT
 2012
Isabelle
 2012
Satallax
 2.4
Satallax
 2.1
LEO‑II
 1.4.0
TPS
 3.120601S1b
AGT041^1* 102.72 65.78 0.00 0.00 +0.33 TMO‑Non
SYO374^5 53.75 63.13 0.67 TMO‑Non +1.47 UNK‑Non
AGT037^1* 103.35 103.45 0.01 3.82 +0.36 TMO‑Non
SYO324^5 66.87 66.03 0.33 1.41 TMO‑Non UNK‑Non
AGT039^1* 58.34 57.36 0.00 4.41 +0.36 TMO‑Non
CSR134^1 55.07 72.36 6.00 5.17 +2.49 UNK‑Non
AGT038^1* 103.46 102.17 0.01 0.00 +0.24 TMO‑Non
SEV243^5 66.63 66.53 1.63 7.81 UNK‑Non UNK‑Non
AGT034^1* 104.00 107.88 0.05 0.60 +0.36 TMO‑Non
PUZ031^5 67.17 66.64 9.30 0.99 +0.15 UNK‑Non
AGT040^1* 101.78 100.53 0.00 0.41 +0.31 TMO‑Non
SEV156^5 80.04 81.44 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
AGT035^1* 65.26 65.23 0.05 3.48 +0.21 TMO‑Non
SEV155^5 TMO‑Non 80.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
AGT033^1* 103.86 61.85 0.00 4.42 +0.28 TMO‑Non
SEV148^5 75.53 75.69 26.49 90.24 TMO‑Non TMO‑Non
AGT032^1* 101.02 100.72 1.62 4.43 +0.22 TMO‑Non
SEV152^5 66.52 66.96 TMO‑Non 95.58 TMO‑Non UNK‑Non
DAT056^1* 6.30 4.56 163.33 TMO‑Non +0.02 TMO‑Non
SEV084^5 21.80 20.07 0.94 3.91 +220.62 UNK‑Non
AGT036^1* 67.30 67.47 0.03 4.47 +0.23 TMO‑Non
SEV154^5 67.56 69.00 50.89 66.91 TMO‑Non UNK‑Non
CSR151^2 81.88 82.12 0.11 0.02 +2.75 TMO‑Non
SYO173^5 24.45 21.21 TMO‑Non TMO‑Non +0.00 UNK‑Non
SWV447^1 4.53 5.15 0.22 1.09 UNK‑Non 2.33
SYO560^1 5.15 4.92 0.00 0.01 UNK‑Non UNK‑Non
SEU585^2 22.48 22.13 TMO‑Non 4.71 +0.12 2.53
SYO174^5 68.74 16.80 0.28 7.75 TMO‑Non TMO‑Non
SEU592^2 19.65 20.22 0.00 0.00 UNK‑Non 0.21
SYO287^5 UNK‑Non TMO‑Non 37.13 TMO‑Non TMO‑Non 2.24
SEU571^1 88.85 87.39 0.15 6.89 +35.37 TMO‑Non
SEV244^6 65.00 65.06 5.17 23.10 UNK‑Non UNK‑Non
ALG292^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SEV252^5 64.84 66.54 TMO‑Non 24.65 UNK‑Non UNK‑Non
SYO543^1 66.95 65.22 0.00 0.00 +2.37 UNK‑Non
SEV113^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SEU659^1 68.31 67.98 13.38 37.14 TMO‑Non TMO‑Non
LCL730^5 155.40 TMO‑Non 0.00 1.39 TMO‑Non 29.20
SEU876^5 4.58 5.93 0.11 0.40 UNK‑Non 0.54
CSR130^1 110.34 UNK‑Non 0.00 0.01 +1.64 UNK‑Non
ALG286^5 4.52 4.87 0.42 0.04 +0.01 84.81
CSR131^1 115.02 TMO‑Non 3.06 4.63 +8.62 UNK‑Non
SEV028^5 66.78 66.90 2.61 1.44 +0.28 UNK‑Non
SEU948^5 203.78 TMO‑Non 0.81 TMO‑Non UNK‑Non 47.02
SEU649^2 21.85 20.05 251.52 8.67 +0.03 TMO‑Non
SEV244^5 71.94 70.97 TMO‑Non 261.44 UNK‑Non UNK‑Non
ALG281^5 5.14 6.94 TMO‑Non TMO‑Non +0.00 24.76
LCL741^5 121.65 TMO‑Non 0.00 1.39 TMO‑Non 35.77
SEU995^5 18.54 18.92 0.10 0.59 +0.35 0.26
SEV310^5 80.09 80.03 1.63 7.82 UNK‑Non UNK‑Non
SEU664^2 5.45 7.63 5.59 0.60 +0.02 UNK‑Non
LCL740^5 122.01 TMO‑Non 0.00 1.39 TMO‑Non 38.14
NUM419^1 20.87 20.89 0.11 0.63 TMO‑Non 2.28
LCL728^5 149.94 TMO‑Non 0.00 0.00 TMO‑Non 17.53
SYN999^1 129.14 138.35 0.00 0.01 +0.17 0.20
LCL731^5 165.40 TMO‑Non 0.11 0.58 TMO‑Non 32.49
SYO226^5 110.19 113.04 0.00 0.00 +0.48 0.26
SEU940^5 UNK‑Non TMO‑Non 23.29 16.20 TMO‑Non UNK‑Non
SEU766^1 81.35 81.51 0.47 0.30 TMO‑Non TMO‑Non
GRA028^1 9.08 6.61 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
NUM670^1 19.72 19.52 TMO‑Non TMO‑Non +0.00 27.04
SEU960^5 205.25 TMO‑Non 0.83 TMO‑Non UNK‑Non 86.73
SEU508^2 6.76 7.14 0.00 0.00 TMO‑Non 0.24
SEV312^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 50.50
NUM925^2 83.60 81.98 49.99 44.28 +11.46 TMO‑Non
SYO332^5 168.50 TMO‑Non 4.33 7.42 TMO‑Non UNK‑Non
SEU945^5 20.38 21.04 0.00 0.00 +4.31 0.91
SEV050^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 26.24
SYO541^1 65.03 65.30 0.00 4.40 +2.79 UNK‑Non
SEV400^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 2.27
NUM662^1 5.03 4.99 TMO‑Non TMO‑Non +0.00 3.25
SYO364^5 UNK‑Non TMO‑Non 13.00 90.95 UNK‑Non UNK‑Non
SEU739^1 82.39 82.20 2.10 8.28 TMO‑Non TMO‑Non
LCL734^5 119.61 TMO‑Non 0.00 1.39 TMO‑Non UNK‑Non
SEV128^5 80.39 79.99 TMO‑Non TMO‑Non UNK‑Non 55.33
LCL738^5 44.54 TMO‑Non 0.34 0.00 TMO‑Non UNK‑Non
ALG260^1 82.73 81.12 4.50 22.18 +0.75 TMO‑Non
GRA030^1 167.00 TMO‑Non 0.03 0.03 UNK‑Non TMO‑Non
GEG005^1 88.56 90.24 3.68 147.74 +0.32 UNK‑Non
LCL729^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 19.88
SEV225^5 5.17 5.22 0.00 0.00 +0.00 0.19
SYO514^1 UNK‑Non TMO‑Non 37.15 TMO‑Non UNK‑Non UNK‑Non
SEV006^5 23.45 24.65 0.35 0.01 +0.54 TMO‑Non
SYO309^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 5.08
SEV121^5 109.72 113.43 0.00 0.00 +0.02 0.39
SEV317^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 54.79
SYO010^1 148.79 172.31 0.00 0.01 +0.41 12.61
LCL736^5 118.70 TMO‑Non 0.00 1.40 TMO‑Non TMO‑Non
SYO068^4.005 80.15 80.22 0.01 4.42 +0.06 TMO‑Non
SYO334^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SEU644^1 90.49 92.81 91.58 78.54 TMO‑Non TMO‑Non
SEU939^5 183.01 TMO‑Non TMO‑Non TMO‑Non UNK‑Non 65.82
SEU779^2 26.17 26.36 0.07 0.05 UNK‑Non 15.05
SEV069^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 91.41
SEU666^2 19.61 19.44 0.00 0.00 UNK‑Non 2.29
SEV072^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 74.90
SEV267^5 122.78 124.75 TMO‑Non TMO‑Non +0.19 2.53
SEV305^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 30.96
SEU545^1 88.22 88.95 0.59 7.87 +11.80 TMO‑Non
SEV100^5 142.36 TMO‑Non 5.81 12.72 UNK‑Non TMO‑Non
SEV428^1 65.34 65.07 0.00 0.00 UNK‑Non 7.45
ALG264^1 154.08 151.95 3.15 5.48 +1.24 TMO‑Non
SEU685^2 6.34 4.49 0.00 0.00 UNK‑Non 2.52
NUM636^2 192.89 TMO‑Non 0.22 TMO‑Non UNK‑Non 29.47
SYO227^5 113.44 117.50 0.00 0.03 +0.01 15.32
QUA004^1 4.66 6.37 0.00 0.47 UNK‑Non 10.37
SYO068^4.010 80.25 80.29 1.39 4.45 +0.15 TMO‑Non
GEG011^1 118.81 118.03 3.44 23.05 +0.68 UNK‑Non
SEV434^1 29.50 34.54 0.36 0.01 +0.14 8.95
SEU675^2 47.95 48.50 0.02 0.00 TMO‑Non 15.30
AGT028^2 11.19 11.94 0.00 4.40 +0.22 0.63
PUZ107^5 4.96 5.25 GUP‑Non TMO‑Non +0.04 12.39
SYO271^5 51.50 50.07 0.00 0.00 TMO‑Non 22.99
SEU642^2 33.90 31.51 1.71 7.94 +0.03 TMO‑Non
GEG010^1 259.27 TMO‑Non 0.31 159.80 +0.29 UNK‑Non
SEV223^5 138.69 TMO‑Non 0.02 0.35 TMO‑Non UNK‑Non
SEU671^1 88.25 87.90 0.03 1.85 TMO‑Non TMO‑Non
SEU814^1 89.40 89.52 88.36 112.86 TMO‑Non TMO‑Non
SEU653^2 80.44 81.59 TMO‑Non TMO‑Non +0.07 TMO‑Non
SWW474^1 81.37 82.12 34.28 148.04 UNK‑Non TMO‑Non
NUM696^1 26.39 26.20 TMO‑Non TMO‑Non +0.00 UNK‑Non
SWW478^3 22.41 22.62 0.22 0.11 UNK‑Non UNK‑Non
SWV446^1 22.98 24.01 23.06 18.42 +8.94 UNK‑Non
SWW470^1 81.33 82.31 0.36 0.01 UNK‑Non TMO‑Non
SYO008^1 120.52 137.33 0.00 0.58 +0.26 16.61
ALG274^5 54.03 61.92 TMO‑Non TMO‑Non +0.04 UNK‑Non
SEU816^1 89.08 89.29 2.99 2.09 TMO‑Non TMO‑Non
CSR123^2 80.32 80.35 TMO‑Non TMO‑Non +0.21 TMO‑Non
CSR125^2 69.30 70.19 TMO‑Non TMO‑Non +0.40 TMO‑Non
SEU611^2 53.11 55.52 0.00 0.60 TMO‑Non UNK‑Non
SYO245^5 21.79 22.63 0.61 5.65 TMO‑Non UNK‑Non
SEU670^1 124.75 124.10 21.01 40.65 TMO‑Non TMO‑Non
SEV108^5 62.90 63.31 0.79 0.36 UNK‑Non UNK‑Non
CSR149^2 81.25 80.66 TMO‑Non TMO‑Non +0.20 TMO‑Non
SEU824^2 79.97 79.98 0.00 0.59 UNK‑Non UNK‑Non
SCT171^1 21.61 22.65 0.01 0.61 UNK‑Non TMO‑Non
LCL601^1 211.35 TMO‑Non 0.02 4.44 +0.02 2.51
SEU685^1 169.95 174.30 0.22 38.86 TMO‑Non TMO‑Non
CSR131^2 81.25 80.43 TMO‑Non TMO‑Non 79.82 TMO‑Non
NUM926^1 21.02 21.10 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SEU671^2 65.79 62.73 0.00 0.00 UNK‑Non UNK‑Non
SEU998^5 7.15 7.82 TMO‑Non TMO‑Non +1.27 UNK‑Non
SYO249^5 29.86 30.02 TMO‑Non TMO‑Non +0.58 TMO‑Non
ALG267^1 78.73 76.36 1.50 TMO‑Non TMO‑Non TMO‑Non
SEV158^5 43.54 40.47 0.94 3.91 +5.79 38.91
ALG258^1 170.21 175.29 TMO‑Non TMO‑Non +0.56 TMO‑Non
NUM416^1 4.92 4.86 0.00 0.00 TMO‑Non UNK‑Non
SEU740^1 85.43 85.17 6.87 2.01 TMO‑Non TMO‑Non
NUM925^3 87.82 85.80 85.66 151.43 +58.40 TMO‑Non
NUM686^1 10.16 8.86 TMO‑Non TMO‑Non UNK‑Non 83.99
AGT031^1* 251.37 116.68 2.17 4.49 +0.22 TMO‑Non
SWW473^2 84.09 82.67 TMO‑Non TMO‑Non +95.90 TMO‑Non
NUM727^1 141.74 161.62 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
NUM766^1 34.19 38.03 TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SYO516^1 78.45 TMO‑Non 149.95 TMO‑Non +0.00 UNK‑Non
NUM810^5 188.89 TMO‑Non 1.14 TMO‑Non UNK‑Non 6.68
SWW473^3 84.36 83.69 TMO‑Non TMO‑Non +245.99 TMO‑Non
SYO304^5 145.04 TMO‑Non 0.00 0.00 UNK‑Non 2.62
SWV428^2 86.97 TMO‑Non 18.64 15.26 +2.94 56.95
SEU860^5 164.47 187.22 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
CSR141^2 145.91 153.54 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SEU702^1 91.72 88.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG258^2 142.90 152.58 TMO‑Non TMO‑Non +0.06 UNK‑Non
SEU703^2 20.42 21.17 TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW474^2 83.57 84.91 TMO‑Non 148.72 TMO‑Non TMO‑Non
SEU879^5 181.07 202.87 TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SEU466^1 240.99 TMO‑Non 0.00 0.18 UNK‑Non 14.96
NUM809^5 191.83 TMO‑Non 0.34 14.51 UNK‑Non 2.24
SEV224^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 94.78
NUM637^1 76.41 79.16 GUP‑Non TMO‑Non UNK‑Non UNK‑Non
SEU968^5 218.17 TMO‑Non 1.34 TMO‑Non UNK‑Non 47.28
SEU788^2 65.21 65.17 1.93 8.02 UNK‑Non UNK‑Non
SEV141^5 165.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 109.48
SEU710^1 89.56 89.54 TMO‑Non 126.43 TMO‑Non TMO‑Non
CSR151^3 27.98 25.74 0.51 0.14 +21.23 TMO‑Non
SEU651^1 90.91 89.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MSC007^1.003.004* UNK‑Non TMO‑Non 289.13 TMO‑Non TMO‑Non UNK‑Non
NUM925^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
NUM800^1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 13.46
NUM924^4 TMO‑Non TMO‑Non TMO‑Non 89.40 UNK‑Non UNK‑Non
SET557^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 2.26
SYO222^5 UNK‑Non UNK‑Non 125.73 TMO‑Non TMO‑Non 39.00
CSR119^3 TMO‑Non TMO‑Non 2.68 1.59 +23.58 UNK‑Non
NUM811^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 6.96
SEU872^5 158.30 181.03 TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SEV308^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 52.33
ALG251^3 UNK‑Non TMO‑Non 22.84 TMO‑Non UNK‑Non UNK‑Non
ALG269^2 259.50 TMO‑Non 1.33 TMO‑Non TMO‑Non TMO‑Non
SEU781^1 188.16 196.67 3.40 37.38 TMO‑Non TMO‑Non
CSR153^3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +19.66 UNK‑Non
SEU866^5 167.09 187.27 TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SEV089^5 212.12 TMO‑Non TMO‑Non TMO‑Non +0.02 UNK‑Non
SYO064^4.004 UNK‑Non TMO‑Non 158.36 56.01 UNK‑Non UNK‑Non
NUM636^1 164.80 TMO‑Non 0.35 0.00 UNK‑Non UNK‑Non
QUA005^1 176.25 201.24 TMO‑Non TMO‑Non UNK‑Non UNK‑Non
CSR148^3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +20.50 TMO‑Non
CSR150^3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +19.51 TMO‑Non
PUZ087^1 UNK‑Non TMO‑Non 250.73 TMO‑Non +0.50 TMO‑Non
SEU600^2 242.28 TMO‑Non 7.08 2.03 UNK‑Non UNK‑Non
SYO064^4.003 UNK‑Non TMO‑Non 1.64 20.93 UNK‑Non TMO‑Non
Solved/200 166/200 135/200 132/200 123/200 81/200 66/200
Av. CPU Time 88.44 70.13 16.20 19.57 11.38 25.23
Solutions 0/200 0/200 0/200 0/200 80/200 0/200
μEfficiency 28 26 460 330 304 87
SOTAC 0.28 0.27 0.27 0.25 0.26 0.41
New Solved 12/13 12/13 13/13 11/13 12/13 0/13
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

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

Typed First-order Theorems +*-/ Princess
 120604
SPASS+T
 2.2.14
SPASS+T
 2.2.16
NUM877=1 0.87 +0.23 +0.23
ARI261=1 2.17 +0.24 +0.23
DAT022=1 1.91 +0.24 +0.24
ARI420=1 10.91 +0.23 +0.21
NUM865=1 1.02 +0.24 +0.23
ARI442=1 1.99 +0.22 +0.23
ARI174=1 1.15 +0.23 +0.22
ARI491=1 2.18 +0.22 +0.23
NUM889=1 0.87 +0.22 +0.22
ARI274=1 2.18 +0.23 +0.22
GEG021=1 2.73 +0.18 +0.25
ARI296=1 2.87 +0.14 +0.22
NUM900=1 1.01 +0.23 +0.23
ARI568=1 2.15 +0.22 +0.24
SWW013=1 38.33 +3.76 +3.77
ARI453=1 1.67 +0.15 +0.13
NUM894=1 0.91 +0.23 +0.22
ARI440=1 2.16 +0.24 +0.23
ARI587=1 1.00 +0.25 +0.25
ARI308=1 1.92 +0.22 +0.23
NUM920=1 1.02 +0.24 +0.23
ARI252=1 2.15 +0.23 +0.23
DAT002=1 1.73 +0.24 +0.23
ARI263=1 2.07 +0.24 +0.23
DAT001=1 1.57 +0.24 +0.23
ARI246=1 2.06 +0.23 +0.22
DAT041=1 10.95 +0.25 +0.18
ARI276=1 2.18 +0.22 +0.24
DAT013=1 1.54 +0.24 +0.23
NUM914=1 2.96 +0.16 +0.24
NUM918=1 0.95 +0.23 +0.24
ARI299=1 2.19 +0.23 +0.23
DAT021=1 2.30 +0.26 +0.26
ARI214=1 2.52 +0.23 +0.23
DAT008=1 1.73 +0.23 +0.24
ARI212=1 2.48 +0.23 +0.23
DAT004=1 1.67 +0.25 +0.24
ARI241=1 2.80 +0.24 +0.24
ARI115=1 0.94 +0.24 +0.23
ARI236=1 2.71 +0.21 +0.24
NUM921=1 1.31 +0.24 +0.22
ARI205=1 2.06 +0.22 +0.24
ARI606=1 1.43 +0.23 +0.22
ARI390=1 2.52 +0.16 +0.23
ARI601=1 1.36 +0.23 +0.23
ARI218=1 2.73 +0.21 +0.23
ARI578=1 1.04 +0.34 +0.33
ARI231=1 2.60 +0.24 +0.23
ARI602=1 1.36 +0.23 +0.24
ARI423=1 3.93 +0.14 +0.23
SYO524=1 1.52 +0.24 +0.23
MSC022=2 16.80 +0.14 +0.24
ARI604=1 1.08 +0.22 +0.24
NUM908=1 3.06 +0.17 +0.24
ARI583=1 1.10 +0.24 +0.24
NUM901=1 2.95 +0.17 +0.23
SWW087=1 45.84 +17.62 +16.03
NUM904=1 2.79 +0.23 +0.22
DAT044=1 2.55 +0.26 +0.25
NUM911=1 2.74 +0.20 +0.22
ARI163=1 0.99 +0.23 +0.24
ARI293=1 2.78 +0.21 +0.23
DAT031=1 10.35 +0.24 +0.15
ARI216=1 2.79 +0.16 +0.23
SWW075=1 48.39 +47.79 +50.51
ARI193=1 2.87 +0.14 +0.23
SWW049=1 49.59 +7.97 +8.56
ARI494=1 TMO‑Non +0.22 +0.19
SWW014=1 45.35 +13.02 +8.14
ARI338=1 3.70 +0.17 +0.23
SWW037=1 40.34 +6.94 +7.52
ARI488=1 TMO‑Non +0.32 +0.26
DAT034=1 2.05 +0.22 +0.26
NUM909=1 3.64 +0.21 +0.23
SWV998=1 21.54 +0.80 +0.41
ARI495=1 TMO‑Non +0.21 +0.20
SWW015=1 43.34 +11.13 +12.52
NUM906=1 3.66 +0.24 +0.23
ARI176=1 1.16 +0.22 +0.22
ARI245=1 2.62 +0.20 +0.23
ARI619=1 1.48 +0.23 +0.23
NUM905=1 2.66 +0.17 +0.24
SWW025=1 42.26 +26.86 +34.09
NUM910=1 2.66 +0.15 +0.22
SWW093=1 42.49 +45.44 +56.51
NUM903=1 2.90 +0.16 +0.23
DAT049=1 6.12 +0.28 +0.27
NUM913=1 3.61 +0.17 +0.22
SWW024=1 51.18 +19.48 +19.77
NUM902=1 3.67 +0.21 +0.22
SWW055=1 47.31 +32.00 +34.70
ARI382=1 2.67 +0.17 +0.22
SWW080=1 42.67 +62.53 +65.05
ARI383=1 3.05 +0.14 +0.22
DAT045=1 2.44 +0.26 +0.25
NUM907=1* 4.50 +0.21 +0.23
SWW035=1 46.08 +35.68 +30.99
NUM912=1 2.60 +0.22 +0.23
SWW010=1 42.75 +8.21 +7.45
MSC023=2 TMO‑Non +0.24 +0.13
SWW002=1 20.01 +0.51 +0.67
SWV997=1 2.58 +0.23 +0.27
SWW060=1 49.51 +65.61 +66.75
SWW043=1 49.24 +10.66 +8.52
SWW048=1 43.06 +32.47 +35.17
SWW038=1 49.34 +24.77 +25.32
SWW068=1 43.77 +78.39 +79.37
ARI615=1 1.61 +0.25 +0.25
ARI188=1 1.31 +0.23 +0.23
ARI535=1 1.42 UNK‑Non UNK‑Non
DAT055=1 1.46 +0.23 +0.24
DAT036=1 2.85 +0.28 +0.28
DAT026=1 1.86 +0.24 +0.25
DAT030=1 1.88 +0.27 +0.27
DAT017=1 1.78 +0.25 +0.25
DAT009=1 1.61 +0.25 +0.23
ARI599=1 1.13 +0.23 +0.22
DAT024=1 1.55 +0.15 +0.17
DAT035=1 2.69 +0.19 +0.27
DAT050=1 17.44 +0.18 +0.20
DAT025=1 1.64 +0.31 +0.30
GEG022=1 3.53 +0.17 +0.29
ARI621=1 1.50 +0.26 +0.25
SEV422=1 20.14 +0.67 +0.59
DAT028=1 1.41 +0.23 +0.32
ARI575=1 1.08 +0.26 +0.24
SWW081=1 43.11 +279.84 TMO‑Non
ARI617=1 1.57 +0.26 +0.25
DAT027=1 1.99 +0.26 +0.24
DAT005=1 1.74 +0.26 +0.25
SWW041=1 45.33 +41.80 +42.92
GEG025=1 12.97 +0.21 +0.20
SYO523=1 1.50 +0.25 +0.26
DAT023=1 1.99 +0.30 +0.30
GEG023=1 14.11 +0.18 +0.25
ARI620=1 1.67 +0.23 +0.24
DAT018=1 10.37 +0.17 +0.24
DAT029=1 1.83 +0.28 +0.28
DAT040=1 4.86 +0.27 +0.31
DAT043=1 5.36 +0.22 +0.30
NUM861=1 17.86 TMO‑Non TMO‑Non
NUM860=1 26.02 TMO‑Non TMO‑Non
SEV425=1 UNK‑Non TMO‑Non TMO‑Non
HWV044=1 TMO‑Non TMO‑Non TMO‑Non
SYO522=1 1.48 UNK‑Non UNK‑Non
HWV043=1 TMO‑Non UNK‑Non UNK‑Non
NUM859=1 14.74 TMO‑Non TMO‑Non
HWV050=1 TMO‑Non UNK‑Non UNK‑Non
NUM858=1 39.59 +3.77 +4.28
HWV041=1 TMO‑Non UNK‑Non UNK‑Non
Solved/150 141/150 140/150 139/150
Av. CPU Time 10.22 6.45 4.65
Solutions 0/150 140/150 139/150
μEfficiency 393 797 797
SOTAC 0.36 0.34 0.34
New Solved 1/1 1/1 1/1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FOF (First-order Theorems)

First-order Theorems Vampire
 2.6
E‑MaLeS
 1.1
EP
 1.6pre
Vampire
 0.6
EP
 1.4pre
iProver
 0.99
Prover9
 1109a
iProver‑Eq
 0.8
LEO‑II
 1.4.0
E‑KRHyper
 1.3
E‑Darwin
 1.5
Princess
 120604
SuperZenon
 0.0.1
Zenon
 0.7.1
STP
 1.0
Muscadet
 4.2
HEN005‑2 +0.52 +0.11 +0.01 +0.06 +0.01 +11.05 +0.16 218.78 TMO‑Non 0.03 0.47 TMO‑Non +0.05 TMO‑Non GUP‑Non GUP‑Non
MSC002‑1 +0.00 +0.10 +0.01 +0.00 +0.03 +0.04 +0.16 0.58 TMO‑Non 0.01 0.02 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SET101+1* +0.04 +0.10 +0.03 +0.00 +0.02 +0.80 +0.16 TMO‑Non +0.02 0.86 TMO‑Non 5.02 TMO‑Non GUP‑Non +0.91 UNK‑Non
CSR069+3 +0.16 +0.10 +0.74 +0.14 +1.25 +1.31 TMO‑Non 0.98 +32.57 0.76 0.20 55.03 +0.82 +0.67 GUP‑Non +90.53
CAT006‑1 +0.00 +0.11 +0.00 +0.00 +0.00 +0.23 +0.16 2.33 TMO‑Non 0.10 0.02 3.19 GUP‑Non +5.42 +3.18 GUP‑Non
SYN067‑1 +0.22 +0.10 +0.74 +15.34 +0.74 +0.14 +68.55 0.56 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
NUM925+1 +0.00 +0.07 +0.05 +0.01 +0.03 +1.10 +0.31 0.50 +0.04 0.09 TMO‑Non 5.47 GUP‑Non +9.66 +7.68 +0.40
GEO230+1 +0.79 +0.11 +0.02 +0.00 +0.01 +0.03 +0.26 0.60 +0.04 0.04 0.00 TMO‑Non +0.06 TMO‑Non +1.24 TMO‑Non
HEN007‑6 +0.04 +0.10 +1.21 +0.50 +0.32 +0.83 +0.25 1.11 TMO‑Non 0.02 0.27 TMO‑Non GUP‑Non GUP‑Non +3.38 GUP‑Non
LCL059‑1 +2.92 +0.11 +2.11 +3.27 +2.45 +122.07 +1.28 5.31 TMO‑Non 5.62 0.20 TMO‑Non +0.06 GUP‑Non +0.13 GUP‑Non
SWB027+2 +0.00 +0.07 +0.01 +0.00 +0.00 +0.06 +0.29 TMO‑Non +0.00 0.01 0.00 9.60 GUP‑Non TMO‑Non GUP‑Non TMO‑Non
SWB012+2 +0.22 +0.07 +0.01 +0.00 +0.01 +0.09 +1.63 0.42 +0.02 0.02 0.03 11.35 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
COL120‑1 +0.02 +0.10 +0.13 +0.06 +0.25 +0.15 +5.39 9.36 TMO‑Non 0.14 0.31 27.10 +0.74 +1.19 +19.73 GUP‑Non
PLA001‑1 +0.00 +0.11 +2.13 +0.00 +1.53 +0.30 +0.16 0.57 TMO‑Non 0.72 0.01 TMO‑Non GUP‑Non GUP‑Non +1.76 GUP‑Non
SWB028+2 +1.20 +0.07 +0.29 +0.01 +1.05 +0.34 +0.29 TMO‑Non +0.00 0.14 0.04 2.97 TMO‑Non TMO‑Non GUP‑Non GUP‑Non
COM003+2 +0.00 +0.07 +0.02 +0.00 +0.03 +0.05 +0.16 0.42 +0.01 0.02 4.24 TMO‑Non +0.06 TMO‑Non GUP‑Non GUP‑Non
SET847‑2 +0.48 +0.07 +0.00 +0.00 +0.00 +1.99 +0.14 0.42 +0.06 66.45 TMO‑Non TMO‑Non +46.37 GUP‑Non +6.46 GUP‑Non
SET834‑2 +0.41 +0.10 +0.00 +0.22 +0.00 +2.13 +163.22 0.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +0.33 GUP‑Non
PUZ075+1 +0.01 +0.08 +0.45 +0.00 +1.20 +0.12 UNK‑Non 1.45 +14.23 0.05 3.24 117.63 GUP‑Non +0.02 TMO‑Non +0.11
SWB022+2 +0.39 +0.06 +0.00 +0.00 +0.01 +0.08 +1.16 0.72 +0.02 0.00 0.01 10.43 GUP‑Non GUP‑Non GUP‑Non +0.06
LCL762‑1 +0.00 +0.10 +0.03 +0.01 +0.03 TMO‑Non +0.57 TMO‑Non TMO‑Non 0.08 9.39 19.97 +0.07 GUP‑Non +3.04 GUP‑Non
TOP005‑2 +0.00 +0.10 +0.61 +0.00 +1.77 +0.01 +0.16 0.65 TMO‑Non 0.16 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
REL050+2 +28.46 +20.89 +26.60 +9.76 +0.35 TMO‑Non +2.31 TMO‑Non +0.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO187+1 +0.06 +0.10 +0.26 +0.02 +4.82 +0.03 +0.15 0.42 +0.01 TMO‑Non 0.01 4.64 +0.06 +0.27 GUP‑Non TMO‑Non
MGT039‑2 +4.15 +0.11 +0.50 +10.48 +0.79 +0.19 +0.22 TMO‑Non TMO‑Non 0.10 0.27 TMO‑Non +93.63 +0.74 GUP‑Non GUP‑Non
FLD031‑1 +0.05 +0.10 +0.03 +0.10 +0.02 +0.06 +9.55 2.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non 39.83 +1.60 GUP‑Non
GRP746+1 TMO‑Non +249.07 GUP‑Non TMO‑Non +69.26 TMO‑Non +87.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non +0.28
GEO203+2 +0.02 +0.06 +0.00 +0.11 +3.01 +0.03 +0.25 0.47 +0.00 2.53 0.16 3.32 +0.04 +10.87 GUP‑Non TMO‑Non
SET855‑1 +0.01 +0.10 +0.18 +0.04 +0.23 +0.24 +4.94 2.05 TMO‑Non 4.75 0.23 24.28 +0.11 GUP‑Non +19.22 GUP‑Non
LCL400‑1 +2.25 +2.88 +4.06 +8.68 +5.11 +54.28 +1.01 3.48 TMO‑Non 51.45 1.15 TMO‑Non GUP‑Non GUP‑Non +0.22 GUP‑Non
SET064+1* +0.00 +0.07 +0.01 +0.00 +0.00 +0.03 +0.26 0.63 +0.02 TMO‑Non 0.02 TMO‑Non +0.07 +0.09 +1.15 UNK‑Non
GEO202+1 +0.02 +0.10 +0.23 +2.32 +31.57 +0.02 +0.15 0.64 +5.98 TMO‑Non 0.22 6.10 +0.03 +115.23 GUP‑Non TMO‑Non
SET018‑1 +0.79 +0.10 +0.00 +0.00 +0.00 +279.14 +0.23 TMO‑Non +0.01 0.02 0.04 5.20 +0.03 GUP‑Non GUP‑Non GUP‑Non
SYN694‑1 +0.02 +0.10 +0.05 +0.07 +1.56 +0.07 +1.82 1.25 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non +6.71 GUP‑Non
SET577+3 +0.86 +0.07 +0.26 +0.99 +0.25 +0.10 +0.34 110.09 +0.00 1.62 0.04 41.25 +35.52 TMO‑Non GUP‑Non +0.05
KRS151+1 +1.01 +0.10 +0.07 +0.02 +0.12 +0.09 TMO‑Non 0.63 +0.12 0.73 TMO‑Non 241.35 GUP‑Non +0.13 GUP‑Non TMO‑Non
LCL806‑1 +0.17 +0.11 +0.17 +0.10 +0.18 +0.28 +8.02 201.34 TMO‑Non 139.16 2.59 TMO‑Non +0.07 GUP‑Non GUP‑Non GUP‑Non
SET010‑1 +0.06 +0.10 +0.49 +13.71 +0.31 +0.61 +5.53 1.29 +145.41 TMO‑Non 0.14 17.37 TMO‑Non TMO‑Non GUP‑Non GUP‑Non
GEO117+1 +2.37 +0.06 +0.02 +0.01 +0.01 +0.04 +0.32 1.32 +0.04 0.02 0.00 7.20 TMO‑Non GUP‑Non +8.99 +0.06
GEO181+1 +0.05 +0.10 +0.00 +0.01 +0.03 +0.01 +0.18 0.63 +0.00 42.74 0.01 18.69 +0.06 +0.04 GUP‑Non TMO‑Non
SWV269‑1 +0.03 +0.10 +1.83 +0.05 +0.43 +0.42 +37.95 5.68 TMO‑Non 0.98 3.78 33.86 +1.94 GUP‑Non GUP‑Non GUP‑Non
LCL237‑1 +1.38 +0.10 +0.74 +10.73 +0.92 +13.02 +0.80 2.89 TMO‑Non 1.07 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
AGT014+2 +0.02 +0.11 +0.03 +0.00 +0.04 +0.31 +0.45 9.62 +0.91 0.20 0.13 TMO‑Non +0.34 +0.08 GUP‑Non TMO‑Non
SYN917+1 +0.01 +0.10 +0.20 +8.75 +0.10 +0.08 TMO‑Non 0.43 +0.06 0.11 28.37 4.73 +0.09 0.03 GUP‑Non GUP‑Non
GEO065‑2 +0.48 +0.10 +0.00 +0.01 +0.00 +11.81 +0.29 TMO‑Non TMO‑Non 0.37 0.16 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SYN762‑1 +2.97 +0.10 +1.33 +13.57 +0.29 +4.31 +93.55 1.36 UNK‑Non 0.40 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
GEO146+1 +0.00 +0.10 +0.02 +0.01 +0.11 +0.20 +3.88 1.65 +0.06 0.11 1.46 7.75 GUP‑Non +0.08 +8.80 TMO‑Non
SWV438+1 +0.00 +0.10 +0.03 +0.00 +0.03 +0.09 +0.20 0.62 +0.11 0.02 0.02 TMO‑Non +0.06 +0.04 GUP‑Non TMO‑Non
SWV281‑2 +0.00 +0.11 +0.00 +0.00 +0.01 +0.99 +0.23 TMO‑Non +0.02 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
PLA022‑2 +0.00 +0.10 +0.00 +0.80 +0.00 +2.04 +0.22 0.42 +0.09 89.26 216.96 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV403+1 +0.00 +0.07 +0.00 +0.00 +0.00 TMO‑Non +4.32 TMO‑Non +0.01 1.38 0.55 3.61 +0.06 TMO‑Non GUP‑Non TMO‑Non
CSR030+2 +0.01 +0.06 +0.25 +0.10 +0.23 +0.37 TMO‑Non 0.90 +1.45 0.28 0.62 134.78 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO148‑1 +0.00 +0.11 +0.01 +0.00 +0.02 +0.04 +0.24 TMO‑Non UNK‑Non 0.35 0.10 23.98 +3.98 +1.64 GUP‑Non GUP‑Non
PUZ040‑1 +2.43 +0.10 +0.04 +7.97 +0.03 +1.23 +0.49 19.14 TMO‑Non 0.51 TMO‑Non 80.59 TMO‑Non TMO‑Non GUP‑Non GUP‑Non
SCT171+3 +0.04 +0.06 +1.13 +4.66 +1.67 +0.80 +2.68 1.02 +54.49 TMO‑Non 0.20 30.77 +0.24 +0.13 +20.20 TMO‑Non
GEO190+1 +0.01 +0.06 +0.01 +0.01 +0.04 +0.02 +0.14 0.40 +0.00 TMO‑Non 0.00 17.10 +0.05 +0.02 GUP‑Non TMO‑Non
PUZ063‑1 +0.06 +0.10 +0.11 +0.05 +0.13 +1.20 +60.35 TMO‑Non TMO‑Non 0.87 3.44 31.16 +2.00 GUP‑Non GUP‑Non GUP‑Non
PUZ039‑1 +2.77 +0.10 +0.84 +8.58 +2.36 +0.21 +1.43 2.17 TMO‑Non 1.82 TMO‑Non 25.08 TMO‑Non TMO‑Non GUP‑Non GUP‑Non
GEO118+1 +2.67 +0.06 +0.02 +0.01 +0.02 +0.03 +1.23 0.86 +0.05 0.03 0.01 8.59 TMO‑Non GUP‑Non +9.24 +0.07
SYN512+1 +1.20 +14.87 +15.71 +0.80 +26.71 +0.29 +148.40 0.68 +26.83 TMO‑Non 1.76 TMO‑Non +11.47 +5.87 UNK‑Non TMO‑Non
BOO017‑1 +0.62 +0.11 +0.06 +1.98 +0.07 +26.25 +0.54 TMO‑Non TMO‑Non 2.15 62.87 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL250‑1 +1.95 +5.88 +8.80 +10.26 +18.95 +139.66 +1.33 85.73 TMO‑Non 0.75 276.52 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SCT171+7 +1.61 +0.06 +1.74 +1.58 +1.04 +1.22 +9.36 1.38 TMO‑Non 22.83 0.26 57.76 +0.48 +0.29 GUP‑Non UNK‑Non
SYN445+1 +1.19 +0.07 +2.52 +0.71 +3.28 +0.10 +11.68 0.49 +9.34 TMO‑Non 2.81 TMO‑Non +1.93 +1.64 TMO‑Non TMO‑Non
ANA028‑2 +0.05 +0.07 +1.70 +0.92 +0.08 TMO‑Non +0.23 TMO‑Non TMO‑Non 0.42 9.40 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
ANA003‑4 +0.32 +0.07 +0.00 +0.91 +0.02 +10.94 +33.45 0.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
NUM853+2 +0.00 +0.06 +0.35 +0.04 +0.27 +10.26 UNK‑Non 0.41 +165.05 TMO‑Non 0.02 4.19 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
KRS255+1* +0.00 +0.10 +0.02 +0.46 +0.02 +0.03 +0.25 0.38 +0.02 0.05 0.06 15.94 GUP‑Non +5.53 +0.71 TMO‑Non
BOO013‑1 +0.55 +0.10 +0.05 +0.60 +0.02 +2.59 +0.33 11.38 TMO‑Non 3.30 173.43 TMO‑Non +148.56 TMO‑Non GUP‑Non GUP‑Non
ANA004‑4 +0.08 +0.10 +0.00 +0.55 +0.04 +10.71 +57.28 0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
CSR021+1 +0.06 +0.10 +0.10 +0.15 +0.07 +0.29 +6.05 TMO‑Non +0.04 0.04 0.15 12.08 GUP‑Non TMO‑Non GUP‑Non +0.09
SWB009+3 +3.70 +0.06 +0.19 +0.02 +0.22 +1.52 +11.13 0.74 +0.22 TMO‑Non 0.62 198.56 GUP‑Non GUP‑Non GUP‑Non +12.27
HEN011‑4 +1.00 +0.10 +0.80 +8.99 +1.21 +8.59 +0.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 60.74 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SYN658‑1 +0.00 +23.89 +26.70 +0.06 TMO‑Non +0.41 +0.17 6.53 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
MGT039+2 +6.14 +0.07 +0.68 +0.01 +0.61 +0.13 +0.36 71.61 +0.01 0.15 0.17 TMO‑Non GUP‑Non +2.05 GUP‑Non GUP‑Non
GEO193+2 +0.43 +0.11 +0.02 +0.09 +0.06 +0.02 +0.24 0.46 +0.00 0.00 0.00 3.95 +0.06 +0.62 GUP‑Non TMO‑Non
LCL848‑1 +0.41 +0.10 +0.11 +0.98 +0.13 +0.26 +1.45 81.12 TMO‑Non 0.20 0.90 26.05 +0.12 GUP‑Non GUP‑Non GUP‑Non
SYN612‑1 +0.00 +0.10 +2.59 +0.00 +129.99 +0.08 +0.15 1.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
MGT061+1 +0.00 +0.06 +0.01 +0.39 +0.02 +1.17 +0.18 TMO‑Non +0.01 TMO‑Non 0.05 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO198+2 +0.29 +0.06 +0.04 +0.05 +0.10 +0.04 +0.14 0.80 +0.00 0.01 0.01 4.26 +0.04 +0.09 GUP‑Non TMO‑Non
SWV594‑1 +0.01 +0.06 +0.08 +0.10 +0.10 +11.35 +5.08 TMO‑Non TMO‑Non 0.83 9.50 28.19 +1.27 GUP‑Non GUP‑Non GUP‑Non
LCL875‑1 +0.02 +0.06 +0.00 +0.06 +0.01 +10.26 +3.65 0.95 TMO‑Non 4.77 29.43 TMO‑Non +0.17 GUP‑Non GUP‑Non GUP‑Non
GRP194+1 +0.00 +0.06 +0.00 +0.02 +0.00 TMO‑Non +0.30 0.88 +0.00 TMO‑Non TMO‑Non 2.05 GUP‑Non GUP‑Non GUP‑Non +0.09
CSR057+2 +0.04 +0.06 +0.25 +0.10 +0.22 +0.69 TMO‑Non 0.72 +1.40 2.32 2.22 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
LCL821‑1 +0.58 +0.11 +0.19 +0.14 +0.29 +0.14 +0.32 117.91 TMO‑Non TMO‑Non 0.24 26.66 +0.09 GUP‑Non GUP‑Non GUP‑Non
ANA002‑4 +2.61 +125.14 +220.12 +0.26 +110.20 +0.88 +3.02 40.64 TMO‑Non GUP‑Non TMO‑Non TMO‑Non +0.03 GUP‑Non GUP‑Non GUP‑Non
NLP252+1 +0.05 +0.10 +0.03 +0.25 +0.06 +0.39 GUP‑Non 1.85 +0.16 0.55 0.62 49.66 TMO‑Non +151.09 GUP‑Non GUP‑Non
NLP081+1 +0.02 +0.10 +0.12 +0.01 +0.03 +0.21 TMO‑Non 0.62 +0.14 0.04 0.14 31.53 +0.29 +0.25 GUP‑Non TMO‑Non
BOO012‑1 +0.80 +0.10 +0.02 +0.13 +0.02 +19.82 +0.30 TMO‑Non TMO‑Non 133.62 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL191‑1 +45.24 +180.10 GUP‑Non +14.14 +112.84 TMO‑Non +6.94 TMO‑Non TMO‑Non 1.68 36.08 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non
SET083+1* +0.00 +0.07 +0.02 +0.01 +0.02 TMO‑Non +0.21 TMO‑Non +0.02 0.08 0.05 TMO‑Non TMO‑Non GUP‑Non GUP‑Non UNK‑Non
MED003+1 +0.00 +0.07 +0.13 +0.06 +0.79 +0.02 TMO‑Non 0.70 +0.01 0.11 0.35 5.16 +0.04 +0.03 GUP‑Non TMO‑Non
LCL815‑1 +0.96 +0.06 +5.24 +0.40 +0.34 +5.65 +15.58 TMO‑Non TMO‑Non 1.28 2.15 214.90 +1.57 GUP‑Non GUP‑Non GUP‑Non
SYN711‑1 +0.06 +0.06 +0.49 +0.00 +1.61 +0.34 UNK‑Non 5.62 TMO‑Non TMO‑Non TMO‑Non 111.73 GUP‑Non TMO‑Non GUP‑Non GUP‑Non
NUM841+1 +0.26 +0.08 +0.14 +1.32 +0.51 +0.77 UNK‑Non TMO‑Non +0.01 0.81 0.04 16.63 +0.03 GUP‑Non GUP‑Non +261.04
LCL414+1 +0.00 +0.06 +0.00 +0.00 +0.00 +0.06 +0.13 0.60 +0.00 0.00 0.00 126.05 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL818‑1 +0.56 +0.11 +0.16 +6.37 +0.16 +0.21 +1.31 69.33 TMO‑Non TMO‑Non 0.51 28.57 +0.10 GUP‑Non GUP‑Non GUP‑Non
ANA002‑2 +2.44 59.90 +73.23 +0.09 +175.50 +0.96 +1.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.06 GUP‑Non GUP‑Non GUP‑Non
ALG019+1 +0.00 +0.06 +0.00 +0.02 +0.00 TMO‑Non +0.15 63.78 +0.00 TMO‑Non 98.81 5.22 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
GEO177+1 +0.06 +0.06 +0.12 +0.03 +2.13 +0.01 +0.15 0.62 +0.00 TMO‑Non 0.01 5.27 +0.05 +0.11 GUP‑Non GUP‑Non
LCL834‑1 +4.47 +0.10 +2.50 +12.91 +2.19 +12.71 +0.64 86.00 TMO‑Non 0.18 0.93 39.23 +0.09 GUP‑Non GUP‑Non GUP‑Non
LCL223‑1 +1.88 277.80 GUP‑Non +1.69 TMO‑Non +29.56 +1.53 18.48 TMO‑Non 8.36 17.25 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non
SWW478+7 +0.85 +2.80 +2.73 +1.33 +3.26 +2.63 +7.32 3.26 TMO‑Non 130.36 TMO‑Non 65.45 +1.31 +1.05 GUP‑Non UNK‑Non
KRS147+1 +0.00 +0.06 +0.06 +0.01 +0.03 +0.05 +2.84 0.40 +0.01 37.89 TMO‑Non TMO‑Non +0.06 +0.04 GUP‑Non TMO‑Non
LCL795‑1 +0.02 +0.06 +0.09 +0.00 +0.15 +0.51 +1.33 189.38 TMO‑Non TMO‑Non 2.11 29.28 +0.21 +1.81 GUP‑Non GUP‑Non
SYN802‑1 +229.34 +11.91 +12.48 +163.93 +5.15 +29.98 +145.14 8.72 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
NLP251+1 +0.16 +0.06 +0.03 +0.37 +0.07 +0.27 GUP‑Non 7.26 +0.18 0.62 1.00 48.46 TMO‑Non TMO‑Non GUP‑Non GUP‑Non
CSR062+2 +0.04 +0.06 +0.18 +0.05 +0.23 +0.43 TMO‑Non 0.70 +1.36 2.23 2.11 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
HWV028‑2 +0.00 +0.11 +0.02 +0.41 +0.02 +13.75 +0.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 21.58 +0.04 GUP‑Non GUP‑Non GUP‑Non
COM003‑1 +3.69 +2.86 +3.82 +2.04 +11.72 +0.97 TMO‑Non 0.48 TMO‑Non TMO‑Non 123.73 TMO‑Non GUP‑Non TMO‑Non GUP‑Non GUP‑Non
LCL536+1 +0.00 +0.07 +0.02 +3.41 +0.01 +10.26 +0.19 TMO‑Non +0.03 0.30 1.83 5.33 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
KRS153+1 +0.99 +0.06 +0.06 +0.02 +0.06 +0.23 +9.44 0.73 +0.11 GUP‑Non TMO‑Non TMO‑Non GUP‑Non +0.30 GUP‑Non TMO‑Non
RNG004‑1 +1.00 +0.10 +0.20 +1.48 +0.23 +57.00 +0.95 TMO‑Non TMO‑Non 0.51 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
PLA021‑1 +0.00 +0.10 +0.00 +0.80 +0.00 +11.07 +7.00 0.45 +0.09 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
ALG219+1 +0.02 +0.07 +0.62 +0.25 +0.59 +2.91 +2.58 6.37 +0.25 TMO‑Non 2.56 75.99 GUP‑Non TMO‑Non GUP‑Non TMO‑Non
NLP079+1 +0.01 +0.10 +0.10 +0.02 +0.03 +0.98 TMO‑Non 0.66 +0.14 0.04 0.93 20.76 +1.36 +1.13 GUP‑Non TMO‑Non
SET027‑3 +0.00 +0.10 +0.14 +0.00 +0.08 +2.81 +0.89 TMO‑Non TMO‑Non TMO‑Non 0.65 27.52 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SET012‑1 +0.00 +0.10 +0.04 +5.24 +0.05 +1.00 TMO‑Non 0.62 TMO‑Non TMO‑Non TMO‑Non 2.48 +0.06 TMO‑Non GUP‑Non GUP‑Non
SWV237+1 +0.01 +0.07 +0.03 +2.03 +0.02 TMO‑Non +0.87 TMO‑Non +0.00 TMO‑Non 79.30 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
NLP094+1 +0.00 59.90 +63.67 +0.00 +0.18 +0.03 UNK‑Non 0.42 +171.13 0.01 0.08 7.64 +1.09 +0.71 GUP‑Non TMO‑Non
LCL788‑1 +16.64 +0.11 +0.02 +4.33 +0.02 TMO‑Non +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 20.88 +0.08 GUP‑Non GUP‑Non GUP‑Non
SYN708‑1 +0.00 +11.90 +15.57 +0.13 +1.50 +0.12 TMO‑Non 2.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV455+1 +2.53 +0.06 +0.67 +0.09 +3.89 +15.53 +0.49 TMO‑Non +2.97 0.22 0.43 25.24 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO196+1 +0.05 +0.06 +0.03 +0.15 +1.25 +0.03 +0.15 0.41 +96.03 TMO‑Non 0.00 6.07 +0.03 +2.63 GUP‑Non TMO‑Non
LAT005‑6 +2.19 +0.07 +1.47 +3.51 +1.40 +282.14 +0.56 TMO‑Non TMO‑Non 0.12 1.01 77.66 +0.04 GUP‑Non GUP‑Non GUP‑Non
RNG001‑2 +59.90 +2.92 +5.48 TMO‑Non +5.65 TMO‑Non +38.43 5.79 TMO‑Non TMO‑Non 0.21 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
KLE009+4 +0.01 +0.06 +0.13 +0.01 +28.11 TMO‑Non +0.33 TMO‑Non +0.00 TMO‑Non TMO‑Non 20.91 GUP‑Non GUP‑Non GUP‑Non +4.89
GEO201+3 +0.15 +0.07 +0.12 +0.92 +0.87 +0.06 +0.15 0.41 +2.97 0.79 0.02 18.92 +0.03 +0.06 GUP‑Non TMO‑Non
LCL785‑1 +0.01 +0.06 +1.41 +0.00 +1.46 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 19.75 +0.08 GUP‑Non GUP‑Non GUP‑Non
PLA012‑1 +0.00 +0.06 +0.07 +0.78 +0.04 +11.94 +276.69 0.68 +0.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
GEO305+1 +0.83 +0.11 +0.23 +0.02 +0.50 +5.87 UNK‑Non 13.63 +11.97 TMO‑Non 138.74 43.30 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
KRS257+1* +0.00 +0.06 +0.03 +7.14 +0.03 +0.55 +0.25 0.43 +0.03 0.04 0.08 TMO‑Non GUP‑Non GUP‑Non +0.52 TMO‑Non
GEO006‑1 +1.21 +0.11 +0.04 +0.03 +0.04 +60.00 +1.80 TMO‑Non TMO‑Non 77.99 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
PLA010‑1 +0.01 +0.10 +0.03 +0.83 +0.03 +11.28 +230.70 1.16 +0.09 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
CSR024+1.010 +14.70 +17.87 +20.79 +3.70 +21.26 TMO‑Non +2.25 TMO‑Non TMO‑Non 0.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS196+1* +0.00 +0.06 +1.32 +0.77 +1.44 +0.15 +0.25 0.41 +14.98 TMO‑Non 8.94 4.55 GUP‑Non +2.13 +0.70 +0.10
BOO012‑3 +4.00 +0.10 +0.84 +1.88 +0.89 TMO‑Non +0.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.04 GUP‑Non GUP‑Non GUP‑Non
LCL249‑1 +12.40 +5.88 +8.88 +73.41 +18.53 +139.52 +38.07 86.37 TMO‑Non 94.65 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SET011+3 +117.39 +5.89 +7.72 TMO‑Non +7.59 +0.62 TMO‑Non TMO‑Non +5.98 TMO‑Non TMO‑Non 34.50 +0.28 GUP‑Non GUP‑Non +0.06
KRS256+1* +0.00 +0.07 +0.03 +0.95 +0.03 +0.28 +0.24 0.63 +0.03 TMO‑Non 0.18 16.21 GUP‑Non +22.17 +0.54 TMO‑Non
COL002‑2 +55.20 +0.10 +0.01 +0.01 +0.01 TMO‑Non +0.23 TMO‑Non TMO‑Non 0.29 1.79 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL369‑1 +83.31 +2.92 +5.61 TMO‑Non +7.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 240.14 64.43 TMO‑Non +0.03 GUP‑Non UNK‑Non GUP‑Non
SWW473+5 +1.00 +0.07 +0.12 +0.30 +0.18 +10.31 +43.94 TMO‑Non +14.98 TMO‑Non TMO‑Non 30.63 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
KRS159+1 +1.02 +0.07 +0.17 +0.08 +0.36 +0.26 TMO‑Non 0.66 +0.24 1.03 TMO‑Non 72.37 +2.61 +0.86 GUP‑Non TMO‑Non
GRP040‑3 +0.12 +0.11 +0.03 +1.47 +0.30 TMO‑Non +1.12 TMO‑Non +0.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SYN707‑1 +0.00 +0.11 +0.17 +0.07 +0.09 +0.13 UNK‑Non 2.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV464+1 +0.07 +0.07 +0.15 +0.39 +0.16 +11.56 +0.37 TMO‑Non +0.46 50.81 TMO‑Non 16.66 GUP‑Non GUP‑Non TMO‑Non +0.49
SYN938+1 +0.05 +0.07 +2.22 +8.68 +0.24 +0.16 TMO‑Non 0.57 +0.90 GUP‑Non 13.79 86.01 +0.18 0.04 GUP‑Non TMO‑Non
SWV858‑1 +0.38 +0.10 +0.07 +1.00 +0.07 +0.73 +26.59 122.24 TMO‑Non 6.51 TMO‑Non 63.65 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL373‑1 +6.00 +2.86 +2.67 +12.46 +3.44 TMO‑Non +5.90 TMO‑Non TMO‑Non 297.70 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
GRA002+3 +0.02 +0.07 +0.07 +0.19 +0.31 TMO‑Non TMO‑Non 3.18 +0.04 TMO‑Non 0.30 41.93 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GRP012+5 +0.60 +0.10 +0.52 +0.01 +0.25 +11.40 +0.15 12.54 +0.00 0.01 0.21 TMO‑Non GUP‑Non GUP‑Non GUP‑Non +0.07
SET019‑3 +3.88 +2.85 +5.14 +0.00 +3.66 +0.35 +0.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
COM005‑1 +0.64 +151.48 TMO‑Non +187.74 TMO‑Non +8.99 TMO‑Non 11.27 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non GUP‑Non
NUM858+1 +0.01 +0.07 +0.36 +0.58 +0.27 +2.23 TMO‑Non TMO‑Non +2.98 68.84 0.19 41.38 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR027+2 +0.40 +8.89 +10.78 +0.70 +6.47 +0.38 TMO‑Non 1.01 +5.98 11.88 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWV356‑1 +0.04 +0.11 +0.73 +0.06 +1.25 +0.45 +49.24 19.08 TMO‑Non 223.94 TMO‑Non 37.67 +1.90 GUP‑Non GUP‑Non GUP‑Non
NUM017‑1 +2.81 +5.88 +5.85 +8.74 +5.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
GEO299+1 +2.50 +0.10 +0.45 +0.03 +0.30 +18.40 UNK‑Non TMO‑Non +8.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWV437+1 +0.00 +0.10 +0.03 +0.01 +0.01 +0.23 +0.20 0.66 +0.11 0.03 0.13 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
RNG008‑2 +5.26 +0.10 +2.33 +1.67 +2.44 TMO‑Non +1.44 TMO‑Non TMO‑Non 69.81 TMO‑Non TMO‑Non +0.04 GUP‑Non GUP‑Non GUP‑Non
ANA002‑1 +84.95 TMO‑Non +184.40 +230.80 GUP‑Non +36.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.05 GUP‑Non GUP‑Non GUP‑Non
SWW267+1 +3.40 TMO‑Non GUP‑Non +22.12 GUP‑Non +84.04 TMO‑Non TMO‑Non TMO‑Non 0.82 3.84 119.17 GUP‑Non GUP‑Non GUP‑Non UNK‑Non
CSR033+2 +0.05 +0.07 +0.18 +0.07 +0.25 +0.51 TMO‑Non 0.48 +1.10 2.12 21.85 174.93 +41.41 +39.24 GUP‑Non TMO‑Non
RNG008‑6 +5.90 +0.07 +0.80 +1.60 +0.76 TMO‑Non +2.55 TMO‑Non TMO‑Non 218.18 TMO‑Non TMO‑Non +0.03 GUP‑Non GUP‑Non GUP‑Non
LCL391‑1 TMO‑Non +8.88 +12.67 TMO‑Non +14.04 TMO‑Non +166.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV486+3 +0.27 +0.07 +0.19 +0.07 +28.85 +42.02 TMO‑Non TMO‑Non +21.02 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non 0.06
KRS265+1* +0.00 +0.07 +0.02 +0.75 +0.02 +0.35 +2.87 0.39 +0.02 TMO‑Non 0.04 17.18 GUP‑Non +0.18 +0.52 TMO‑Non
SET041‑3 +1.21 +0.11 +0.04 +22.06 +0.04 +0.42 +2.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 12.14 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL444‑2 +13.13 +285.86 +239.10 +19.72 +26.05 TMO‑Non +8.19 TMO‑Non TMO‑Non 107.44 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWC068+1 +0.06 +0.07 +0.28 +0.01 +0.31 +102.12 +6.95 TMO‑Non +0.21 TMO‑Non TMO‑Non 44.12 +0.69 GUP‑Non GUP‑Non TMO‑Non
KRS195+1* +0.00 +0.06 +1.26 +0.83 +1.29 +0.05 +0.34 0.61 +14.99 TMO‑Non 8.88 4.72 GUP‑Non +1.84 +0.61 +0.11
SET864‑1 +0.00 +0.11 +0.20 +1.02 +0.29 +8.13 +7.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 28.10 +0.51 GUP‑Non GUP‑Non GUP‑Non
ANA002‑3 +55.85 TMO‑Non GUP‑Non +76.63 GUP‑Non +14.99 TMO‑Non 45.87 TMO‑Non GUP‑Non TMO‑Non TMO‑Non +0.05 GUP‑Non GUP‑Non GUP‑Non
CSR051+4 +1.38 +2.81 +3.79 +2.81 +3.75 +6.14 UNK‑Non 3.18 UNK‑Non 6.63 1.74 TMO‑Non +47.19 +38.53 GUP‑Non TMO‑Non
SYN504+1 +1.36 +17.92 +18.37 +1.95 +34.56 +0.15 +113.72 0.52 +33.03 TMO‑Non 2.00 TMO‑Non +7.23 +2.99 TMO‑Non TMO‑Non
LCL855‑1 +16.07 +0.06 +0.75 +1.36 +0.17 TMO‑Non +0.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 17.72 +0.06 GUP‑Non GUP‑Non GUP‑Non
FLD022‑1 +204.98 +8.86 +10.86 TMO‑Non +9.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWB087+1 +0.13 +0.06 +2.87 +0.47 +24.71 +1.54 GUP‑Non UNK‑Non +8.97 1.29 TMO‑Non 238.48 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR051+3 +0.11 +0.10 +0.53 +0.11 +0.62 +1.14 TMO‑Non 0.79 +38.74 0.99 0.21 294.09 +1.66 +1.32 GUP‑Non TMO‑Non
SWV958‑1 +0.60 +2.75 +2.59 +0.06 +0.55 +21.49 +188.23 TMO‑Non TMO‑Non 0.68 4.06 127.70 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
FLD024‑1 +16.81 TMO‑Non GUP‑Non +0.25 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW208+1 +0.08 +2.90 +5.98 +1.81 +58.11 +20.39 +28.74 TMO‑Non +63.01 TMO‑Non TMO‑Non TMO‑Non +0.22 GUP‑Non GUP‑Non TMO‑Non
LCL668+1.001 +0.17 +2.92 +5.36 +0.02 +6.67 +0.02 TMO‑Non 0.40 +2.97 1.30 11.76 TMO‑Non +0.09 GUP‑Non UNK‑Non GUP‑Non
SET820‑1 +0.01 +0.06 +0.27 +0.06 +0.40 +1.60 +8.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.51 GUP‑Non GUP‑Non GUP‑Non
COM006‑1 +2.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +53.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SET103+1* +15.88 +0.07 +0.02 +0.20 +0.02 TMO‑Non +12.54 TMO‑Non +0.02 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
SYN442+1 +24.64 +32.89 +38.06 +0.51 +21.33 +0.28 TMO‑Non 0.56 +30.02 TMO‑Non 5.07 TMO‑Non +4.86 +3.78 TMO‑Non TMO‑Non
SET854‑2 +0.52 58.75 +67.41 +148.40 +49.84 +4.63 +138.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
ANA003‑2 +0.60 +0.06 +0.05 +1.25 +0.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.03 GUP‑Non GUP‑Non GUP‑Non
PRO004+3 +2.77 +5.84 +7.13 +5.41 +0.98 TMO‑Non +28.02 TMO‑Non +5.97 1.11 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWB014+3 +1.28 +0.07 +0.80 TMO‑Non +16.56 +66.02 UNK‑Non TMO‑Non +0.15 0.25 0.51 TMO‑Non GUP‑Non GUP‑Non GUP‑Non +12.25
HEN007‑1 +0.68 +8.79 +9.61 +1.00 +1.09 TMO‑Non +0.33 TMO‑Non TMO‑Non 0.20 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SYN314‑1.002.001 +3.11 TMO‑Non TMO‑Non +61.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SCT147+1 +0.08 +0.07 +0.72 +2.66 +101.47 +2.14 TMO‑Non TMO‑Non +201.09 TMO‑Non TMO‑Non TMO‑Non +0.12 GUP‑Non GUP‑Non TMO‑Non
CSR049+2 +1.49 +0.06 +0.38 +1.58 +0.48 +5.17 TMO‑Non 9.59 +5.98 1.82 18.48 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
BOO008‑1 +29.51 +0.06 +0.67 +9.25 +55.33 TMO‑Non +2.04 TMO‑Non TMO‑Non 193.21 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL253‑1 +82.93 TMO‑Non TMO‑Non +50.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV486+2 +3.72 +0.07 +0.18 +0.06 +25.47 +5.98 TMO‑Non TMO‑Non +20.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non +1.34
COM003+1 +0.00 +47.92 +50.43 +0.02 +1.79 +0.31 TMO‑Non 0.42 +12.00 TMO‑Non TMO‑Non 40.95 GUP‑Non TMO‑Non GUP‑Non GUP‑Non
ROB014‑2 +0.27 +0.07 +0.14 +0.43 +0.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 24.61 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SCT159+1 +1.21 +5.89 +7.28 +4.87 +6.47 +93.00 +67.25 97.09 +11.96 22.49 0.67 TMO‑Non +0.09 GUP‑Non +3.54 TMO‑Non
SYN507+1 +1.43 +26.91 +33.33 +0.96 +39.01 +0.20 TMO‑Non 0.51 +36.00 TMO‑Non 4.50 TMO‑Non +3.96 +3.02 TMO‑Non TMO‑Non
SET821‑1 +0.01 +0.06 +0.26 +0.03 +0.59 +11.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.54 GUP‑Non GUP‑Non GUP‑Non
PUZ133+1 +4.55 +2.84 +4.18 +1.50 +4.52 TMO‑Non +0.67 TMO‑Non +0.00 4.25 0.43 109.99 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SYN469+1 +1.42 +50.87 +53.39 +0.93 +12.84 +0.17 +184.10 0.53 +20.99 TMO‑Non 3.61 TMO‑Non +2.28 +1.50 TMO‑Non TMO‑Non
COL118‑1 +0.01 +0.11 +0.24 +0.16 +0.33 +1.37 +8.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.74 GUP‑Non GUP‑Non GUP‑Non
SWW233+1 +2.33 +2.89 +4.04 +0.33 +10.04 +27.00 +19.35 TMO‑Non TMO‑Non 17.33 TMO‑Non 82.52 +0.30 GUP‑Non GUP‑Non TMO‑Non
CSR036+2 +0.23 +0.07 +0.50 +1.73 +0.62 +5.67 TMO‑Non 8.06 +5.98 1.46 15.83 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GRP039‑7 +0.02 +0.10 +0.00 +0.50 +0.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.99 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
LCL500+1 +6.70 +0.10 +0.29 +3.58 +0.21 TMO‑Non +2.21 TMO‑Non +0.01 TMO‑Non 1.27 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
CSR055+3 +0.28 +0.10 +2.22 +0.26 +2.97 +2.20 TMO‑Non 2.67 +33.59 1.19 2.80 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GRP026‑1 +0.02 +0.11 +0.21 +1.33 +0.58 +24.00 TMO‑Non 3.86 TMO‑Non TMO‑Non TMO‑Non 12.82 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV487+3 +0.27 +0.10 +0.24 +3.28 +42.77 TMO‑Non TMO‑Non TMO‑Non +29.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non 0.07
CSR058+3 +0.10 +0.10 +0.75 +0.33 +1.59 +1.16 TMO‑Non 0.80 +32.52 0.71 0.21 283.57 +1.74 +1.24 GUP‑Non TMO‑Non
HWV022‑2 +2.69 +0.11 +0.15 +0.00 +0.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 117.16 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
PUZ133+2 +0.40 +0.07 +0.96 +0.22 +1.11 TMO‑Non +0.32 TMO‑Non +0.00 10.32 0.48 110.52 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
CSR059+3 +2.21 +0.07 +2.02 +0.33 +3.12 +21.13 TMO‑Non 1.29 +33.65 4.71 11.05 TMO‑Non +1.92 +1.73 GUP‑Non TMO‑Non
SET862‑2 +25.31 +32.87 +37.08 +20.36 TMO‑Non +20.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 61.63 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW262+1 +6.47 TMO‑Non GUP‑Non +8.46 GUP‑Non +1.43 +22.69 TMO‑Non TMO‑Non TMO‑Non 5.87 117.49 GUP‑Non GUP‑Non GUP‑Non UNK‑Non
KRS267+1* +0.01 +0.07 +0.42 +0.66 +0.45 +1.30 +2.21 0.74 +0.04 TMO‑Non 0.08 17.33 GUP‑Non +1.32 +0.53 TMO‑Non
SWV258‑1 +0.05 +0.10 +1.21 +1.64 +1.10 +0.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 7.69 TMO‑Non +1.37 +8.12 GUP‑Non GUP‑Non
SWW314+1 +0.46 +2.88 +5.27 +0.51 +58.45 +3.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +2.17 GUP‑Non GUP‑Non TMO‑Non
KRS202+1* +0.00 +0.11 +0.12 +0.40 +0.19 +0.98 +0.65 0.49 +0.02 TMO‑Non 0.32 TMO‑Non GUP‑Non TMO‑Non +0.71 TMO‑Non
GRP039‑5 +0.00 +0.11 +0.01 +0.52 +0.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.83 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW272+1 +2.92 +0.07 +1.13 +1.18 +9.03 TMO‑Non +8.69 TMO‑Non +25.26 TMO‑Non TMO‑Non 33.22 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR032+3 +0.16 +0.06 +1.22 +0.15 +1.01 +1.28 TMO‑Non 1.51 +38.60 0.75 2.32 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
PUZ056‑1 TMO‑Non +124.29 GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 37.98 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV453+1 +2.56 +11.89 +15.50 +0.28 +12.24 TMO‑Non +81.10 TMO‑Non +11.99 0.85 2.18 41.89 GUP‑Non TMO‑Non GUP‑Non TMO‑Non
LCL674+1.020 +58.24 +123.52 +70.48 +3.05 +46.09 +7.53 +3.40 153.49 +84.01 89.84 TMO‑Non TMO‑Non +1.33 GUP‑Non TMO‑Non TMO‑Non
SWV273‑1 +0.04 +8.89 +10.21 +0.99 +1.14 +1.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.23 GUP‑Non GUP‑Non GUP‑Non
SWW186+1 +6.01 +0.07 +1.32 +3.01 +0.61 TMO‑Non TMO‑Non TMO‑Non +23.96 TMO‑Non TMO‑Non 85.42 +0.17 GUP‑Non GUP‑Non TMO‑Non
SYN457+1 +25.37 TMO‑Non TMO‑Non +3.20 TMO‑Non +0.24 TMO‑Non 0.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +47.40 +30.02 TMO‑Non TMO‑Non
SET860‑2 +0.49 +0.06 +0.00 +0.88 +90.94 +0.41 +4.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 5.16 GUP‑Non TMO‑Non GUP‑Non GUP‑Non
NUM925+3 +0.30 +0.07 +1.13 +0.31 +0.83 TMO‑Non +13.19 5.70 +44.97 TMO‑Non TMO‑Non 257.93 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SYO525+1.018 +68.49 TMO‑Non TMO‑Non +45.64 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non 31.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL144‑1 +0.23 +0.06 +0.11 +0.08 +0.26 TMO‑Non +13.54 TMO‑Non TMO‑Non 1.02 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV451+1 +2.54 +8.90 +12.59 +0.23 +2.76 TMO‑Non TMO‑Non TMO‑Non +8.99 0.68 2.20 34.82 GUP‑Non TMO‑Non GUP‑Non TMO‑Non
KRS188+1* +0.00 +121.85 GUP‑Non +0.91 GUP‑Non +0.17 +26.07 0.94 TMO‑Non TMO‑Non TMO‑Non 5.46 GUP‑Non +0.82 +0.52 +0.15
SWV277‑1 +0.07 +2.90 +3.33 +0.12 +14.01 TMO‑Non +86.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 240.93 +1.60 GUP‑Non GUP‑Non GUP‑Non
HWV043+1 +236.82 UNK‑Non TMO‑Non TMO‑Non TMO‑Non 29.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS189+1* +0.00 +121.83 GUP‑Non +0.90 GUP‑Non +0.15 +25.47 0.64 TMO‑Non TMO‑Non TMO‑Non 5.02 GUP‑Non +7.37 +0.52 +0.11
SCT024‑1 +0.03 +120.86 +146.31 +0.16 +137.91 TMO‑Non +1.50 TMO‑Non TMO‑Non TMO‑Non 39.55 250.61 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SCT149+1 +0.45 TMO‑Non TMO‑Non +1.54 TMO‑Non +0.23 TMO‑Non 0.63 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +0.14 +0.06 GUP‑Non TMO‑Non
KRS258+1* +0.00 +0.10 +0.43 +4.03 +0.45 +0.86 +0.41 1.79 +0.02 0.16 0.25 75.14 GUP‑Non GUP‑Non +0.54 TMO‑Non
COL003‑9 +60.30 +17.88 +20.65 +74.93 +32.57 TMO‑Non +1.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW474+5 +4.52 +2.90 +3.92 +293.33 +3.80 +4.12 TMO‑Non TMO‑Non +11.96 GUP‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
CSR052+3 +0.84 +8.90 +8.01 +11.27 +18.16 +11.55 TMO‑Non 2.87 +36.01 8.60 194.21 TMO‑Non +1.69 +1.54 GUP‑Non TMO‑Non
SET861‑2 +126.97 +0.06 +0.75 +13.99 +7.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non GUP‑Non
GEO298+1 +8.66 +2.89 +3.38 +0.22 +3.55 +11.97 UNK‑Non TMO‑Non +9.48 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR115+47 +0.32 +0.06 +0.18 +0.37 +4.21 +1.63 TMO‑Non 1.39 +55.00 0.64 10.68 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET865‑1 +1.49 TMO‑Non +84.26 +10.31 +91.17 +11.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.51 GUP‑Non GUP‑Non GUP‑Non
SWW473+7 +20.04 +121.79 GUP‑Non +14.77 +4.65 +249.14 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
MED010+1 +1.22 +23.91 +36.62 +0.04 +11.19 +0.05 TMO‑Non 0.60 TMO‑Non TMO‑Non 0.07 TMO‑Non +0.06 +71.80 GUP‑Non TMO‑Non
SWV959‑1 +0.62 +0.06 +0.78 +8.62 TMO‑Non +2.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 25.51 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW271+1 +0.41 +0.06 +0.69 +182.78 GUP‑Non +73.69 +84.73 TMO‑Non TMO‑Non TMO‑Non 26.27 39.93 GUP‑Non GUP‑Non GUP‑Non +0.66
LCL666+1.005 +0.18 +0.07 +1.32 +2.85 +1.25 +0.18 TMO‑Non 0.83 +1.73 TMO‑Non TMO‑Non TMO‑Non +1.70 +0.27 TMO‑Non TMO‑Non
COL123‑1 +1.18 +121.50 TMO‑Non +2.00 TMO‑Non +1.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.50 GUP‑Non GUP‑Non GUP‑Non
SWW386+1 +1.24 +2.88 +5.92 +2.37 +53.80 +3.22 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
SWB020+2 +0.63 +0.06 +0.04 +12.51 +219.64 +38.99 +4.18 TMO‑Non +0.03 TMO‑Non 0.06 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +0.10
GEO089‑1 +1.77 +40.55 +42.74 +4.14 +51.54 +57.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
KLE170+1.004 +81.09 +11.90 +16.68 +114.70 +21.17 TMO‑Non +2.87 TMO‑Non +5.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
MED007+1 +1.24 +156.62 +174.25 +1.33 TMO‑Non +0.03 TMO‑Non 0.54 TMO‑Non TMO‑Non 0.30 TMO‑Non +0.07 +94.36 GUP‑Non TMO‑Non
NUM011‑1 +0.00 +0.10 +0.23 +0.39 +0.13 TMO‑Non +14.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
NUM926+6 +190.84 +0.07 +1.14 +44.83 +1.16 TMO‑Non +1.97 TMO‑Non +5.09 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
SYN723+1 +0.00 +11.91 +14.30 +8.59 +64.37 +0.11 TMO‑Non 0.47 +18.00 GUP‑Non TMO‑Non 31.79 +0.10 0.03 TMO‑Non GUP‑Non
ANA026‑2 +0.21 +213.23 GUP‑Non +9.28 GUP‑Non TMO‑Non +0.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWB023+1 +1.33 +2.89 +3.41 +1.24 +24.39 TMO‑Non TMO‑Non TMO‑Non +6.39 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR063+3 +0.15 +0.06 +2.11 +0.16 +3.40 +1.80 TMO‑Non 2.33 +35.96 205.25 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
COM011‑1 +0.02 +52.70 +57.65 +0.95 +67.34 +108.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.51 GUP‑Non GUP‑Non GUP‑Non
SCT167+1 +4.16 +0.07 +2.95 +0.23 +3.34 +77.14 +4.97 134.66 +28.82 32.72 5.66 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SYN353+1 +0.80 +0.07 +0.00 +0.00 +0.00 +10.08 +1.59 0.42 +0.00 GUP‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non
SWV247‑1 +0.01 +8.89 +10.20 +2.02 +10.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.23 GUP‑Non GUP‑Non GUP‑Non
SCT122+1 +3.00 TMO‑Non +159.61 +27.15 TMO‑Non TMO‑Non +63.78 TMO‑Non TMO‑Non TMO‑Non 164.42 TMO‑Non GUP‑Non +7.35 GUP‑Non TMO‑Non
LCL648+1.005 +0.02 +0.07 +0.56 +4.30 +0.83 +0.24 TMO‑Non 1.10 +1.60 TMO‑Non 18.98 TMO‑Non +1.72 +0.29 TMO‑Non TMO‑Non
SWV245‑1 +0.01 +5.87 +6.39 +1.04 +7.73 +3.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.17 GUP‑Non GUP‑Non GUP‑Non
HWV046+1 +236.32 UNK‑Non TMO‑Non TMO‑Non TMO‑Non 29.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.44 TMO‑Non
CSR115+61 +0.58 +0.06 +0.19 +0.71 +3.34 +2.96 TMO‑Non 2.47 +45.94 2.00 18.83 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET860‑1 +0.94 +0.10 +0.51 +0.92 +0.62 +1.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.11 GUP‑Non GUP‑Non GUP‑Non
SWW230+1 +0.07 +47.73 +50.95 +2.62 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 32.65 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWB012+3 +1.35 +0.07 +1.15 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +0.16 0.30 0.72 TMO‑Non GUP‑Non GUP‑Non GUP‑Non +11.82
SWV328‑1 +0.42 +2.88 +4.12 +0.16 +1.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.86 GUP‑Non GUP‑Non GUP‑Non
GEO281+1 +3.76 +0.06 +0.33 +20.39 +0.28 +14.99 UNK‑Non TMO‑Non +8.37 TMO‑Non TMO‑Non 90.49 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
MED009+1 +1.16 TMO‑Non +211.63 +1.42 TMO‑Non +0.04 TMO‑Non 0.52 TMO‑Non TMO‑Non 0.22 TMO‑Non +0.13 TMO‑Non GUP‑Non TMO‑Non
SWV352‑1 +0.90 +0.09 +1.19 +34.85 +27.66 +173.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.05 GUP‑Non GUP‑Non GUP‑Non
GEO282+1 +2.48 +0.06 +0.56 +0.06 +1.67 TMO‑Non UNK‑Non TMO‑Non +9.30 TMO‑Non TMO‑Non 120.84 TMO‑Non GUP‑Non GUP‑Non TMO‑Non
CSR116+7 +0.45 +0.06 +0.17 +0.08 +4.21 +1.84 TMO‑Non 1.27 +49.14 0.48 10.07 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET858‑1 +16.03 TMO‑Non TMO‑Non +2.49 TMO‑Non +11.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.12 GUP‑Non GUP‑Non GUP‑Non
SCT166+1 +3.85 +5.87 +6.88 +6.49 +9.32 TMO‑Non +4.52 TMO‑Non +26.46 25.98 4.19 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SYN548+1 +0.05 +149.90 TMO‑Non +0.08 GUP‑Non +0.62 TMO‑Non 29.91 TMO‑Non 0.32 0.04 TMO‑Non +0.04 +0.05 GUP‑Non GUP‑Non
SCT020‑1 +70.77 TMO‑Non +223.23 +9.95 +199.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 34.87 TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWB096+1 +1.79 +38.96 +42.62 +7.85 TMO‑Non +23.61 GUP‑Non TMO‑Non +39.02 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR070+3 +0.71 +5.92 +9.94 +0.32 +5.37 +23.95 TMO‑Non 93.55 +36.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET016‑3 +0.00 +0.06 +0.06 +7.02 +0.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
GEO290+1 +3.59 +2.88 +3.57 +0.32 +3.48 TMO‑Non UNK‑Non TMO‑Non +8.97 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWV014+1 +0.00 +0.06 +0.00 +0.00 +0.00 +11.44 UNK‑Non 0.40 +0.02 TMO‑Non TMO‑Non 55.49 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
COL093‑2 +0.79 UNK‑Non GUP‑Non +10.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.31 GUP‑Non GUP‑Non GUP‑Non
SWW298+1 +0.32 +5.84 +5.64 +0.29 +46.96 +3.21 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.93 GUP‑Non GUP‑Non TMO‑Non
CSR115+15 +0.34 +0.07 +0.17 +0.87 +3.78 +3.07 TMO‑Non 2.65 +55.14 1.56 17.88 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET018‑3 +0.03 +0.07 +0.19 +0.00 +0.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 28.85 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
CSR103+4* +0.13 +0.07 +0.89 UNK‑Non +1.18 +2.05 UNK‑Non 4.69 UNK‑Non 2.03 UNK‑Non 181.29 +8.16 +0.69 GUP‑Non +59.50
CSR115+93 +0.49 +0.10 +0.61 +0.77 +3.37 +4.99 TMO‑Non 2.60 +126.99 1.77 17.89 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW445‑1 +0.00 TMO‑Non TMO‑Non +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.25 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW275+1 +5.00 +23.82 +31.27 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 32.03 +0.20 GUP‑Non GUP‑Non TMO‑Non
CSR116+38 +0.48 +0.06 +0.20 +2.95 +3.32 +9.00 TMO‑Non 91.17 +58.15 8.25 115.78 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
LCL313‑3 TMO‑Non TMO‑Non +89.08 +16.60 +95.45 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
SCT164+1 +3.90 +2.91 +4.10 +0.24 +5.46 +78.01 +3.99 74.03 +27.18 37.23 5.29 TMO‑Non +0.10 GUP‑Non GUP‑Non TMO‑Non
CSR038+3 +10.05 +0.06 +2.41 +3.32 +1.90 +48.05 TMO‑Non 6.49 +38.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET037‑3 +11.99 TMO‑Non GUP‑Non +6.99 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW391+1 +1.84 +11.81 +16.06 +1.20 +55.14 +3.10 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR027+3 +10.20 +0.07 +2.23 +6.52 +5.46 +29.92 TMO‑Non 72.58 +36.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET014‑3 +0.80 TMO‑Non GUP‑Non +6.99 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 32.58 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SCT117+1 +0.54 +121.71 TMO‑Non +2.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
KRS261+1* +0.01 +122.00 GUP‑Non +58.63 GUP‑Non +1.34 TMO‑Non 8.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non +0.54 TMO‑Non
SCT059‑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 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW203+1 +6.61 +157.44 GUP‑Non +49.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 57.63 +0.18 GUP‑Non GUP‑Non TMO‑Non
LCL640+1.010 +0.28 +5.87 +5.48 +13.06 +6.36 +38.98 TMO‑Non TMO‑Non +2.98 28.38 TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
LCL831‑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 +0.18 GUP‑Non GUP‑Non GUP‑Non
SWB004+1 +0.09 +121.52 TMO‑Non +0.04 TMO‑Non +21.00 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR116+23 +0.41 +0.07 +0.21 +0.53 +3.60 +15.00 TMO‑Non 139.18 +55.16 8.78 TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
LCL758‑1 TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.13 GUP‑Non GUP‑Non GUP‑Non
GEO089+1 +34.64 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +81.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +223.91 +8.87 TMO‑Non
CSR113+20 +0.32 +0.08 +0.21 +10.24 +3.49 +73.47 TMO‑Non 102.76 +49.14 8.78 177.00 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
ALG419‑1 TMO‑Non +20.84 +22.95 TMO‑Non +25.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 76.58 +0.16 GUP‑Non GUP‑Non GUP‑Non
GEO340+1 +3.96 TMO‑Non TMO‑Non +174.39 TMO‑Non +21.00 UNK‑Non 0.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
KRS251+1* +0.00 TMO‑Non GUP‑Non +19.83 GUP‑Non +0.82 TMO‑Non 11.30 TMO‑Non TMO‑Non TMO‑Non 16.79 GUP‑Non TMO‑Non +0.53 TMO‑Non
LCL797‑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 +0.09 GUP‑Non GUP‑Non GUP‑Non
CSR085+2* +1.88 +0.10 +0.45 UNK‑Non +4.79 +6.69 UNK‑Non TMO‑Non UNK‑Non 10.70 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non +42.11
SYN986+1.004 +12.80 TMO‑Non +120.86 TMO‑Non +116.60 TMO‑Non TMO‑Non TMO‑Non +120.02 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SET857‑1 +26.86 TMO‑Non TMO‑Non +1.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.13 GUP‑Non GUP‑Non GUP‑Non
CSR104+7* +1.48 +0.07 +1.22 UNK‑Non +12.45 +9.24 UNK‑Non TMO‑Non UNK‑Non 227.01 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
LCL650+1.010 +204.86 TMO‑Non TMO‑Non +1.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 3.06 TMO‑Non 174.46 GUP‑Non GUP‑Non TMO‑Non GUP‑Non
LCL747‑1 +138.97 TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non +2.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.10 GUP‑Non GUP‑Non GUP‑Non
CSR098+7* +1.48 +0.06 +1.17 UNK‑Non +12.61 +9.25 UNK‑Non TMO‑Non UNK‑Non 183.67 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
LCL658+1.005 +0.70 TMO‑Non TMO‑Non +13.18 TMO‑Non +54.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 28.58 +0.04 GUP‑Non TMO‑Non TMO‑Non
SWV279‑1 +107.79 +121.95 +116.26 +49.20 +181.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.71 GUP‑Non GUP‑Non GUP‑Non
SCT162+1 +44.13 +5.86 +6.81 +8.83 +9.35 TMO‑Non +3.59 TMO‑Non +22.35 TMO‑Non TMO‑Non TMO‑Non +0.10 GUP‑Non GUP‑Non TMO‑Non
BOO109+1 +0.03 TMO‑Non TMO‑Non +205.94 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 55.98 TMO‑Non +0.03 GUP‑Non GUP‑Non GUP‑Non
SET021‑3 TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non +14.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWW293+1 +1.57 +8.80 +11.44 +16.13 +119.82 +3.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
LCL652+1.015 +25.19 TMO‑Non +236.55 +13.79 TMO‑Non +38.98 TMO‑Non TMO‑Non +264.14 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non GUP‑Non
LCL820‑1 TMO‑Non TMO‑Non +223.32 TMO‑Non +229.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
TOP027+2 +3.07 +122.87 GUP‑Non +52.93 +26.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.63 GUP‑Non +249.96 UNK‑Non
NLP561+1 +23.65 +14.92 +16.92 +24.33 GUP‑Non TMO‑Non TMO‑Non 112.45 UNK‑Non GUP‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
SET028‑3 +11.99 TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
NUM862+1 +0.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +66.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 42.72 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO168+1 TMO‑Non UNK‑Non +261.41 TMO‑Non +49.92 TMO‑Non TMO‑Non TMO‑Non +51.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV807‑1 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non +0.13 GUP‑Non GUP‑Non GUP‑Non
SWW245+1 +19.22 TMO‑Non GUP‑Non +118.30 GUP‑Non +37.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
NLP560+1 +23.67 +11.94 +16.38 +24.72 GUP‑Non TMO‑Non TMO‑Non 117.09 UNK‑Non GUP‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
SWB084+1 +1.81 +41.49 +48.63 +8.55 TMO‑Non TMO‑Non GUP‑Non UNK‑Non +51.03 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWB056+1 +29.96 +5.90 +5.99 +194.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +11.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW185+1 +2.93 +17.86 +20.40 +3.35 +273.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 133.73 GUP‑Non GUP‑Non GUP‑Non +0.63
KLE028+3 TMO‑Non +0.09 +1.54 TMO‑Non +24.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWB075+1 +0.06 +14.92 +18.44 +0.08 +51.84 +3.32 GUP‑Non TMO‑Non +23.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWV492+1 +3.75 +14.91 +16.51 +0.20 +105.27 +41.99 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWV458+1 +2.79 TMO‑Non GUP‑Non +3.28 GUP‑Non +153.02 TMO‑Non TMO‑Non TMO‑Non 0.69 2.11 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWW294+1 +0.49 +11.91 +12.80 +3.75 +6.07 +3.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO286+1 +37.29 +0.10 +0.36 +1.04 +0.29 +14.97 UNK‑Non TMO‑Non +7.79 TMO‑Non TMO‑Non 85.95 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW255+1 +12.09 +11.89 +15.54 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non +26.98 TMO‑Non TMO‑Non TMO‑Non +0.19 GUP‑Non GUP‑Non +1.01
SWW385+1 +1.55 +2.92 +4.86 +5.13 +60.18 +3.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR098+6* +1.38 +0.06 +1.10 UNK‑Non +110.55 TMO‑Non UNK‑Non 12.49 UNK‑Non 214.76 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR101+4* +14.35 +2.92 +4.95 UNK‑Non +4.13 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non +11.53
CSR100+4* +14.35 +5.90 +7.73 UNK‑Non +5.57 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non +11.99
CSR108+7* +1.16 +0.10 +1.12 UNK‑Non +190.42 +9.26 UNK‑Non 269.60 UNK‑Non 183.99 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR089+7* +1.15 +69.32 GUP‑Non UNK‑Non +11.72 +9.27 UNK‑Non TMO‑Non UNK‑Non 213.88 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SET098+1* TMO‑Non +17.90 +20.14 +0.80 +20.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non UNK‑Non
GEO320+1 +2.96 TMO‑Non TMO‑Non +16.69 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW223+1 +33.93 +47.84 +73.87 +125.93 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 130.29 GUP‑Non GUP‑Non GUP‑Non UNK‑Non
SWW339+1 +1.93 +8.79 +12.98 +14.18 +59.05 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
GEO287+1 +115.89 TMO‑Non TMO‑Non +147.17 +0.89 TMO‑Non UNK‑Non 7.46 +55.10 GUP‑Non TMO‑Non 120.65 GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SCT128+1 +0.43 +121.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWB077+1 +0.07 UNK‑Non TMO‑Non +0.05 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR061+4 +109.20 +216.43 TMO‑Non +1.20 TMO‑Non +15.17 UNK‑Non 222.36 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW374+1 +1.03 +8.77 +11.21 +16.94 +49.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO307+1 +3.20 TMO‑Non TMO‑Non +19.59 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
HWV051+2 +241.09 UNK‑Non TMO‑Non TMO‑Non TMO‑Non 23.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non
SWW392+1 +1.84 +2.76 +6.38 +1.13 TMO‑Non +2.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.97 GUP‑Non GUP‑Non TMO‑Non
KLE170+1.006 TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non +3.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non GUP‑Non
SWV091+1 +19.70 +121.23 GUP‑Non +2.50 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.06 GUP‑Non GUP‑Non TMO‑Non
HWV040+2 +225.98 UNK‑Non TMO‑Non TMO‑Non TMO‑Non 23.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.10 TMO‑Non
SWB071+1 +0.38 +5.85 +5.81 +0.74 +192.08 TMO‑Non GUP‑Non TMO‑Non +8.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
NUM308+1 +11.14 UNK‑Non TMO‑Non +19.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
CSR085+7* +4.20 +72.10 GUP‑Non UNK‑Non +159.87 +15.52 UNK‑Non TMO‑Non UNK‑Non 217.74 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR109+1* +14.56 +5.86 +7.45 UNK‑Non +10.03 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR094+4* +26.54 +5.90 +6.52 UNK‑Non +13.59 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR096+1* +16.81 +11.84 +14.92 UNK‑Non +7.90 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR118+2* +15.41 +0.07 +0.52 UNK‑Non +16.34 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR079+2* +96.58 +153.28 TMO‑Non UNK‑Non +195.26 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR105+7* +3.18 +0.07 +1.28 UNK‑Non +13.15 +12.27 UNK‑Non TMO‑Non UNK‑Non 168.04 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR088+7* +2.36 +171.37 TMO‑Non UNK‑Non +11.31 +9.28 UNK‑Non TMO‑Non UNK‑Non 249.16 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR099+5* +21.54 +0.07 +1.04 UNK‑Non +3.01 +129.76 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR094+2* +15.34 +0.08 +0.75 UNK‑Non +18.86 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR099+2* +17.97 +0.07 +0.53 UNK‑Non +5.69 +133.08 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR090+5* +36.28 +154.19 +90.21 UNK‑Non +101.09 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR118+4* +14.34 +5.83 +8.25 UNK‑Non +10.29 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR118+1* +14.52 +2.89 +4.28 UNK‑Non +4.95 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR099+4* +31.81 +0.07 +2.68 UNK‑Non +1.11 +4.28 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR099+3* +17.96 +0.10 +2.20 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR084+1* +15.54 TMO‑Non TMO‑Non UNK‑Non +39.44 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR106+7* +4.23 +186.20 TMO‑Non UNK‑Non +14.67 +12.30 UNK‑Non TMO‑Non UNK‑Non 165.48 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR099+1* +14.63 +0.06 +1.91 UNK‑Non +2.11 +9.06 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO090+1 +31.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +9.45 TMO‑Non
GEO333+1 +0.10 TMO‑Non TMO‑Non +28.59 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO319+1 +61.49 +5.83 +6.56 TMO‑Non +19.55 TMO‑Non UNK‑Non TMO‑Non +17.97 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SEU444+3 +2.76 +0.08 +1.50 +13.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non UNK‑Non
SEU228+3 +278.08 TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non
SWB106+1 +3.03 UNK‑Non TMO‑Non +1.07 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWB062+1 +1.77 UNK‑Non TMO‑Non +3.00 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW349+1 +1.18 +8.87 +12.40 +16.48 +53.64 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
GEO273+1 +0.81 UNK‑Non TMO‑Non +0.33 +0.35 TMO‑Non UNK‑Non TMO‑Non +13.03 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWB069+1 +1.84 +121.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW319+1 +1.34 +5.82 +7.17 +17.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SCT157+1 +0.41 +121.73 TMO‑Non +25.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SCT143+1 +32.64 TMO‑Non TMO‑Non +13.58 TMO‑Non TMO‑Non +2.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SCT136+1 +32.48 +152.08 TMO‑Non +13.51 TMO‑Non TMO‑Non +1.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR075+6* +70.89 UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR079+6* TMO‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR107+7* +2.70 +0.09 +1.34 UNK‑Non TMO‑Non +9.29 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR109+7* +9.53 +0.07 +1.29 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR079+7* +8.77 UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR100+6* +15.70 +0.06 +1.27 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR109+3* +18.05 +0.06 +2.91 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR096+7* TMO‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR096+2* +17.76 +0.07 +0.48 UNK‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR101+6* +1.49 +0.06 +1.14 UNK‑Non TMO‑Non +288.47 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR109+5* +14.85 +2.89 +2.86 UNK‑Non +77.42 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR084+3* TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR075+5* +14.73 +11.91 +16.57 UNK‑Non +16.91 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR118+3* +17.11 +0.09 +1.85 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR108+5* +73.20 +2.89 +2.58 UNK‑Non +217.65 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR084+7* +16.33 +0.07 +1.36 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR103+7* +2.44 +51.26 GUP‑Non UNK‑Non +161.34 +12.27 UNK‑Non TMO‑Non UNK‑Non 209.79 UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR094+3* +17.27 +0.06 +1.95 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR118+5* +75.61 +2.91 +3.86 UNK‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR101+3* +1.94 +0.07 +1.80 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR091+1* +14.63 TMO‑Non TMO‑Non UNK‑Non +57.96 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR100+7* +8.79 UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
GEO303+1 +1.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW320+1 +1.85 +14.80 +22.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SCT154+1 +0.44 +121.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW393+1 +1.36 +32.83 +38.82 +15.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
SWW324+1 +1.70 +5.79 +5.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.14 GUP‑Non GUP‑Non TMO‑Non
SET738+4 TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +22.09 +0.43
SWW308+1 +1.82 +2.85 +5.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SWW098+1 TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
SCT151+1 +4.74 TMO‑Non TMO‑Non +27.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non
CSR054+6 +96.85 TMO‑Non +82.94 +64.84 TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWW327+1 +1.02 59.86 +69.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non GUP‑Non UNK‑Non
SWW361+1 +1.99 +8.89 +10.82 +25.32 +65.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.10 GUP‑Non GUP‑Non TMO‑Non
Solved/450 429/450 377/450 359/450 355/450 333/450 274/450 186/450 174/450 171/450 159/450 156/450 140/450 137/450 70/450 40/450 34/450
Av. CPU Time 13.17 17.85 13.46 11.81 18.98 17.76 17.70 21.11 19.11 31.86 16.11 55.47 4.15 13.29 10.70 15.43
Solutions 429/450 372/450 359/450 355/450 333/450 270/450 186/450 0/450 171/450 0/450 0/450 0/450 137/450 66/450 40/450 32/450
μEfficiency 614 562 509 516 428 326 238 238 197 217 220 22 251 102 53 54
SOTAC 0.18 0.14 0.14 0.14 0.13 0.13 0.11 0.10 0.11 0.11 0.10 0.11 0.14 0.09 0.13 0.12
New Solved 64/68 59/68 50/68 18/68 46/68 32/68 15/68 17/68 13/68 17/68 11/68 12/68 2/68 10/68 15/68 8/68
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ CNE CEQ FNN FNQ SNE SEQ EPT EPS ISA MZR SMO

Results for FNT (First-order Non-theorems)

First-order Non-theorems Paradox
 3.0
Vampire‑SAT
 2.6
FIMO
 0.3
iProver‑SAT
 0.99
Nitrox
 2012
CVC4
 0.0
EP‑SAT
 1.6pre
E‑KRHyper
 1.3
E‑Darwin
 1.5
iProver‑Eq
 0.8
NLP032+1 +0.14 +0.03 +10.09 +0.07 +10.74 TMO‑Non +1.49 TMO‑Non TMO‑Non 0.60
NLP250+1 +0.19 +0.09 GUP‑Non TMO‑Non TMO‑Non 74.79 +0.18 0.47 +0.49 TMO‑Non
NLP181‑1 +0.22 +12.80 +36.29 +64.60 TMO‑Non TMO‑Non +0.37 TMO‑Non +1.76 8.24
NLP161‑1 +0.11 +0.00 +0.92 +0.25 +16.72 7.55 TMO‑Non GUP‑Non +0.03 4.54
GEO214+3 +0.04 +6.66 +0.25 +60.28 +9.71 0.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO013+2 +0.11 +0.62 +0.46 +67.20 +13.62 53.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP186‑1 +0.21 +34.58 +36.14 +64.53 TMO‑Non TMO‑Non +0.87 TMO‑Non +1.62 TMO‑Non
SYN793‑1 +0.04 +0.50 +0.33 +0.00 +11.85 0.01 TMO‑Non TMO‑Non +0.17 50.56
GEO224+2 +0.02 +6.66 +0.22 +60.46 +7.10 0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL576+1 +0.10 +25.47 +0.43 +62.45 +7.98 4.43 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LAT058‑1 +0.00 +4.02 +0.16 +0.01 +6.06 0.01 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
SYN746‑1 +0.05 +0.52 +0.34 +0.01 +11.69 0.04 TMO‑Non TMO‑Non +0.56 11.73
MED004+1 +0.02 +0.00 +0.35 +0.02 +11.15 0.03 TMO‑Non GUP‑Non TMO‑Non 69.38
NLP211+1 +0.18 +0.93 +1.92 +64.14 TMO‑Non TMO‑Non +1.98 0.28 +0.26 4.83
NLP093‑1 UNK‑Non +16.07 TMO‑Non +235.34 TMO‑Non TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non
PUZ048‑1 +1.04 +2.49 TMO‑Non TMO‑Non +41.48 57.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO211+3 +0.02 +6.76 +0.26 +60.36 +10.25 0.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP218+1 +0.13 +0.65 +2.02 +64.44 TMO‑Non TMO‑Non +0.37 0.26 +0.41 3.10
NLP189‑1 +0.13 +13.17 +35.30 +62.62 TMO‑Non TMO‑Non +0.42 TMO‑Non +1.80 12.23
SYN754‑1 +0.07 +0.51 +0.48 +0.01 +11.61 0.01 TMO‑Non TMO‑Non +0.16 3.01
PLA026+1 +0.07 +3.50 +0.61 +0.88 +18.41 7.52 TMO‑Non 0.07 +36.95 2.80
NLP214+1 +0.21 +0.92 +2.77 +63.79 TMO‑Non TMO‑Non +0.49 0.43 +0.43 4.32
GRP398‑3 +0.00 +0.39 +0.18 +0.00 +5.37 0.01 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
TOP012‑1 +0.19 +0.53 +1.24 +73.19 +13.46 7.79 TMO‑Non TMO‑Non TMO‑Non 0.95
NLP169+1 +0.18 +32.78 +14.19 +1.25 +15.77 TMO‑Non +11.00 0.20 +1.48 2.19
NLP216+1 +0.21 +0.58 +2.07 +64.55 TMO‑Non TMO‑Non +0.75 0.49 +0.27 4.23
ANA006‑1 +0.00 +0.40 +0.14 +0.00 +7.46 0.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN903‑1 +0.61 +0.50 +2.12 +61.68 +20.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP190+1 +0.23 +5.64 +219.42 +28.59 +14.82 TMO‑Non +3.53 0.26 +0.57 3.15
NLP072+1 TMO‑Non +22.18 +1.31 +30.26 +142.85 TMO‑Non +0.02 13.63 TMO‑Non TMO‑Non
ROB029‑1 +0.00 +0.43 +0.13 +0.01 +7.11 0.00 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN776‑1 +0.05 +0.50 +0.31 +0.01 +11.43 0.01 TMO‑Non TMO‑Non +0.24 TMO‑Non
NLP232+1 +0.11 +33.10 +144.85 +0.34 +17.66 TMO‑Non +0.08 0.23 TMO‑Non 0.88
NUM441+1 +0.12 +0.98 +1.05 +80.32 +14.05 23.49 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HEN013‑2 +0.00 +0.40 +0.18 +0.01 +6.20 0.01 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
TOP015‑1 +0.12 +0.57 +1.18 +0.03 +13.22 15.33 TMO‑Non TMO‑Non TMO‑Non 8.97
NLP237+1 +0.16 +18.03 +147.59 +2.68 +14.62 1.08 +0.21 0.28 +0.49 2.78
NUM445+1 +0.07 +0.39 +0.71 +0.05 +12.77 0.03 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL412‑1 +0.00 +0.38 +0.20 +0.01 +5.00 0.02 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN766‑1 +0.05 +0.01 +0.59 +0.01 +14.06 0.02 TMO‑Non TMO‑Non +0.49 0.60
GEO230+3 +0.04 +8.86 +0.47 +60.14 +8.99 0.07 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NUM446+1 +0.15 +0.46 +0.95 +0.35 +13.38 0.03 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HEN013‑1 +0.00 +0.39 +0.13 +0.00 +12.14 0.00 GUP‑Non TMO‑Non TMO‑Non 0.92
SYN329‑1 +0.01 +0.00 +0.11 +0.01 +5.85 5.29 +0.00 0.00 +0.00 0.38
PLA024+1 +0.05 +0.55 +0.29 +0.34 +12.19 0.84 TMO‑Non 0.03 +2.28 1.27
NLP219+1 +0.13 +0.63 +1.88 +64.81 TMO‑Non TMO‑Non +1.02 0.31 +0.25 3.43
LAT057‑1 +0.00 +0.39 +0.17 +0.01 +5.06 0.01 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN779‑1 +0.03 +0.50 +0.44 +60.14 +13.86 0.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP167+1 +0.12 +0.36 +8.36 +2.96 +17.47 TMO‑Non +0.89 0.11 +7.88 2.71
LCL577+1 +0.16 +230.77 +0.66 +63.00 +6.02 82.35 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
RNG042‑1 +0.02 +0.39 +0.25 +0.01 +11.18 0.02 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
TOP006‑1 +0.18 +0.52 +0.78 +72.25 +16.62 14.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO229+3 +0.06 +8.45 +0.47 +60.29 +9.04 0.06 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NLP078+1 TMO‑Non +2.24 +1.81 +30.34 +181.14 TMO‑Non +0.01 11.93 TMO‑Non TMO‑Non
HEN013‑3 +0.00 +0.59 +0.11 +0.01 +7.00 0.01 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NLP026‑1 +0.06 +0.04 +0.37 +0.13 +11.76 0.07 TMO‑Non TMO‑Non +0.01 0.41
SYN429+1 +0.54 +0.25 +7.84 +0.25 +17.72 TMO‑Non TMO‑Non GUP‑Non +0.46 23.14
NLP210+1 +0.22 +0.93 +2.19 +64.10 TMO‑Non TMO‑Non +0.62 0.33 +0.29 5.27
CAT001‑2 +0.03 +0.08 +0.34 +67.31 +8.22 2.40 +0.08 16.74 TMO‑Non TMO‑Non
TOP008‑1 +0.12 +0.54 +0.74 +40.82 +13.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN437+1 +0.19 +0.05 +0.60 +0.27 +12.32 4.87 TMO‑Non TMO‑Non +1.37 0.74
MGT038+2 +0.03 +0.40 +0.39 +61.05 +5.85 0.05 TMO‑Non TMO‑Non +25.44 TMO‑Non
LAT052‑1 +0.60 GUP‑Non +17.42 TMO‑Non +19.58 230.84 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN805‑1 +0.04 +0.50 +0.34 +0.00 +12.06 0.01 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV012+1 +0.02 +0.00 +0.40 +0.01 +8.95 0.02 TMO‑Non TMO‑Non TMO‑Non 0.81
NLP215+1 +0.14 +0.54 +2.94 +64.45 TMO‑Non TMO‑Non +0.80 0.41 +0.27 3.92
RNG025‑8 +0.03 GUP‑Non +0.25 +78.94 +8.22 0.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
TOP003‑1 +0.18 +0.50 +0.82 +67.31 +13.20 6.74 TMO‑Non TMO‑Non TMO‑Non 0.66
KRS176+1 +0.10 +0.10 +0.53 +0.04 +7.46 3.18 +0.03 TMO‑Non +0.02 0.40
NLP212+1 +0.13 +0.91 +1.93 +64.88 TMO‑Non TMO‑Non +1.22 0.30 +0.27 4.14
LAT046‑1 +0.09 GUP‑Non +1.30 TMO‑Non +8.47 91.28 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN747‑1 +0.05 +2.69 +0.62 +60.55 +12.94 0.79 TMO‑Non TMO‑Non TMO‑Non 46.65
SWB034+1 +3.31 UNK‑Non +65.70 TMO‑Non +28.03 TMO‑Non +5.65 TMO‑Non TMO‑Non TMO‑Non
NLP073+1 TMO‑Non +32.91 +1.29 +30.46 +106.29 7.47 +0.02 13.76 TMO‑Non TMO‑Non
LAT127‑1 +1.39 GUP‑Non +16.46 TMO‑Non +76.14 131.65 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN778‑1 +0.03 +0.50 +0.42 +0.01 +13.23 0.01 TMO‑Non TMO‑Non +0.39 TMO‑Non
SYN542+1 +0.15 +0.23 +0.93 +1.10 +12.90 187.87 TMO‑Non 4.38 +0.31 5.22
NLP253+1 +0.11 +0.86 GUP‑Non TMO‑Non TMO‑Non 69.43 +0.19 0.31 +0.32 72.86
LAT050‑1 +1.77 GUP‑Non +9.82 TMO‑Non +17.62 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
TOP019‑1 +0.12 +0.67 +0.74 +68.10 +13.46 4.52 TMO‑Non TMO‑Non TMO‑Non 8.83
GRA026+1 UNK‑Non +20.98 TMO‑Non +10.90 TMO‑Non 49.30 TMO‑Non 5.65 TMO‑Non 36.21
COM014+1 +0.03 +0.40 +0.42 +61.62 +10.72 1.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT134‑1 +2.53 GUP‑Non +52.96 TMO‑Non +153.59 180.64 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN795‑1 +0.07 +0.00 +0.32 +0.02 +13.71 0.02 GUP‑Non TMO‑Non +0.03 TMO‑Non
GRA025+1 +7.51 +11.11 TMO‑Non +1.90 TMO‑Non 10.64 TMO‑Non 0.91 TMO‑Non 2.79
PRO013+4 +0.13 +0.42 +0.68 +64.98 +15.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT133‑1 +1.54 GUP‑Non +18.62 TMO‑Non +253.81 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
TOP002‑1 +0.11 +0.50 +0.75 +40.81 +16.36 7.00 TMO‑Non TMO‑Non TMO‑Non 0.52
GEO260+3 +0.08 TMO‑Non +0.34 +61.32 +10.87 0.51 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM445+5 +0.11 +0.43 +0.71 +63.59 +13.76 0.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT049‑1 +0.26 GUP‑Non +2.54 TMO‑Non +10.74 10.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP162‑1 +0.06 +2.97 +0.57 +0.25 +16.81 19.03 TMO‑Non GUP‑Non +0.03 0.53
MSC013+1 TMO‑Non +13.77 TMO‑Non +0.01 TMO‑Non TMO‑Non +0.00 0.01 +0.09 0.42
NLP217+1 +0.13 +0.53 +2.28 +64.17 TMO‑Non TMO‑Non +0.28 0.28 +0.28 3.86
LCL136‑1 +0.02 GUP‑Non +0.17 +64.04 +6.43 0.06 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NLP030‑1 +0.04 +0.05 +0.37 +0.02 +11.58 0.02 TMO‑Non TMO‑Non +0.02 0.41
MSC016+1 +5.98 +11.67 +144.74 +2.97 TMO‑Non TMO‑Non +0.03 TMO‑Non TMO‑Non 1.63
NLP213+1 +0.13 +0.69 +2.66 +64.58 TMO‑Non TMO‑Non +1.51 0.45 +0.42 3.00
NLP216‑1 +0.21 +13.06 +9.86 +67.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.40 TMO‑Non
SYN803‑1 +0.03 +0.50 +0.45 +0.01 +13.00 0.02 GUP‑Non TMO‑Non +0.04 47.32
GRA018+1 +0.26 +12.80 +3.52 +40.61 +105.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 84.57
LAT383+1 +0.04 +0.40 +0.47 +62.30 +7.09 0.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW415‑1 +0.02 +13.36 GUP‑Non +66.61 +9.18 2.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
TOP005‑1 +0.25 +0.60 +2.02 +97.03 +17.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL637+1.005 TMO‑Non +12.84 TMO‑Non +28.73 TMO‑Non TMO‑Non +0.99 21.60 TMO‑Non 294.86
NLP069+1 TMO‑Non +35.64 +1.72 +30.46 +96.10 TMO‑Non +0.02 11.88 TMO‑Non TMO‑Non
CAT019‑4 +0.00 +0.39 +0.15 +61.30 +5.15 0.00 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN761‑1 +0.07 +3.82 +0.65 +60.56 +15.61 0.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS177+1* TMO‑Non UNK‑Non TMO‑Non +84.31 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
PRO013+3 +0.15 +0.42 +0.71 +68.45 +13.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP210‑1 +0.22 +17.38 +9.39 +68.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.33 TMO‑Non
TOP009‑1 +0.29 +0.80 +1.99 +181.60 +18.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB030+3 +2.33 TMO‑Non +69.78 TMO‑Non +28.40 TMO‑Non +5.27 TMO‑Non TMO‑Non TMO‑Non
NUM448+1 +0.15 +0.43 +0.61 +0.53 +12.28 0.06 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GEO162‑1 +0.05 +5.21 +0.55 +65.39 +14.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN765‑1 +0.10 +0.51 +0.38 +0.02 +11.61 0.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB019+3 +3.40 TMO‑Non +66.62 TMO‑Non +26.98 TMO‑Non +6.06 TMO‑Non TMO‑Non TMO‑Non
PRO013+1 +0.12 +0.56 +0.79 +71.63 +16.16 98.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ072‑1 +1.51 +8.97 GUP‑Non 39.03 +27.82 15.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV018‑1 +0.08 +0.01 +0.60 +2.98 +12.04 0.69 +0.03 TMO‑Non TMO‑Non 0.91
SWB004+3 +3.00 UNK‑Non +68.18 TMO‑Non +23.54 TMO‑Non +5.51 TMO‑Non TMO‑Non TMO‑Non
NLP076+1 TMO‑Non +1.80 +1.35 +30.10 +126.18 TMO‑Non +0.01 12.31 TMO‑Non TMO‑Non
SWW424‑1 +0.03 GUP‑Non +0.75 +88.09 +9.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN777‑1 +0.05 +0.48 +0.36 +0.01 +11.46 0.01 TMO‑Non TMO‑Non +0.33 TMO‑Non
SWB015+3 +3.92 TMO‑Non +66.69 TMO‑Non +25.99 TMO‑Non +5.27 TMO‑Non TMO‑Non TMO‑Non
NLP255+1 +0.10 +0.09 TMO‑Non TMO‑Non TMO‑Non 9.72 +0.11 0.45 +0.11 107.42
GEO078‑7 +0.06 +5.73 +0.37 +66.96 +12.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN911‑1 +3.01 GUP‑Non +11.38 +84.12 +27.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB007+3 +3.05 UNK‑Non +66.82 TMO‑Non +24.16 TMO‑Non +6.44 TMO‑Non TMO‑Non TMO‑Non
RNG110+1 +0.08 +0.47 +0.61 +63.48 +11.94 2.83 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL292‑3 +0.01 +0.50 TMO‑Non +64.51 +5.54 0.19 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ059‑1 +0.86 +4.58 TMO‑Non TMO‑Non +151.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB017+3 +4.01 TMO‑Non +65.27 TMO‑Non +28.72 TMO‑Non +5.49 TMO‑Non TMO‑Non TMO‑Non
NUM437+1 +0.14 +0.43 +0.58 +62.99 +13.00 0.26 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL288‑3 +0.01 +0.59 TMO‑Non +64.55 +5.43 0.06 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GRP027‑2 +0.06 GUP‑Non +0.53 +67.40 +13.20 1.08 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL657+1.005 TMO‑Non +11.89 TMO‑Non +20.98 TMO‑Non TMO‑Non +1.70 TMO‑Non TMO‑Non 17.92
RNG110+4 +0.12 +0.44 +0.87 +64.01 +12.26 1.49 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWW397‑1 +0.03 +4.02 +0.50 +65.91 +6.86 1.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL242‑1 +13.31 GUP‑Non TMO‑Non TMO‑Non +11.72 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS231+1* TMO‑Non TMO‑Non TMO‑Non +96.00 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NUM440+1 +0.09 +0.43 +0.59 +66.59 +13.92 0.68 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
CAT019‑5 +0.01 +8.64 +0.14 +62.54 +6.87 0.02 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL255‑1 +27.30 GUP‑Non TMO‑Non TMO‑Non +15.77 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS222+1* TMO‑Non TMO‑Non TMO‑Non +83.77 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NLP070+1 TMO‑Non +33.94 +1.34 +30.10 +157.72 TMO‑Non +0.02 11.99 TMO‑Non TMO‑Non
SWW418‑1 +0.03 +4.56 +0.51 +74.64 +7.73 0.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL180‑1 +0.51 GUP‑Non TMO‑Non TMO‑Non +9.63 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS206+1* TMO‑Non TMO‑Non TMO‑Non +82.67 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NUM439+1 +0.18 +0.72 +0.70 +70.46 +12.36 29.81 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LAT109‑1 +9.62 GUP‑Non +189.44 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL252‑1 +3.05 GUP‑Non TMO‑Non TMO‑Non +9.37 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS219+1* TMO‑Non TMO‑Non TMO‑Non +75.35 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV484+2 GUP‑Non +3.19 GUP‑Non TMO‑Non TMO‑Non 33.49 +0.43 1.14 +41.89 TMO‑Non
SWV495‑1.030 TMO‑Non +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.00 TMO‑Non TMO‑Non TMO‑Non
PUZ015‑3 +0.55 GUP‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
KRS182+1* TMO‑Non TMO‑Non TMO‑Non +72.20 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GRP396+1 +0.00 +0.40 +0.11 +0.00 +5.43 0.00 +0.00 0.00 +0.00 0.38
SWV538‑1.007 TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.02 TMO‑Non TMO‑Non TMO‑Non
LCL239‑1 +0.84 GUP‑Non TMO‑Non TMO‑Non +7.31 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS213+1* TMO‑Non TMO‑Non TMO‑Non +74.02 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWB036+1 +0.37 +0.02 +2.02 +0.10 +19.25 0.84 +0.12 GUP‑Non +0.08 1.34
SWV499‑1.030 TMO‑Non +0.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.03 TMO‑Non TMO‑Non TMO‑Non
LCL219‑1 +1.81 GUP‑Non +28.25 TMO‑Non +9.45 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS243+1* TMO‑Non TMO‑Non TMO‑Non +86.10 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWW103+1 +0.10 +183.91 +0.75 +66.10 +9.93 5.30 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV538‑1.010 TMO‑Non +0.33 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.14 TMO‑Non TMO‑Non TMO‑Non
GRP026‑3 +0.40 +60.07 +0.37 TMO‑Non +13.22 3.17 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS185+1* TMO‑Non TMO‑Non TMO‑Non +96.25 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GEG001+1 TMO‑Non TMO‑Non +60.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG316‑1 +22.57 +15.07 GUP‑Non +61.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL246‑1 +6.49 GUP‑Non TMO‑Non TMO‑Non +11.20 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS214+1* TMO‑Non UNK‑Non TMO‑Non +71.17 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS051+1 +0.22 +1.99 +1.26 TMO‑Non +24.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW414‑1 +0.03 GUP‑Non +0.53 +70.57 +8.36 0.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL240‑1 +1.47 GUP‑Non TMO‑Non TMO‑Non +8.85 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
KRS223+1* TMO‑Non TMO‑Non TMO‑Non +76.83 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
MGT066+1 +0.00 +0.41 +0.11 +0.00 +4.89 0.00 TMO‑Non 0.00 +0.00 0.77
GRP026‑4 +0.18 +1.04 +0.45 +73.41 +8.14 25.65 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL245‑1 +14.38 GUP‑Non TMO‑Non TMO‑Non +13.46 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWB021+3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +25.60 TMO‑Non TMO‑Non TMO‑Non
KRS034+1 +0.13 +0.61 TMO‑Non +63.36 +10.90 8.69 +2.15 TMO‑Non TMO‑Non TMO‑Non
SWV493‑1.050 UNK‑Non +0.02 GUP‑Non TMO‑Non TMO‑Non TMO‑Non +0.04 TMO‑Non TMO‑Non TMO‑Non
LCL179‑1 +0.50 GUP‑Non TMO‑Non TMO‑Non +8.27 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWB027+3 +140.47 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +6.48 TMO‑Non TMO‑Non TMO‑Non
NLP087+1 UNK‑Non TMO‑Non +20.93 +30.51 TMO‑Non TMO‑Non +0.02 14.49 TMO‑Non TMO‑Non
SWV500‑1.050 TMO‑Non +0.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.51 TMO‑Non TMO‑Non TMO‑Non
LCL183‑1 +2.47 GUP‑Non TMO‑Non TMO‑Non +8.73 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWB008+3 +4.12 TMO‑Non +67.45 TMO‑Non +24.90 TMO‑Non +6.02 TMO‑Non TMO‑Non TMO‑Non
LCL569+1 +0.10 +290.98 +0.43 +62.81 +6.10 4.65 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL280‑3 +0.02 +1.96 TMO‑Non +65.12 +5.84 0.87 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL244‑1 +16.20 GUP‑Non TMO‑Non TMO‑Non +12.76 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWB024+3 +3.81 TMO‑Non +70.84 TMO‑Non +24.61 TMO‑Non +3.78 TMO‑Non TMO‑Non TMO‑Non
NLP187+1 +0.12 +0.54 TMO‑Non +67.70 TMO‑Non TMO‑Non +0.19 0.16 +0.52 TMO‑Non
GEO078‑6 +0.04 +5.20 +0.36 +68.53 +12.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP025‑3 +0.20 +13.35 +0.33 TMO‑Non +13.74 3.10 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWB006+3 +4.16 TMO‑Non +66.63 TMO‑Non +26.29 TMO‑Non +5.39 TMO‑Non TMO‑Non TMO‑Non
NLP086+1 UNK‑Non TMO‑Non +20.33 +31.62 TMO‑Non TMO‑Non +0.02 15.85 TMO‑Non TMO‑Non
SWV502‑1.040 UNK‑Non +6.99 GUP‑Non TMO‑Non TMO‑Non TMO‑Non +48.32 TMO‑Non TMO‑Non TMO‑Non
LCL235‑1 +0.77 GUP‑Non TMO‑Non TMO‑Non +10.75 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HAL003+1 +0.42 +180.68 +2.62 +260.16 +15.37 TMO‑Non GUP‑Non TMO‑Non TMO‑Non