Results for:
THF TFA FOF FNT EPR LTB TNE TEQ TFI TFR FNE FEQ FNN FNQ EPT EPS HOL ISA MZR

Results for THF (Higher-order Theorems)

Higher-order Theorems Satallax‑MaLeS
 1.2
Satallax
 2.7
Isabelle
 2013
Isabelle
 2012
LEO‑II
 1.6.0
TPS
 3.120601S1b
cocATP
 0.1.8
SET002^7* 0.09 0.19 42.70 45.48 +0.28 TMO‑Non TMO‑Non
SEV019^5 2.92 8.17 4.04 6.85 +0.03 UNK‑Non TMO‑Non
SET583^7* 0.15 3.28 16.19 18.83 +0.19 TMO‑Non TMO‑Non
SYN036^5 1.48 0.19 3.04 6.36 +0.18 TMO‑Non TMO‑Non
SET926^7* 1.17 10.24 91.05 93.01 +0.18 TMO‑Non TMO‑Non
SYO374^5 0.80 0.01 28.35 56.52 +0.07 TMO‑Non TMO‑Non
SYN045^7* 0.14 0.01 16.04 18.83 +1.07 67.25 TMO‑Non
SYO376^5 0.09 0.01 4.07 62.57 +0.06 16.16 TMO‑Non
SET907^7* 1.17 10.25 93.62 93.17 +0.39 TMO‑Non TMO‑Non
SEV084^5 4.17 0.20 146.27 TMO‑Non +10.38 TMO‑Non TMO‑Non
AGT034^2 2.25 11.07 89.67 86.28 +0.17 TMO‑Non TMO‑Non
SYO387^5 0.14 5.34 111.72 114.10 +0.68 TMO‑Non TMO‑Non
SWV426^2 0.14 8.12 TMO‑Non 19.66 +0.06 TMO‑Non TMO‑Non
LCL731^5 0.14 0.01 4.58 TMO‑Non +0.08 32.88 +120.76
NUM801^1 0.14 12.96 12.88 16.13 +26.55 1.58 TMO‑Non
SYO173^5 0.14 0.40 6.21 8.57 +0.03 UNK‑Non TMO‑Non
SYO064^4.001 0.14 3.39 16.16 18.73 +0.01 3.12 TMO‑Non
PUZ031^5 0.14 0.39 54.03 56.32 +0.78 TMO‑Non TMO‑Non
ALG260^1 0.68 11.10 65.66 68.74 +2.57 TMO‑Non TMO‑Non
PUZ137^1 0.08 0.01 TMO‑Non TMO‑Non +0.04 5.02 UNK‑Non
AGT028^2 0.08 3.29 22.80 25.92 +0.19 2.14 TMO‑Non
SYO377^5 0.08 0.01 4.06 32.76 TMO‑Non 1.38 TMO‑Non
SYO449^1 0.09 0.01 18.41 21.04 +0.12 TMO‑Non TMO‑Non
SYO324^5 3.12 9.49 53.41 55.57 +26.24 TMO‑Non TMO‑Non
SYO011^1 0.09 0.01 152.85 146.92 +0.01 13.48 TMO‑Non
LCL735^5 0.10 9.07 17.03 TMO‑Non +0.09 37.31 +4.26
SYO536^1 0.08 0.01 53.72 55.64 +0.68 TMO‑Non TMO‑Non
SEV148^5 5.80 19.90 63.73 68.01 TMO‑Non TMO‑Non TMO‑Non
SEV080^5 0.14 0.01 5.05 7.89 TMO‑Non 5.43 TMO‑Non
SYO179^5 1.19 0.01 61.24 56.96 +0.10 UNK‑Non TMO‑Non
SWV443^1 0.09 0.01 3.90 6.78 +0.09 TMO‑Non +132.34
SYO288^5 2.99 9.19 TMO‑Non TMO‑Non TMO‑Non 2.97 +10.78
SEU894^5 0.08 0.01 15.93 18.67 +0.01 2.95 TMO‑Non
SEV086^5 4.40 0.19 6.03 8.61 +11.06 35.78 TMO‑Non
SWV427^2 0.14 0.01 3.66 19.59 +0.04 68.48 TMO‑Non
SEU948^5 1.18 3.24 TMO‑Non TMO‑Non TMO‑Non 46.78 TMO‑Non
SYO468^6 0.08 0.01 16.07 18.77 +0.01 6.51 TMO‑Non
SEV156^5 0.14 0.40 65.52 68.29 TMO‑Non TMO‑Non TMO‑Non
SYO271^5 0.09 0.01 41.37 43.38 +0.03 23.09 TMO‑Non
SEV246^6 5.32 51.06 53.39 55.65 TMO‑Non TMO‑Non TMO‑Non
SEU522^1 60.87 1.47 71.95 74.23 +3.47 TMO‑Non TMO‑Non
LCL734^5 0.09 3.31 17.05 TMO‑Non +0.08 TMO‑Non +3.79
SYO471^6 0.08 0.01 65.69 68.01 +0.01 TMO‑Non TMO‑Non
SYO364^5 1.18 0.01 111.58 TMO‑Non +0.01 TMO‑Non +180.54
SWV428^2 0.16 10.93 TMO‑Non TMO‑Non +4.97 58.72 TMO‑Non
SYO209^5 5.14 26.78 TMO‑Non TMO‑Non +42.95 3.42 TMO‑Non
SEU876^5 TMO‑Non TMO‑Non 173.07 175.65 TMO‑Non TMO‑Non TMO‑Non
SEV157^5 0.14 18.08 65.57 68.06 TMO‑Non TMO‑Non TMO‑Non
SEU542^1 0.08 0.01 65.87 68.30 +6.68 34.94 TMO‑Non
SEV154^5 9.26 5.64 55.50 57.00 TMO‑Non TMO‑Non TMO‑Non
SYO250^5 0.09 0.01 15.91 18.72 +43.55 2.72 TMO‑Non
SYO174^5 4.33 19.59 17.91 16.75 TMO‑Non TMO‑Non TMO‑Non
SET925^7* 1.18 0.01 16.17 18.77 TMO‑Non 33.97 +0.88
SYN997^1 0.08 0.01 4.76 TMO‑Non +0.01 UNK‑Non +1.28
SWV107^7* 0.14 3.31 66.83 68.60 TMO‑Non TMO‑Non TMO‑Non
SEV152^5 47.92 5.86 55.44 57.39 TMO‑Non TMO‑Non TMO‑Non
SET575^7* 1.17 5.29 16.36 18.87 TMO‑Non TMO‑Non TMO‑Non
SYO264^5 0.56 0.01 17.51 20.44 +6.68 1.32 TMO‑Non
NLP001^7* 0.08 0.19 19.48 22.50 TMO‑Non TMO‑Non TMO‑Non
SYO169^5 59.62 72.87 15.98 19.20 +0.07 UNK‑Non TMO‑Non
SWV073^7* 0.93 0.01 20.38 23.93 TMO‑Non TMO‑Non TMO‑Non
SYO560^1 0.08 0.01 4.09 110.93 TMO‑Non TMO‑Non TMO‑Non
SYN397^7* 0.09 0.01 65.72 68.07 +1.57 13.66 TMO‑Non
SYO309^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 6.34 TMO‑Non
SET062^7* 113.13 39.00 56.87 59.36 +0.68 TMO‑Non TMO‑Non
SEU960^5 0.88 3.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +152.92
SET027^7* 0.14 3.28 64.24 68.50 +0.09 TMO‑Non TMO‑Non
CSR131^1 0.15 9.45 80.80 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SYN741^7* 0.25 3.29 68.95 69.74 +0.52 TMO‑Non TMO‑Non
SEV113^5 UNK‑Non TMO‑Non 16.15 18.88 TMO‑Non TMO‑Non TMO‑Non
SWV061^7* 2.77 0.01 66.82 68.54 TMO‑Non TMO‑Non TMO‑Non
SEV064^5 1.03 9.10 TMO‑Non TMO‑Non TMO‑Non 9.46 TMO‑Non
SWV085^7* 0.15 0.01 20.16 22.64 TMO‑Non TMO‑Non TMO‑Non
SEV400^5 8.36 24.20 TMO‑Non TMO‑Non TMO‑Non 3.41 TMO‑Non
SYN052^7* 82.72 91.55 98.53 101.13 +62.50 TMO‑Non TMO‑Non
SEV072^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 72.17 TMO‑Non
SWV097^7* 1.17 3.31 21.08 23.75 TMO‑Non TMO‑Non TMO‑Non
SEV244^6 5.45 TMO‑Non 53.41 55.60 TMO‑Non TMO‑Non TMO‑Non
LCL629^1 1.59 3.32 16.34 40.46 +0.02 1.38 TMO‑Non
SYO332^5 28.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 20.50 TMO‑Non
SEU874^5 214.58 TMO‑Non 20.44 23.27 TMO‑Non UNK‑Non TMO‑Non
SEV050^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 26.94 TMO‑Non
SWW470^2 22.88 0.01 62.23 61.52 TMO‑Non UNK‑Non TMO‑Non
SEU940^5 0.68 0.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG273^5 1.69 19.97 65.32 52.31 +0.01 TMO‑Non TMO‑Non
SEV312^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 51.27 TMO‑Non
SEU675^2 0.08 0.19 3.06 42.08 TMO‑Non 15.60 +2.57
SYO329^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU827^1 0.12 0.01 TMO‑Non TMO‑Non +0.01 1.32 TMO‑Non
SYO533^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
NUM924^1 UNK‑Non 4.40 65.64 68.29 +0.79 TMO‑Non TMO‑Non
SEV100^5 5.73 9.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV212^5 TMO‑Non UNK‑Non 65.55 67.91 TMO‑Non TMO‑Non TMO‑Non
SEV069^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 92.00 TMO‑Non
NUM926^1 34.43 24.62 53.47 56.05 TMO‑Non TMO‑Non TMO‑Non
SYO548^1 1.09 3.39 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +1.68
NUM925^2 6.04 27.36 71.15 70.54 +9.93 TMO‑Non TMO‑Non
MSC021^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 83.72 TMO‑Non
GEG011^1 1.19 10.25 27.55 93.39 +0.57 TMO‑Non TMO‑Non
GRA028^1 TMO‑Non TMO‑Non 6.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG272^5 2.11 TMO‑Non 12.83 14.32 +0.03 TMO‑Non TMO‑Non
SYO448^1 0.09 0.01 65.54 68.22 +0.06 TMO‑Non TMO‑Non
SEV224^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV128^5 TMO‑Non 210.30 65.36 68.10 TMO‑Non 56.76 TMO‑Non
NUM651^1 1.72 0.40 16.57 19.27 +0.04 TMO‑Non TMO‑Non
SWW470^3 UNK‑Non 0.20 75.97 72.95 TMO‑Non TMO‑Non TMO‑Non
GEG005^1 3.29 23.60 73.23 77.44 +0.28 TMO‑Non TMO‑Non
SET611^5 0.08 0.01 91.18 94.82 +0.02 1.39 TMO‑Non
SYN391^4 0.14 0.01 59.29 62.85 +9.78 TMO‑Non TMO‑Non
ALG283^5 0.09 0.40 4.13 6.71 +0.01 TMO‑Non TMO‑Non
NUM696^1 0.14 0.40 21.07 23.41 +0.01 TMO‑Non TMO‑Non
SEU679^1 0.73 3.25 52.53 55.68 TMO‑Non TMO‑Non TMO‑Non
ALG017^7* 1.18 3.31 54.25 56.88 TMO‑Non TMO‑Non TMO‑Non
MSC025^2* 3.81 0.20 121.27 125.20 TMO‑Non TMO‑Non TMO‑Non
ALG265^2 112.43 37.80 TMO‑Non TMO‑Non TMO‑Non 4.54 +24.08
SYO249^5 UNK‑Non TMO‑Non 23.07 26.20 +0.18 TMO‑Non TMO‑Non
SEU488^1 0.17 10.15 66.04 68.32 TMO‑Non TMO‑Non TMO‑Non
SEV087^5 4.34 0.20 162.20 212.69 TMO‑Non 35.82 TMO‑Non
CSR127^2 TMO‑Non TMO‑Non 205.06 211.53 +0.48 TMO‑Non TMO‑Non
CSR134^2 TMO‑Non TMO‑Non 65.82 68.25 TMO‑Non TMO‑Non TMO‑Non
NUM827^5 2.21 3.41 173.87 206.26 TMO‑Non 49.25 TMO‑Non
SYO219^5 1.71 3.63 97.79 TMO‑Non +0.67 3.41 TMO‑Non
SEU655^2 0.14 5.46 127.81 127.72 TMO‑Non TMO‑Non TMO‑Non
ALG274^5 0.14 2.10 66.68 54.06 +0.06 TMO‑Non TMO‑Non
CSR149^2 TMO‑Non TMO‑Non 59.49 62.07 +0.27 TMO‑Non TMO‑Non
SYN367^7* 0.17 5.09 TMO‑Non TMO‑Non +1.77 TMO‑Non TMO‑Non
LCL460^7* 6.84 4.47 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SYN377^7* 107.63 12.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA033^7* 24.82 19.97 TMO‑Non TMO‑Non +0.37 TMO‑Non TMO‑Non
SEV141^5 UNK‑Non TMO‑Non 155.43 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SWW474^2 TMO‑Non TMO‑Non 58.38 62.85 TMO‑Non UNK‑Non TMO‑Non
SYO222^5 67.28 TMO‑Non 144.70 229.70 TMO‑Non 38.06 TMO‑Non
SEU773^1 0.16 7.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU972^5 1.69 0.40 TMO‑Non TMO‑Non +35.06 TMO‑Non TMO‑Non
SEV010^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.19 64.83 TMO‑Non
SWV436^4 0.15 5.74 TMO‑Non TMO‑Non +0.04 TMO‑Non TMO‑Non
PUZ127^5 TMO‑Non TMO‑Non 52.99 55.81 TMO‑Non TMO‑Non TMO‑Non
NUM021^1 6.33 201.27 TMO‑Non TMO‑Non TMO‑Non 11.74 +44.18
SEV431^1 0.13 11.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET914^7* TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.07 TMO‑Non TMO‑Non
SET045^7* 42.46 5.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS272^7* TMO‑Non TMO‑Non TMO‑Non TMO‑Non +65.72 TMO‑Non TMO‑Non
SEU872^5 TMO‑Non TMO‑Non 148.74 152.38 TMO‑Non TMO‑Non TMO‑Non
SEV106^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO064^4.004 69.06 62.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU867^5 TMO‑Non TMO‑Non 112.41 109.53 TMO‑Non TMO‑Non TMO‑Non
AGT027^2 TMO‑Non TMO‑Non 36.88 TMO‑Non +0.09 TMO‑Non TMO‑Non
NUM800^1 6.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 14.96 +48.67
MSC007^1.003.004 3.15 27.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV204^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/150 119/150 116/150 108/150 98/150 76/150 47/150 14/150
Av. CPU Time 10.42 11.39 54.65 60.54 5.05 25.23 52.05
Solutions 0/150 0/150 0/150 0/150 76/150 0/150 14/150
μEfficiency 505 393 36 21 397 48 20
SOTAC 0.25 0.24 0.25 0.24 0.24 0.32 0.23
New Solved 25/27 25/27 20/27 20/27 14/27 3/27 1/27
* 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 FNN FNQ EPT EPS HOL ISA MZR

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

Typed First-order Theorems +*-/ SPASS+T
 2.2.19
Princess
 120604
Beagle
 0.4
ARI570=1 +1.50 0.56 0.01
ARI209=1 +1.51 1.74 0.01
NUM894=1 +1.61 0.65 0.01
ARI242=1 +1.51 2.10 0.01
ARI021=1 +1.52 0.62 0.01
ARI551=1 +1.52 2.48 0.01
ARI007=1 +1.52 0.57 0.01
ARI205=1 +1.52 1.87 0.01
ARI020=1 +1.52 0.57 0.01
ARI243=1 +1.51 2.04 0.01
DAT066=1* +1.51 1.73 1.40
ARI554=1 +1.53 2.52 0.01
DAT060=1* +1.54 1.31 0.01
ARI397=1 +1.50 2.10 0.01
DAT061=1* +1.54 1.28 0.01
ARI191=1 +1.51 1.90 0.01
DAT067=1* +1.52 1.80 2.13
ARI553=1 +1.51 2.37 0.01
DAT059=1* +1.54 1.24 0.90
ARI197=1 +1.52 1.98 0.01
DAT070=1* +1.63 1.88 2.17
ARI390=1 +1.52 1.93 0.01
DAT021=1 +1.52 1.64 1.44
ARI213=1 +1.50 1.92 0.01
ARI079=1 +1.52 0.63 0.01
ARI239=1 +1.55 2.03 0.01
DAT004=1 +1.54 1.13 1.11
ARI215=1 +1.53 2.10 0.01
NUM892=1 +1.51 0.58 0.01
ARI370=1 +1.54 2.14 0.01
ARI061=1 +1.50 0.57 0.01
ARI210=1 +1.52 1.92 0.01
NUM877=1 +1.54 0.60 0.01
ARI217=1 +1.50 1.91 0.01
NUM921=1 +1.60 0.74 0.01
ARI196=1 +1.52 2.03 0.01
DAT069=1* +1.53 1.83 2.14
ARI192=1 +1.50 1.98 0.01
DAT058=1* +1.51 3.21 UNK‑Non
ARI240=1 +1.54 1.87 0.01
DAT068=1* +1.50 1.81 2.13
ARI219=1 +1.49 1.96 0.01
DAT009=1 +1.49 1.15 1.07
ARI224=1 +1.52 1.98 0.01
ARI176=1 +1.51 0.73 0.01
ARI225=1 +1.52 2.05 0.01
ARI177=1 +1.53 0.55 0.01
ARI400=1 +1.55 1.79 0.01
ARI599=1 +1.59 0.72 0.01
NUM913=1 +1.50 2.80 0.01
DAT062=1* +1.53 1.94 1.79
NUM902=1 +1.55 3.26 0.01
SWV997=1 +1.51 1.89 2.37
NUM909=1 +1.51 3.02 0.01
DAT026=1 +1.53 1.43 1.40
NUM905=1 +1.52 2.00 0.01
DAT012=1 +1.52 1.16 1.37
NUM906=1 +1.49 2.74 0.01
SWV998=1 +2.09 17.62 11.33
ARI245=1 +1.47 1.70 0.01
DAT024=1 +1.55 1.30 0.01
ARI495=1 +1.55 TMO‑Non 0.01
DAT039=1 +2.43 4.18 128.22
ARI488=1 +1.59 TMO‑Non 0.01
DAT011=1 +1.52 1.18 1.12
MSC022=2 +1.53 15.16 0.01
DAT007=1 +1.54 8.68 1.11
ARI557=1 +1.47 TMO‑Non 0.01
SWW089=1 +13.57 39.32 29.76
NUM912=1 +1.52 1.87 0.01
DAT015=1 +1.52 2.23 0.01
ARI282=1 +1.52 2.09 0.01
NUM915=1 +1.53 0.59 0.01
ARI222=1 +1.63 1.93 0.01
DAT030=1 +1.50 1.37 2.65
ARI341=1 +1.52 3.78 0.01
SEV422=1 +1.61 18.24 10.28
ARI221=1 +1.51 2.17 0.01
SWW051=1 +25.56 43.13 TMO‑Non
NUM907=1 +1.51 3.67 1.49
SWW056=1 +47.70 39.55 TMO‑Non
ARI350=1 +1.51 1.95 0.01
SWW094=1 +25.43 43.44 TMO‑Non
ARI342=1 +1.49 TMO‑Non 0.01
SWW023=1 +113.11 46.38 TMO‑Non
ARI229=1 +1.51 2.11 0.01
SWW039=1 +31.87 41.76 TMO‑Non
ARI200=1 +1.52 1.99 0.01
SWW065=1 +93.77 44.03 TMO‑Non
ARI383=1 +1.50 2.07 0.01
SWW088=1 +17.07 44.27 TMO‑Non
ARI536=1 UNK‑Non TMO‑Non UNK‑Non
DAT040=1 +1.51 3.94 141.73
ARI619=3 +1.53 TMO‑Non 2.30
SYO522=1 UNK‑Non 1.53 0.01
ARI619=2 +1.51 TMO‑Non 2.19
NUM858=1 TMO‑Non 39.09 10.30
MSC023=2 +1.51 TMO‑Non 0.01
NUM860=1 TMO‑Non 24.39 11.28
ARI511=1 UNK‑Non TMO‑Non UNK‑Non
Solved/100 95/100 91/100 90/100
Av. CPU Time 5.29 6.63 4.17
Solutions 95/100 0/100 0/100
μEfficiency 434 412 731
SOTAC 0.36 0.35 0.35
New Solved 10/10 10/10 9/10
* 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 FNN FNQ EPT EPS HOL ISA MZR

Results for FOF (First-order Theorems)

First-order Theorems Vampire
 2.6
Vampire
 3.0
E
 1.8
E‑MaLeS
 1.2
iProver
 1.0
E‑KRHyper
 1.4
Prover9
 1109a
Zipperposition
 0.2
Muscadet
 4.3
CVC4
 1.2
iProver‑Eq
 0.85
iProverModulo
 0.7‑0.2
MSC010+1 +0.01 +0.01 +0.01 +1.18 +1.58 +0.01 UNK‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non 0.01
LCL656+1.005 +0.01 +0.01 +0.01 +1.00 +0.01 +0.01 +9.45 +58.86 GUP‑Non TMO‑Non 0.77 0.01
AGT016+2 +0.01 +0.01 +0.01 +0.94 +0.01 +0.01 +1.64 +5.96 TMO‑Non 20.78 TMO‑Non 0.01
SYN374+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.40 +0.01 GUP‑Non 0.01 0.58 0.01
NUM838+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 UNK‑Non +0.01 +0.01 0.01 0.68 UNK‑Non
CSR068+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.53 +0.01 +0.01 0.01 0.59 0.01
SYN075+1 +0.01 +0.01 +0.01 +0.85 +0.99 +0.01 +1.54 +0.01 +0.01 0.01 3.47 GUP‑Non
KRS180+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.42 +0.01 TMO‑Non 0.01 0.59 0.01
SET602+4 +0.01 +0.01 +0.01 +0.98 +0.01 TMO‑Non +7.31 +0.27 +0.01 0.01 1.78 0.01
KRS154+1 +0.01 +0.01 +0.01 +0.96 +0.01 +0.01 TMO‑Non +6.16 TMO‑Non 0.01 0.59 0.01
GRP665+1 +0.01 +0.01 +0.01 +0.99 TMO‑Non TMO‑Non TMO‑Non +210.21 GUP‑Non 0.01 TMO‑Non UNK‑Non
KRS155+1 +0.01 +0.01 +0.01 +0.96 +0.01 +0.01 TMO‑Non +4.87 TMO‑Non 0.01 0.67 0.01
REL006+1 +0.01 +0.01 +0.01 +1.14 TMO‑Non +141.36 +13.04 TMO‑Non TMO‑Non TMO‑Non 10.48 UNK‑Non
CSR060+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.52 +0.17 TMO‑Non 0.01 0.59 0.01
PUZ001+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.39 +0.01 GUP‑Non 0.01 0.68 GUP‑Non
CSR068+3 +0.09 +2.16 +2.88 +1.05 +28.90 +1.09 TMO‑Non TMO‑Non TMO‑Non 2.97 1.39 1.01
SWB001+1 +0.01 +0.01 +0.01 +1.05 +0.01 +0.01 +2.62 TMO‑Non +0.01 0.01 0.88 0.01
SWB002+3 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.56 +1.27 TMO‑Non 0.01 0.59 0.01
SWB027+2 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.51 +3.97 GUP‑Non 0.01 TMO‑Non 103.01
CSR071+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 TMO‑Non +0.07 +0.01 0.01 0.59 0.01
NUM854+1 +0.01 +1.37 +0.01 +0.84 +0.01 +0.01 UNK‑Non TMO‑Non +0.01 0.01 0.68 UNK‑Non
KRS186+1 +0.01 +0.01 +174.64 +0.85 +0.01 TMO‑Non +28.04 TMO‑Non +1.48 0.01 2.18 0.01
LAT292+1 +0.01 +0.01 +0.01 +1.17 +1.50 TMO‑Non +1.90 TMO‑Non TMO‑Non 47.43 TMO‑Non TMO‑Non
GEO264+3 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.53 +0.07 TMO‑Non 0.01 0.60 0.01
SWB002+1 +0.01 +0.01 +0.01 +0.96 +1.02 +0.01 +17.49 TMO‑Non TMO‑Non 0.01 4.59 1.06
LCL676+1.020 +0.99 +61.93 TMO‑Non TMO‑Non +2.57 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non 55.17 TMO‑Non
NUM925+5 +1.09 +1.10 +0.01 +0.96 +10.67 +5.68 +1.58 +4.66 TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN334+1 +0.01 +0.01 +0.01 +0.84 +0.01 TMO‑Non +1.40 +0.01 GUP‑Non 0.01 0.59 0.01
SWW204+1 +0.03 +0.01 +1.46 +2.59 +37.37 +1.19 +26.29 TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
KRS233+1 +3.67 +0.01 +54.58 +0.98 +0.01 TMO‑Non +4.34 TMO‑Non +2.18 0.01 2.98 0.01
SET603+3 +0.39 +0.01 +0.01 +0.97 +0.01 +0.01 +1.53 +1.27 +0.01 30.24 TMO‑Non 0.01
CSR044+2 +1.00 +3.17 +34.43 +0.84 +0.01 +11.48 TMO‑Non TMO‑Non TMO‑Non 3.25 1.17 0.01
NLP251+1 +0.01 +0.01 +0.01 +0.99 +0.01 +0.01 +1.57 TMO‑Non GUP‑Non TMO‑Non 90.66 7.06
MED010+1 +0.01 +0.01 +2.08 +1.73 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 4.08 14.85
PRO009+3 +0.01 +0.01 +0.01 +0.92 +1.08 +0.01 +2.34 +5.96 TMO‑Non 79.75 110.65 TMO‑Non
SWB003+3 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.51 +1.17 TMO‑Non 0.01 0.71 0.01
LCL529+1 +0.01 +0.01 +0.01 +1.18 +10.07 +0.01 +1.54 UNK‑Non TMO‑Non 11.67 TMO‑Non TMO‑Non
MED001+1 +0.01 +0.01 +0.01 +0.99 +0.01 +0.01 +2.14 +2.17 TMO‑Non 0.01 0.67 0.01
NLP258+1 +0.01 +0.01 +0.01 +0.96 +0.01 +0.01 +1.56 TMO‑Non GUP‑Non TMO‑Non 8.28 1.45
CSR065+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.53 +0.07 +0.01 0.01 0.59 0.01
NLP252+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.57 TMO‑Non GUP‑Non 69.64 71.16 3.07
KRS256+1 +0.01 +0.01 +0.01 +0.85 +0.01 TMO‑Non +1.52 +0.47 TMO‑Non 31.45 0.59 0.01
NUM613+3 +0.01 +0.50 +0.01 +1.38 +2.54 TMO‑Non TMO‑Non +147.14 +0.98 0.01 TMO‑Non UNK‑Non
SYN050+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.42 +0.01 GUP‑Non 0.01 0.59 0.01
GRP685+1 +0.01 +0.01 +0.01 +1.23 TMO‑Non TMO‑Non +1.53 +3.57 GUP‑Non TMO‑Non TMO‑Non UNK‑Non
GEO233+1 +0.01 +0.01 +0.01 +0.95 +0.01 +0.01 +1.41 +0.01 +0.01 0.01 0.59 0.01
HWV041+2 +222.71 +22.74 TMO‑Non TMO‑Non +52.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 110.44 TMO‑Non TMO‑Non
KRS146+1 +0.01 +0.01 +0.01 +1.00 +0.01 +0.01 TMO‑Non +0.19 GUP‑Non 0.01 0.59 0.01
HWV047+2 +218.73 TMO‑Non TMO‑Non TMO‑Non +63.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR054+3 +0.08 +2.07 +0.08 +1.06 +1.82 +0.01 TMO‑Non TMO‑Non TMO‑Non 2.97 1.30 1.04
ALG126+1 +0.01 +41.71 +13.71 +88.06 TMO‑Non +132.45 TMO‑Non TMO‑Non TMO‑Non 0.01 1.09 UNK‑Non
CSR071+2 +0.01 +0.01 +0.01 +0.97 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non 0.01 0.67 0.01
HWV046+2 +229.26 +22.34 TMO‑Non TMO‑Non +61.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR027+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.53 +0.19 TMO‑Non 0.01 0.59 0.01
SWW478+7 +0.42 +0.45 +0.28 +1.60 +4.57 TMO‑Non +9.93 TMO‑Non TMO‑Non 1.39 UNK‑Non 4.00
CSR034+2 +0.01 +0.01 +0.01 +1.16 +6.45 +2.19 TMO‑Non TMO‑Non TMO‑Non 0.01 0.77 0.01
CSR016+1 +0.01 +0.39 +0.01 +0.99 +0.01 TMO‑Non +1.54 +0.18 TMO‑Non 0.01 2.27 UNK‑Non
CSR032+2 +0.01 +0.01 +0.01 +0.98 +0.01 +0.01 TMO‑Non +11.28 TMO‑Non 0.01 0.68 0.01
MGT062+1 +0.01 +0.01 +0.01 +0.97 +1.67 TMO‑Non +1.52 +0.17 TMO‑Non 0.01 TMO‑Non GUP‑Non
CSR039+2 +0.01 +4.26 +0.01 +3.79 +7.27 +1.18 TMO‑Non +159.04 TMO‑Non 25.07 18.68 124.94
HAL003+3 +0.01 +0.01 +59.30 +1.80 +2.75 TMO‑Non TMO‑Non +7.88 TMO‑Non TMO‑Non 0.97 TMO‑Non
MED007+1 +0.01 +0.01 +31.15 +31.65 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 3.28 20.35
NUM925+6 +0.01 +0.03 +0.98 +4.04 +84.56 TMO‑Non +4.63 UNK‑Non TMO‑Non 0.01 156.25 UNK‑Non
SWB009+3 +3.65 +0.01 +0.01 +1.08 +2.47 +23.48 +12.23 TMO‑Non +17.56 TMO‑Non 0.77 TMO‑Non
SWW217+1 +2.93 +14.65 +15.04 +8.07 TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
KRS153+1 +0.95 +0.01 +0.01 +1.07 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.01 0.77 0.01
GEO271+1 +0.39 +0.01 +0.01 +1.05 +9.78 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
LCL672+1.005 +14.04 +35.70 TMO‑Non +57.83 +36.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO017+2 +34.20 +29.92 +0.01 +0.95 +7.55 +0.01 +15.05 +25.58 TMO‑Non 10.18 TMO‑Non TMO‑Non
KRS158+1 +0.01 +0.01 +0.01 +0.93 +0.01 +0.01 +1.45 +0.03 +0.01 0.01 0.59 0.01
SEU188+2 +0.01 +0.01 +0.01 +0.96 +57.56 TMO‑Non +2.54 +1.38 TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN938+1 +0.01 +0.01 +0.01 +2.84 +0.01 GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non 0.87 3.47
SWW233+1 +2.36 +2.23 +0.02 +4.56 +37.38 TMO‑Non +21.32 TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN386+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.44 +0.01 TMO‑Non GUP‑Non 0.58 0.01
GEO087+1 +1.89 +0.01 +0.01 +0.84 +0.01 +0.01 +1.53 TMO‑Non +0.01 TMO‑Non 0.98 0.98
SWV014+1 +0.01 +0.01 +0.01 +0.84 +10.08 TMO‑Non TMO‑Non +12.09 TMO‑Non 0.01 0.59 120.10
SWC371+1 +0.01 +0.01 +0.01 +1.35 TMO‑Non TMO‑Non +119.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO268+3 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.54 +0.09 +12.14 0.01 0.67 0.01
GEO084+1 +0.01 +0.01 +30.64 +6.76 +0.01 TMO‑Non +1.53 TMO‑Non TMO‑Non TMO‑Non 6.48 59.66
COM007+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.53 +0.01 TMO‑Non 0.01 0.59 0.01
SCT126+1 +0.01 +1.37 +57.22 +2.42 +50.86 +0.01 +102.41 TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
GEO176+1 +0.01 +0.01 +0.01 +1.01 +0.01 +0.01 +1.42 +0.07 +65.04 0.01 0.58 0.01
GEO118+1 +1.89 +0.01 +0.01 +0.85 +0.01 +0.01 +2.25 +18.28 TMO‑Non TMO‑Non 4.68 0.01
GEO247+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.52 +0.01 TMO‑Non 0.01 0.59 0.01
SWB013+2 +4.26 +0.01 +0.01 +0.99 +67.46 +0.01 +121.71 TMO‑Non +0.01 82.95 TMO‑Non TMO‑Non
SYN361+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.41 +0.01 +0.01 0.01 0.59 0.01
GEO272+1 +0.39 +0.01 +0.01 +1.16 +1.37 TMO‑Non UNK‑Non +34.48 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
KRS191+1 +0.01 +0.01 +0.01 +0.92 +0.01 TMO‑Non +1.55 TMO‑Non +1.98 0.01 0.59 0.01
SWB053+1 +0.01 +0.01 +0.01 +1.20 +13.74 +3.99 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 161.98
MED005+1 +0.01 +0.01 +2.06 +2.63 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 49.05 14.38 16.35
RNG077+2 +0.01 +0.01 +0.01 +0.99 +18.97 TMO‑Non TMO‑Non +38.08 +89.36 0.01 TMO‑Non TMO‑Non
CSR071+3 +0.08 +2.16 +2.86 +1.11 +28.76 +1.18 TMO‑Non TMO‑Non TMO‑Non 17.97 2.19 3.73
SWV026+1 +0.01 +0.01 TMO‑Non TMO‑Non +5.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
CSR066+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.41 +0.09 TMO‑Non 0.01 0.58 0.01
SWW179+1 +0.03 +0.03 +0.98 +4.93 +121.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN723+1 +0.01 +4.46 +51.87 TMO‑Non +0.01 GUP‑Non TMO‑Non TMO‑Non GUP‑Non 0.01 0.68 0.01
SWV109+1 +0.01 +0.01 TMO‑Non +162.45 +10.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SET576+3 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.41 +0.01 +0.01 0.01 0.59 0.01
SWV450+1 +4.32 +0.01 +1.89 +2.16 TMO‑Non TMO‑Non +1.57 UNK‑Non +0.01 0.01 TMO‑Non UNK‑Non
CSR051+2 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 TMO‑Non +5.78 TMO‑Non 0.01 0.68 0.01
SWV449+1 +6.67 +0.01 +1.69 +2.18 TMO‑Non TMO‑Non +1.54 UNK‑Non +0.01 0.01 TMO‑Non UNK‑Non
GEO204+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.43 +6.99 TMO‑Non 0.01 0.68 0.01
SWB007+1 +0.01 +0.01 +0.01 +1.31 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non TMO‑Non
SEU158+3 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.41 +0.01 +0.01 0.01 0.58 0.01
GEO127+1 +2.49 +0.01 +0.01 +1.01 TMO‑Non +0.01 +1.53 +3.69 TMO‑Non TMO‑Non TMO‑Non 149.49
CSR047+3 +0.10 +1.00 +1.25 +0.96 +2.95 +2.38 TMO‑Non TMO‑Non TMO‑Non 2.94 1.28 1.02
SWV237+1 +0.01 +0.01 +0.01 +1.00 TMO‑Non TMO‑Non +2.24 +0.09 GUP‑Non TMO‑Non TMO‑Non UNK‑Non
MGT036+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.41 +0.01 GUP‑Non 0.01 0.59 0.01
HAL002+1 +0.99 +2.29 +0.01 +0.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non 9.56 TMO‑Non
CSR070+2 +0.01 +0.97 +0.01 +0.97 +0.01 +10.45 TMO‑Non TMO‑Non TMO‑Non 0.01 1.09 0.01
SWV452+1 +0.01 +0.01 +57.20 +3.69 TMO‑Non TMO‑Non +73.61 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
LCL678+1.001 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.42 +0.01 GUP‑Non 0.01 0.58 0.01
SWW102+1 +0.01 +0.01 +0.01 +1.07 TMO‑Non TMO‑Non +2.33 +2.38 TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN362+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.40 +0.01 +0.01 0.01 0.58 0.01
SWB087+1 +0.01 +0.51 +1.97 +1.31 +31.88 +3.98 UNK‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non TMO‑Non
TOP022+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.51 +0.01 +0.01 0.01 0.59 0.01
SWW271+1 +0.03 +0.03 +28.75 +6.71 +62.37 TMO‑Non +35.42 +220.54 UNK‑Non TMO‑Non TMO‑Non UNK‑Non
MGT022+2 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.41 +0.01 +0.01 0.01 0.59 0.01
SWV476+1 +0.01 +1.07 +57.20 +2.78 +51.27 TMO‑Non +100.61 UNK‑Non +0.01 0.01 TMO‑Non UNK‑Non
SYN351+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.52 +0.01 TMO‑Non 0.01 0.59 0.01
KLE170+1.002 +2.81 +5.87 +0.01 +1.40 TMO‑Non +13.28 +1.57 +75.17 GUP‑Non 0.01 TMO‑Non UNK‑Non
GEO255+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.43 +0.01 TMO‑Non 0.01 0.59 0.01
SWB073+1 +0.01 +0.01 +0.01 +1.27 +9.37 +2.18 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 162.52
KRS156+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +5.21 +3.79 +0.01 0.01 0.59 0.01
SCT149+1 +0.01 +2.17 TMO‑Non TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non +2.57 0.01 0.97 0.01
SYO578+1* +0.01 +0.01 +0.01 +1.27 +0.01 +0.01 +1.56 +0.59 TMO‑Non 2.48 0.67 0.01
SWW473+3 +0.04 +0.04 +0.03 +1.99 +2.57 TMO‑Non UNK‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN358+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.44 +0.01 +0.01 0.01 0.59 0.01
SET017+1 +0.01 +0.01 +0.01 +0.99 TMO‑Non +79.44 +7.64 +0.38 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SYO525+1.015 +4.37 +2.77 +176.61 +9.77 +15.37 5.98 +6.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT159+1 +1.37 +13.82 +8.97 +9.45 +28.27 +0.01 +106.40 TMO‑Non TMO‑Non TMO‑Non 110.75 UNK‑Non
MGT067+1* +0.01 +0.01 +0.01 +0.97 +0.01 +0.01 +1.57 +39.08 TMO‑Non TMO‑Non 0.67 0.01
SWV481+1 +1.08 +0.98 +77.14 +179.79 TMO‑Non TMO‑Non +57.31 UNK‑Non TMO‑Non 147.82 TMO‑Non UNK‑Non
COM003+1 +0.01 +0.01 +224.70 +83.95 +0.01 TMO‑Non TMO‑Non TMO‑Non GUP‑Non 2.48 0.58 4.76
CSR024+1.010 +7.65 +3.46 +0.01 +1.07 TMO‑Non +0.01 +3.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
KRS203+1 +0.01 +0.01 +0.01 +0.98 +0.01 TMO‑Non +1.56 +51.77 TMO‑Non TMO‑Non 1.38 0.01
SWV465+1 +0.01 +1.29 +0.01 +1.13 TMO‑Non TMO‑Non +1.57 UNK‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SWV437+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.54 TMO‑Non TMO‑Non TMO‑Non 0.67 0.01
SWV487+1 +3.60 +0.01 +28.21 +2.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 52.37 TMO‑Non UNK‑Non
SWB025+2 +0.01 +0.01 +0.01 +0.99 +0.01 +0.01 +1.54 +4.29 +0.01 0.01 0.67 165.38
GEO284+1 +0.39 +0.01 +0.01 +2.41 +1.68 +19.49 UNK‑Non TMO‑Non TMO‑Non TMO‑Non 6.67 UNK‑Non
SWB012+3 +1.19 +30.67 +1.98 +1.46 TMO‑Non +0.01 UNK‑Non TMO‑Non +27.68 TMO‑Non TMO‑Non TMO‑Non
SET056+1 +0.01 +0.01 +0.01 +0.98 +0.01 TMO‑Non TMO‑Non +1.08 TMO‑Non TMO‑Non 1.08 UNK‑Non
SET047+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.43 +0.01 +0.01 0.01 0.59 0.01
SWB021+2 +0.01 +3.97 +0.01 +0.95 +38.07 +1.58 +8.05 +12.89 TMO‑Non 195.53 TMO‑Non TMO‑Non
CSR114+20 +0.08 +1.00 +0.12 +1.23 +2.88 +1.28 TMO‑Non TMO‑Non TMO‑Non 3.59 1.57 75.97
SWW314+1 +0.21 +0.22 +29.50 +2.37 +10.66 TMO‑Non UNK‑Non TMO‑Non TMO‑Non 7.24 UNK‑Non UNK‑Non
KRS202+1 +0.01 +0.01 +0.01 +0.84 +0.01 TMO‑Non +1.55 +21.58 TMO‑Non TMO‑Non 0.97 0.01
SWB008+1 +0.40 +0.50 +2.17 +1.34 TMO‑Non +6.28 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 209.33
MGT009+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.44 +0.09 +0.01 0.01 0.58 0.01
SCT165+1 +8.15 +1.46 +7.67 +7.08 TMO‑Non +25.19 +6.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
NLP081+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non 0.01 0.88 0.01
NUM860+1 +0.01 +4.90 +84.28 +6.59 +54.46 +76.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR056+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 TMO‑Non +0.01 +1.08 0.01 0.59 0.01
SWV396+1 +25.44 TMO‑Non +0.01 +2.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SYN943+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.40 +0.01 +0.01 0.01 0.58 0.01
SWW265+1 +111.92 +10.96 +69.81 +4.15 +27.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 14.67 TMO‑Non UNK‑Non
KRS264+1 +0.01 +0.01 TMO‑Non +1.08 +11.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 27.41 60.47
SWW473+7 +19.72 +0.06 +3.36 +8.76 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWB029+2 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.54 +0.02 +0.01 0.01 0.58 59.35
NUM595+3 +0.01 +0.01 +49.21 +47.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWB014+2 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.52 +0.01 +0.01 0.01 0.59 9.63
SCT166+1 +3.62 +4.56 +5.25 +6.29 TMO‑Non +39.49 +5.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
KRS215+1 +0.01 +0.01 +0.01 +0.83 +0.01 TMO‑Non +2.35 +118.05 TMO‑Non TMO‑Non 1.08 0.01
SWW470+1 +16.32 +27.82 +0.01 +1.83 TMO‑Non TMO‑Non +6.74 TMO‑Non TMO‑Non 5.92 TMO‑Non UNK‑Non
SWB022+2 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +2.33 +99.37 +0.01 0.01 0.88 TMO‑Non
SWW261+1 TMO‑Non +73.48 +121.85 +161.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.49 10.51 TMO‑Non UNK‑Non
MGT018+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.41 +0.19 +0.01 0.01 0.59 0.01
SWW253+1 +21.80 +80.82 +60.96 +12.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +5.28 0.01 TMO‑Non UNK‑Non
CSR113+21 +0.08 +0.98 +0.12 +1.19 +12.86 +1.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
REL025+2 TMO‑Non +108.73 +62.95 TMO‑Non TMO‑Non TMO‑Non +4.60 UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
LCL640+1.001 +0.01 +0.39 +0.01 +1.66 +0.01 +0.01 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 1.57 TMO‑Non
SWV487+3 +0.01 +0.01 +28.23 +2.55 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non 142.34 TMO‑Non UNK‑Non
SWB020+2 +11.73 +1.17 +0.01 +0.96 +47.06 +1.48 +7.03 TMO‑Non TMO‑Non 144.05 TMO‑Non TMO‑Non
HAL004+1 +2.76 +37.44 +116.73 +11.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV438+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.54 +0.09 TMO‑Non TMO‑Non 0.58 0.01
SWV458+1 +2.70 +1.29 TMO‑Non +204.22 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.01 0.01 TMO‑Non UNK‑Non
MGT007+1 +0.01 +0.01 +0.01 +0.85 +0.01 +0.01 +1.52 +0.19 +0.01 0.01 0.68 0.01
GEO285+1 +9.74 +0.02 +1.27 +4.20 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
KRS263+1 +0.01 +0.01 +6.98 +0.84 +0.01 +0.01 +2.72 +4.09 TMO‑Non TMO‑Non 0.59 0.01
PRO001+4 +0.01 +47.15 +3.29 +3.29 TMO‑Non +8.48 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
MGT015+1 +0.01 +0.01 +0.01 +0.84 +0.01 +0.01 +1.41 +0.19 +0.01 0.01 0.59 0.01
SWW474+5 +4.47 +48.29 +116.71 +2.24 +2.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
CSR115+93 +0.08 +0.99 +0.12 +0.98 +4.74 +2.18 TMO‑Non TMO‑Non TMO‑Non 93.33 5.28 105.16
SWV472+1 +3.46 +4.38 TMO‑Non +56.49 TMO‑Non TMO‑Non +25.82 UNK‑Non +0.01 0.01 TMO‑Non UNK‑Non
LCL664+1.010 +25.22 +1.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV448+1 +0.01 +0.01 TMO‑Non +158.17 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non 0.99 TMO‑Non UNK‑Non
GEO168+1 TMO‑Non TMO‑Non +172.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO290+1 +8.88 +0.97 +1.97 +36.64 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
LCL652+1.020 +26.46 TMO‑Non +128.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925+8 +3.27 +4.79 +125.92 +107.71 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
NLP562+1 +23.25 +51.78 +20.87 UNK‑Non TMO‑Non +66.87 TMO‑Non UNK‑Non TMO‑Non 189.83 UNK‑Non TMO‑Non
SWB049+1 +0.01 +0.01 +0.01 +1.29 +26.77 +4.08 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 134.68
NLP560+1 +23.20 +51.34 +24.77 UNK‑Non TMO‑Non +56.27 TMO‑Non UNK‑Non TMO‑Non 159.94 UNK‑Non TMO‑Non
SWW297+1 +0.20 +0.23 +29.50 +2.32 +12.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 7.15 UNK‑Non UNK‑Non
BOO109+1 +0.01 +29.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV467+1 +2.30 +5.36 TMO‑Non +37.66 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.01 0.01 TMO‑Non UNK‑Non
SYN353+1 +0.01 +0.40 +0.01 +1.01 +9.98 TMO‑Non +3.16 +0.01 TMO‑Non GUP‑Non 0.59 0.01
GRP774+1 +64.42 +41.07 +1.59 +2.37 TMO‑Non TMO‑Non +15.14 +11.78 GUP‑Non TMO‑Non TMO‑Non UNK‑Non
NLP561+1 +23.21 +51.80 +25.52 UNK‑Non TMO‑Non +67.37 TMO‑Non UNK‑Non TMO‑Non 191.15 UNK‑Non TMO‑Non
SWW278+1 +26.82 +5.85 +37.61 +2.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 29.16 TMO‑Non UNK‑Non
AGT023+2 +1.46 +0.01 TMO‑Non +64.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 20.64 TMO‑Non TMO‑Non
NUM861+1 +0.01 +4.30 +112.44 TMO‑Non +42.26 +188.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW213+1 +7.94 +2.42 +123.62 +40.42 TMO‑Non TMO‑Non +82.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SCT115+1 +2.87 +0.01 +73.84 +6.11 +182.53 TMO‑Non TMO‑Non TMO‑Non +1.48 3.77 TMO‑Non UNK‑Non
SWW298+1 +0.20 +0.22 +29.51 +2.28 +11.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWC299+1 +1.39 +99.63 +116.60 +1.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 101.54 TMO‑Non TMO‑Non
REL019+1 TMO‑Non TMO‑Non +67.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW365+1 +1.67 +2.26 +129.59 +5.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
KLE169+1 +225.32 +3.29 +57.19 +44.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non 0.01 TMO‑Non UNK‑Non
SWW218+1 +1.08 +0.03 TMO‑Non TMO‑Non +4.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWV474+1 +3.27 +4.39 +53.24 +182.84 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SET758+4 +239.47 +209.26 TMO‑Non +6.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01 0.01 TMO‑Non TMO‑Non
SWW391+1 +2.07 +2.17 +127.56 +2.42 +13.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
GRP778+1 +193.34 +7.37 +117.43 +14.84 TMO‑Non TMO‑Non +11.42 TMO‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
SWV490+3 +0.01 +0.01 +36.47 +64.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
GEO089+1 +5.66 +0.01 +125.00 +2.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 6.49 TMO‑Non 0.01
SCT158+1 +0.01 +1.37 TMO‑Non +2.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
CSR002+1 +7.67 TMO‑Non +2.78 +87.86 TMO‑Non +10.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
GEO306+1 +2.36 +1.76 +0.01 +10.72 +36.96 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW295+1 +1.07 +0.98 +32.37 +43.41 +11.87 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW252+1 +94.29 +99.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +26.91 TMO‑Non TMO‑Non 0.01 TMO‑Non UNK‑Non
SEU429+4 +6.41 +8.25 +34.02 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non
SWW299+1 +1.47 +1.57 +125.23 +58.34 +11.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
PUZ077+1 +0.01 +1.78 +84.11 TMO‑Non +67.26 +0.01 TMO‑Non UNK‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
CSR004+1 +8.19 TMO‑Non +31.60 +148.42 TMO‑Non +10.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW326+1 +1.07 +0.23 +130.89 +2.59 +12.87 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SCT163+1 +27.85 +22.28 +45.72 +26.87 TMO‑Non TMO‑Non +5.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW362+1 +1.68 +1.77 +132.56 +8.20 +15.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW394+1 +1.46 +0.22 +31.03 +2.30 +11.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWB050+1 +24.62 +3.20 +123.07 +4.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ076+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN076+1 +15.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non
GEO321+1 +2.86 +13.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWB063+1 +6.95 +0.50 +79.87 +4.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
TOP028+3 +4.44 +187.71 +28.57 +4.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWB044+1 +0.01 +0.50 +11.65 +1.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR040+4 +3.54 +3.19 +39.79 TMO‑Non +43.67 +17.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SWB046+1 +0.01 +0.51 +13.55 +1.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB071+1 +0.01 +0.49 +2.85 +1.41 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT151+1 TMO‑Non +18.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.28 0.98 TMO‑Non UNK‑Non
SWB108+1 TMO‑Non TMO‑Non TMO‑Non +4.91 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW366+1 +1.67 +1.78 +31.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
CSR060+4 +1.61 +0.66 +77.88 +31.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non 149.93
PRO001+3 +15.26 +49.23 TMO‑Non +56.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non
SWW240+1 +3.35 +2.42 +149.88 +107.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.28 0.01 TMO‑Non UNK‑Non
SWW212+1 +25.96 +6.55 TMO‑Non TMO‑Non +3.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWB058+1 +1.32 +0.50 +43.64 +2.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW339+1 +1.98 +4.62 +32.42 +2.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW346+1 +1.07 +1.06 +31.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWB086+1 +2.83 +4.80 +74.18 +1.75 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW286+1 +113.81 +42.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.18 TMO‑Non TMO‑Non UNK‑Non
SCT170+2 TMO‑Non +44.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
KLE016+2 TMO‑Non TMO‑Non +67.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non 38.06 TMO‑Non UNK‑Non
SWW340+1 +1.87 +2.07 +31.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
CSR074+4 +1.17 +2.67 +219.54 +1.78 +212.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SWW304+1 +1.24 +1.38 +31.84 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWB064+1 +7.62 +0.50 +46.22 +3.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926+8 +43.27 +3.76 +12.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
HAL001+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
SWW250+1 +20.34 +29.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +12.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW331+1 +1.37 +1.38 +31.71 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW357+1 +2.37 +148.77 +129.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW395+1 +1.27 +1.27 +122.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW380+1 +1.08 +1.17 +32.54 +224.59 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW306+1 +1.86 +1.96 +126.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
HAL001+2 +64.61 +56.83 TMO‑Non +31.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW335+1 +1.47 +1.58 +37.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW389+1 +0.20 +1.05 +31.01 +59.48 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW189+1 +17.13 TMO‑Non +23.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.88 TMO‑Non TMO‑Non UNK‑Non
SWW396+1 +1.07 +1.08 +31.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SEU266+2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWB079+1 +2.30 +4.79 TMO‑Non +4.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
AGT021+1 +78.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU356+2 TMO‑Non TMO‑Non TMO‑Non +10.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW248+1 +51.64 +85.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +11.81 TMO‑Non +2.38 TMO‑Non TMO‑Non UNK‑Non
LAT337+3 +197.19 +184.84 +163.84 +72.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWW377+1 +1.37 +1.48 +31.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWB069+1 +1.75 +7.12 TMO‑Non +5.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW379+1 +1.37 +1.48 +31.89 TMO‑Non +28.57 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW336+1 +1.48 +1.76 +129.53 +7.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWW378+1 +1.37 +1.37 +31.90 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
LCL505+1 TMO‑Non +133.08 +208.51 +77.30 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
REL034+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
CSR064+6 +104.42 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SWB070+1 +2.30 +29.84 TMO‑Non +10.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO109+1 +123.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB021+1 +23.13 +3.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB013+1 TMO‑Non +17.02 TMO‑Non +147.70 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR068+6 +101.93 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
GEO311+1 TMO‑Non TMO‑Non +216.94 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
TOP023+3 +3.34 +191.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWB059+1 TMO‑Non TMO‑Non TMO‑Non +8.42 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW270+1 TMO‑Non TMO‑Non +70.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +7.58 TMO‑Non TMO‑Non UNK‑Non
SWW249+1 +58.32 +92.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +142.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW291+1 +85.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non TMO‑Non UNK‑Non
CSR059+6 +103.61 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
LAT302+2 +5.65 +60.32 +32.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non
SWB088+1 +3.65 +31.40 TMO‑Non +5.12 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO328+1 TMO‑Non TMO‑Non +231.18 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
Solved/300 281/300 274/300 249/300 237/300 167/300 122/300 119/300 91/300 60/300 147/300 112/300 106/300
Av. CPU Time 12.24 10.91 29.02 14.52 12.23 8.60 11.87 15.95 4.11 14.78 7.12 18.26
Solutions 281/300 274/300 249/300 237/300 167/300 121/300 119/300 91/300 60/300 0/300 0/300 0/300
μEfficiency 632 626 473 448 345 308 138 192 156 368 285 267
SOTAC 0.20 0.18 0.18 0.16 0.13 0.11 0.12 0.10 0.14 0.13 0.11 0.10
New Solved 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 1/2 2/2 2/2
* 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 FNN FNQ EPT EPS HOL ISA MZR

Results for FNT (First-order Non-theorems)

First-order Non-theorems iProver
 1.0‑SAT
Paradox
 3.0
CVC4
 1.2‑SAT
E
 1.8
Nitrox
 2013
Vampire
 3.0‑SAT
E‑KRHyper
 1.4
iProver‑Eq
 0.85
SWV012+1 +0.01 +0.01 +0.01 TMO‑Non +9.69 +0.01 TMO‑Non 1.09
NLP210+1 +62.66 +0.09 +32.16 +0.01 TMO‑Non +0.01 +0.01 4.07
MSC014+1 +0.01 TMO‑Non +42.37 +0.01 TMO‑Non +0.01 +0.01 0.59
NLP053+1 +30.84 TMO‑Non +32.76 +0.01 TMO‑Non TMO‑Non +0.01 TMO‑Non
LCL655+1.015 +101.85 +1.28 +5.19 TMO‑Non +34.92 TMO‑Non TMO‑Non TMO‑Non
NLP259+1 +2.58 +0.09 +36.35 +0.01 TMO‑Non +0.01 +0.01 152.45
NLP221+1 +0.01 +0.01 +4.39 +0.01 +11.99 +0.01 +0.01 0.77
NLP051+1 +30.97 TMO‑Non +32.67 +0.01 TMO‑Non TMO‑Non +0.01 TMO‑Non
LCL671+1.010 +61.73 +3.38 TMO‑Non TMO‑Non +185.11 +0.49 TMO‑Non TMO‑Non
NLP256+1 +1.08 +0.09 +1.09 +0.01 TMO‑Non +0.01 +0.01 76.97
LCL683+1.020 +1.09 +2.66 +0.96 TMO‑Non +16.98 +0.02 TMO‑Non TMO‑Non
NLP255+1 +1.16 +0.09 +6.41 +0.01 TMO‑Non +0.01 +0.01 92.25
NLP138+1 +0.01 +0.08 +1.28 +0.01 +10.91 +0.01 +0.01 0.78
NLP253+1 +3.18 +0.09 +34.97 +0.01 TMO‑Non +0.01 +0.01 143.45
NLP163+1 +8.68 +0.09 +1.09 +43.56 +19.10 +0.01 +0.01 3.56
NLP052+1 +31.07 TMO‑Non +36.07 +0.01 TMO‑Non TMO‑Non +0.99 TMO‑Non
NLP222+1 +0.01 +0.04 +0.01 +0.01 +11.63 +0.01 +0.01 0.68
NLP050+1 +30.80 TMO‑Non +31.97 +0.01 TMO‑Non TMO‑Non +0.99 TMO‑Non
SYN330+1 +0.01 +0.19 +231.63 +0.01 +8.59 +0.01 TMO‑Non 0.59
NLP215+1 +63.27 +0.09 +31.68 +0.01 TMO‑Non +0.01 +0.01 4.17
NLP168+1 +3.78 +0.09 +3.29 +2.29 +15.31 +0.01 +0.01 2.88
NLP217+1 +62.66 +0.09 +32.57 +0.01 TMO‑Non +0.01 +0.01 4.08
LCL647+1.005 +39.85 +0.49 TMO‑Non +141.97 +50.13 +9.69 +123.16 218.63
NLP254+1 +1.88 +0.09 +7.59 +0.01 TMO‑Non +0.01 +0.01 100.16
LCL639+1.015 +98.44 +1.39 +24.08 TMO‑Non +37.23 +5.56 TMO‑Non TMO‑Non
NLP216+1 +62.96 +0.09 +31.57 +0.01 TMO‑Non +0.01 +0.01 4.17
NLP048+1 +0.01 +0.05 +0.01 +0.01 +10.25 +0.01 +0.01 0.68
NLP211+1 +62.86 +0.09 +36.57 +0.01 TMO‑Non +0.01 +0.01 3.98
LCL653+1.015 +70.94 +7.59 TMO‑Non TMO‑Non TMO‑Non +0.49 TMO‑Non TMO‑Non
NLP214+1 +63.05 +0.09 +31.77 +0.01 TMO‑Non +0.01 +0.01 4.28
GRA026+1 +63.42 +111.95 +85.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 11.47
NLP250+1 +3.37 +0.09 +34.16 +0.01 TMO‑Non +0.01 +0.01 173.33
GRA025+1 +5.57 +10.08 +55.46 TMO‑Non TMO‑Non TMO‑Non +29.48 17.17
NLP218+1 +62.86 +0.09 +31.67 +0.01 TMO‑Non +0.01 +0.01 4.07
LCL685+1.020 +10.68 +11.89 TMO‑Non TMO‑Non TMO‑Non +5.84 TMO‑Non TMO‑Non
NLP213+1 +62.85 +0.09 +31.77 +0.01 TMO‑Non +0.01 +0.01 3.98
LCL659+1.015 +0.01 +0.39 +217.30 TMO‑Non +21.78 +9.28 TMO‑Non TMO‑Non
KRS048+1 +0.01 +0.01 +0.01 TMO‑Non +9.07 +0.98 TMO‑Non TMO‑Non
NLP194+1 +5.07 +0.09 +11.66 +0.01 +21.96 +0.01 +0.01 3.47
GEG001+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL651+1.020 +74.15 +18.57 TMO‑Non TMO‑Non TMO‑Non +187.02 TMO‑Non TMO‑Non
KRS049+1 +0.01 +0.02 +0.01 TMO‑Non +9.07 +0.99 TMO‑Non TMO‑Non
NLP195+1 +5.07 +0.09 +5.98 +0.01 +21.20 +0.01 +0.01 4.98
GRP396+1 +0.01 +0.01 +0.01 +0.01 +8.79 +0.98 +0.01 0.59
NLP197+1 +0.01 +0.09 +5.48 +6.99 +22.73 +0.01 +0.01 0.68
SWB036+1 +0.01 +0.39 +5.28 +28.01 +22.65 +0.21 TMO‑Non 2.55
NLP191+1 +11.37 +0.09 +2.38 +32.63 +21.77 +0.01 +0.01 3.87
NLP071+1 +30.17 TMO‑Non +30.00 +0.01 TMO‑Non TMO‑Non +15.68 TMO‑Non
NLP237+1 +7.87 +0.09 +33.75 +0.01 +25.40 +0.01 +0.01 3.29
NLP049+1 +30.97 TMO‑Non +32.75 +0.01 TMO‑Non TMO‑Non +0.01 TMO‑Non
LCL354+1 +61.56 +0.01 +0.01 TMO‑Non +4.03 +17.33 TMO‑Non TMO‑Non
NLP070+1 +30.09 TMO‑Non +29.99 +0.01 +104.09 TMO‑Non +16.98 TMO‑Non
LCL675+1.005 +33.26 TMO‑Non TMO‑Non +28.95 TMO‑Non +1.16 +6.38 52.06
NLP077+1 +30.17 TMO‑Non +30.00 +0.01 +136.87 +163.85 +15.58 TMO‑Non
MSC016+1 +5.77 +6.45 +65.65 +116.11 TMO‑Non +0.01 TMO‑Non 1.48
NLP073+1 +30.18 TMO‑Non +29.99 +0.01 +73.88 TMO‑Non +17.88 TMO‑Non
MSC013+1 +0.01 TMO‑Non TMO‑Non +0.01 TMO‑Non +0.01 +0.01 0.58
NLP090+1 +31.54 UNK‑Non +31.17 +0.01 TMO‑Non TMO‑Non +18.99 TMO‑Non
LCL641+1.015 +31.55 +0.58 TMO‑Non +116.80 TMO‑Non +7.72 +1.17 34.77
NLP089+1 +31.48 UNK‑Non +31.57 +0.01 TMO‑Non TMO‑Non +18.89 TMO‑Non
KRS279+1* TMO‑Non TMO‑Non TMO‑Non +158.65 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NLP072+1 +30.17 TMO‑Non +30.00 +0.01 +84.08 TMO‑Non +16.98 TMO‑Non
HWV053+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +10.57 GUP‑Non TMO‑Non
NLP074+1 +30.16 TMO‑Non +30.00 +0.01 +165.34 TMO‑Non +15.68 TMO‑Non
SYO593+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP088+1 +31.54 UNK‑Non +31.57 +0.01 TMO‑Non TMO‑Non +21.18 TMO‑Non
KRS177+1 +176.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP078+1 +30.27 TMO‑Non +30.01 +0.01 +88.42 +166.40 +17.07 TMO‑Non
SWB011+3 TMO‑Non +3.35 TMO‑Non +120.87 +27.93 TMO‑Non TMO‑Non TMO‑Non
NLP086+1 +31.45 UNK‑Non +36.76 +0.01 TMO‑Non TMO‑Non +18.89 TMO‑Non
SWB004+3 TMO‑Non +4.79 TMO‑Non +122.54 +28.43 TMO‑Non TMO‑Non TMO‑Non
NLP091+1 +31.67 UNK‑Non +31.57 +0.01 TMO‑Non TMO‑Non +18.98 TMO‑Non
SWB032+3 TMO‑Non +2.98 TMO‑Non +120.83 +28.37 TMO‑Non TMO‑Non TMO‑Non
SWV482+2 TMO‑Non TMO‑Non TMO‑Non +0.01 UNK‑Non +0.39 +0.01 TMO‑Non
SWB007+3 TMO‑Non +3.21 TMO‑Non +120.70 +28.23 TMO‑Non TMO‑Non TMO‑Non
NLP087+1 +31.36 UNK‑Non +36.16 +0.01 TMO‑Non TMO‑Non +20.28 TMO‑Non
SWB016+3 TMO‑Non +2.68 TMO‑Non +122.39 +28.01 TMO‑Non TMO‑Non TMO‑Non
NLP186+1 +62.36 +0.09 +32.74 +0.01 TMO‑Non +0.01 +0.01 TMO‑Non
KRS242+1 +109.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP181+1 +61.86 +0.16 +31.85 +0.01 TMO‑Non +0.01 +0.01 TMO‑Non
KRS271+1 +89.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP187+1 +61.76 +0.09 +31.16 +0.01 TMO‑Non +0.01 +0.01 TMO‑Non
SWB028+3 TMO‑Non +4.59 TMO‑Non +119.42 +28.58 TMO‑Non TMO‑Non TMO‑Non
NLP069+1 +30.13 TMO‑Non +30.00 +0.01 +133.94 TMO‑Non +17.88 TMO‑Non
KRS212+1 +90.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP075+1 +31.44 UNK‑Non +42.36 +0.01 TMO‑Non TMO‑Non +20.58 TMO‑Non
KRS245+1 +91.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP184+1 +62.16 +0.09 +31.26 +0.01 TMO‑Non +0.01 +0.01 TMO‑Non
KRS226+1 +164.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP182+1 +61.94 +0.09 +31.25 +0.01 TMO‑Non +0.01 +0.01 TMO‑Non
KRS209+1 +177.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP180+1 +61.86 +0.09 +31.86 +0.01 TMO‑Non +0.01 +0.01 TMO‑Non
SWB005+3 TMO‑Non +3.79 TMO‑Non +121.62 +28.00 TMO‑Non TMO‑Non TMO‑Non
NLP085+1 +31.46 UNK‑Non +36.77 +0.01 TMO‑Non TMO‑Non +18.88 TMO‑Non
KRS270+1 +85.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM449+1 +0.01 +0.01 +0.01 TMO‑Non +9.88 +0.01 TMO‑Non TMO‑Non
SWB017+3 TMO‑Non +3.29 TMO‑Non +120.90 +28.45 TMO‑Non TMO‑Non TMO‑Non
NLP092+1 +31.52 UNK‑Non +31.35 +0.01 TMO‑Non TMO‑Non +21.08 TMO‑Non
KRS221+1 +117.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV482+1 TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non +0.39 +0.01 TMO‑Non
NLP093+1 +31.66 UNK‑Non +30.97 +0.01 TMO‑Non TMO‑Non +18.69 TMO‑Non
MGT038+2 +20.98 +0.01 +0.01 TMO‑Non +5.24 +62.76 TMO‑Non TMO‑Non
SWV483+2 TMO‑Non GUP‑Non TMO‑Non +1.78 TMO‑Non +96.37 +3.29 TMO‑Non
KRS051+1 +94.06 +0.23 +7.88 TMO‑Non +22.79 +136.38 TMO‑Non TMO‑Non
HWV048+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL354+1 +61.47 +0.03 +0.01 TMO‑Non +4.05 +17.45 TMO‑Non TMO‑Non
NUM448+1 +0.01 +0.09 +0.01 TMO‑Non +10.05 +0.01 TMO‑Non TMO‑Non
LAT386+1 +62.06 +0.04 +0.01 TMO‑Non +7.34 +0.99 TMO‑Non TMO‑Non
NUM447+1 +0.01 +0.01 +0.01 TMO‑Non +9.79 +0.01 TMO‑Non TMO‑Non
LCL577+1 +62.95 +0.08 +0.01 TMO‑Non +5.22 TMO‑Non TMO‑Non TMO‑Non
PRO013+4 +65.85 +0.09 +19.88 TMO‑Non +13.17 TMO‑Non TMO‑Non TMO‑Non
LAT385+1 +61.65 +0.02 +0.01 TMO‑Non +7.45 +1.00 TMO‑Non TMO‑Non
HAL005+1 TMO‑Non +0.49 TMO‑Non TMO‑Non +20.62 TMO‑Non TMO‑Non TMO‑Non
PRO013+3 +69.96 +0.17 +37.67 TMO‑Non +14.44 TMO‑Non TMO‑Non TMO‑Non
NUM441+1 +69.15 +0.09 +4.49 TMO‑Non +12.55 TMO‑Non TMO‑Non TMO‑Non
NUM440+1 +62.46 +0.09 +0.19 TMO‑Non +10.05 +1.28 TMO‑Non TMO‑Non
LAT383+1 +62.36 +0.01 +0.01 TMO‑Non +7.50 +0.97 TMO‑Non TMO‑Non
PRO013+1 +68.36 +0.08 +35.18 TMO‑Non +13.60 TMO‑Non TMO‑Non TMO‑Non
NUM439+1 +72.35 +0.09 +5.69 TMO‑Non +12.47 +40.71 TMO‑Non TMO‑Non
PRO013+2 +66.87 +0.09 +31.67 TMO‑Non +12.95 TMO‑Non TMO‑Non TMO‑Non
LAT384+1 +61.66 +0.02 +0.01 TMO‑Non +7.43 +0.98 TMO‑Non TMO‑Non
NUM445+5 +64.77 +0.09 +0.01 TMO‑Non +10.23 +0.01 TMO‑Non TMO‑Non
RNG110+1 +67.55 +0.09 +0.01 TMO‑Non +10.29 TMO‑Non TMO‑Non TMO‑Non
NUM437+1 +63.06 +0.09 +0.01 TMO‑Non +9.92 +0.01 TMO‑Non TMO‑Non
COM014+1 +61.54 +0.01 +0.01 TMO‑Non +10.91 +2.05 TMO‑Non TMO‑Non
NUM445+1 +0.01 +0.08 +0.01 TMO‑Non +9.73 +0.01 TMO‑Non TMO‑Non
NUM446+1 +0.01 +0.08 +0.01 TMO‑Non +10.08 +0.01 TMO‑Non TMO‑Non
SWV484+1 TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non +94.23 +1.08 TMO‑Non
HAL003+2 +139.25 +0.68 TMO‑Non TMO‑Non +19.56 TMO‑Non TMO‑Non TMO‑Non
PRO007+3 TMO‑Non +0.28 TMO‑Non TMO‑Non +23.54 TMO‑Non TMO‑Non TMO‑Non
SWV485+1 TMO‑Non GUP‑Non TMO‑Non +2.77 TMO‑Non +98.32 +6.88 TMO‑Non
SWV483+1 TMO‑Non TMO‑Non TMO‑Non +2.18 TMO‑Non +96.29 +3.68 TMO‑Non
PRO007+1 +167.15 +0.21 TMO‑Non TMO‑Non +20.43 TMO‑Non TMO‑Non TMO‑Non
HWV049+2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV042+1 +120.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV042+2 +202.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV048+2 +235.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE172+1* +90.87 +0.02 +16.78 TMO‑Non +8.31 TMO‑Non TMO‑Non TMO‑Non
SWV238+1 TMO‑Non TMO‑Non TMO‑Non +1.98 TMO‑Non +0.01 TMO‑Non TMO‑Non
LCL578+1 +68.86 +0.08 +4.68 TMO‑Non +8.63 TMO‑Non TMO‑Non TMO‑Non
PRO007+4 +167.44 +0.19 TMO‑Non TMO‑Non +19.58 TMO‑Non TMO‑Non TMO‑Non
HAL003+1 +114.22 +0.49 TMO‑Non TMO‑Non +19.81 TMO‑Non TMO‑Non TMO‑Non
KLE136+1 +93.46 +0.08 +207.30 TMO‑Non +10.35 TMO‑Non TMO‑Non TMO‑Non
KLE050+2 TMO‑Non +2.49 TMO‑Non TMO‑Non +79.14 TMO‑Non TMO‑Non TMO‑Non
LCL565+1 +177.25 +0.37 TMO‑Non TMO‑Non +11.66 TMO‑Non TMO‑Non TMO‑Non
KLE050+4 TMO‑Non +3.08 TMO‑Non TMO‑Non +68.64 TMO‑Non TMO‑Non TMO‑Non
KLE050+1 TMO‑Non +3.69 TMO‑Non TMO‑Non +66.55 TMO‑Non TMO‑Non TMO‑Non
LCL571+1 +202.83 +0.29 TMO‑Non TMO‑Non +11.64 TMO‑Non TMO‑Non TMO‑Non
KLE050+3 TMO‑Non +2.98 TMO‑Non TMO‑Non +75.10 TMO‑Non TMO‑Non TMO‑Non
LCL567+1 TMO‑Non +0.28 TMO‑Non TMO‑Non +12.89 TMO‑Non TMO‑Non TMO‑Non
Solved/150 122/150 99/150 96/150 79/150 79/150 78/150 67/150 37/150
Av. CPU Time 52.47 2.28 25.94 20.94 29.70 15.89 7.57 30.77
Solutions 122/150 99/150 96/150 79/150 79/150 78/150 67/150 0/150
μEfficiency 165 549 204 396 36 395 292 92
SOTAC 0.28 0.23 0.19 0.22 0.24 0.20 0.19 0.15
New Solved 1/4 1/4 1/4 1/4 1/4 1/4 0/4 0/4
* 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 FNN FNQ EPT EPS HOL ISA MZR

Results for EPR (Effectively Propositional CNF)

Effectively Propositional CNF iProver
 0.9
iProver
 1.0
iProver‑Eq
 0.85
Vampire
 3.0‑EPR
PEPR
 0.0ps
E
 1.8
E‑KRHyper
 1.4
5alarm
 0.1
HWV071‑1* +96.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV068‑1* 13.29 +46.35 117.37 +6.06 37.48 TMO‑Non TMO‑Non TMO‑Non
HWV062‑1* +8.28 +34.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV069‑1* 7.18 +25.97 77.66 +4.74 4.18 +231.71 +42.07 TMO‑Non
GRP132‑1.005 +0.48 +1.28 TMO‑Non 0.39 0.09 TMO‑Non +0.01 TMO‑Non
HWV058‑1* 25.29 +51.58 18.08 +7.45 TMO‑Non +6.78 GUP‑Non TMO‑Non
SYN434‑1 +0.01 +0.01 1.29 0.39 0.09 TMO‑Non TMO‑Non TMO‑Non
SWV418‑1.820 28.39 +39.58 75.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN427‑1 +0.18 +0.99 2.38 116.42 105.77 TMO‑Non UNK‑Non TMO‑Non
SWV418‑1.580 24.08 +23.37 62.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN428‑1 +0.28 +0.01 3.49 76.64 1.29 TMO‑Non UNK‑Non TMO‑Non
SWV421‑1.060 6.08 +6.19 TMO‑Non +1.16 40.98 +61.08 TMO‑Non TMO‑Non
SYN425‑1 +0.09 +0.01 2.68 32.35 0.39 +10.46 TMO‑Non TMO‑Non
SWV424‑1.400 12.39 +11.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN519‑1 +17.89 +34.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV419‑1.010 1.89 +3.18 70.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN830‑1 +4.99 +16.67 21.18 +3.28 11.39 +5.26 TMO‑Non TMO‑Non
SYN439‑1 0.08 +0.01 0.99 +0.39 99.87 TMO‑Non TMO‑Non TMO‑Non
SYN449‑1 +0.01 +0.01 0.89 0.39 0.29 +186.77 TMO‑Non TMO‑Non
SWV418‑1.900 29.68 +55.76 104.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN829‑1 +5.89 +15.78 19.01 +2.98 10.93 +4.76 TMO‑Non TMO‑Non
SWV420‑1.010 4.29 +5.28 93.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN547‑1 +0.05 +0.01 1.59 41.97 6.38 TMO‑Non +134.64 TMO‑Non
SWV418‑1.300 16.68 +21.07 105.86 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SYN870‑1 +1.10 +0.01 0.59 +0.01 0.01 +0.01 TMO‑Non TMO‑Non
LAT005‑2 0.59 +0.99 11.38 +0.01 8.79 +0.01 +0.01 TMO‑Non
SYN832‑1 +5.68 +14.18 17.48 +2.77 16.67 +4.36 TMO‑Non TMO‑Non
SWV424‑1.450 16.17 +14.88 84.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN423‑1 +0.17 +0.01 3.48 44.44 0.09 +121.32 TMO‑Non TMO‑Non
SWV418‑1.500 99.27 +21.89 59.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN825‑1 +2.78 +10.48 13.19 +2.08 7.89 +3.26 TMO‑Non TMO‑Non
SWV424‑1.500 12.48 +19.57 83.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN826‑1 +3.27 +11.98 14.09 +2.26 7.59 +3.56 TMO‑Non TMO‑Non
SWV423‑1.010 2.89 +4.68 58.77 +14.40 1.37 TMO‑Non TMO‑Non TMO‑Non
GRP131‑1.005 +0.59 +1.18 63.38 0.39 0.59 TMO‑Non +0.01 TMO‑Non
SYN447‑1 0.06 +0.01 0.78 +0.39 11.59 +189.12 TMO‑Non TMO‑Non
SYN839‑1 +13.10 +18.18 22.99 +3.57 14.37 +5.67 TMO‑Non TMO‑Non
HWV065‑1* 72.78 +71.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN864‑1 13.48 +6.49 8.89 +1.07 TMO‑Non +2.16 TMO‑Non TMO‑Non
SYO594‑1* TMO‑Non TMO‑Non 9.69 TMO‑Non 2.69 TMO‑Non TMO‑Non TMO‑Non
SYN520‑1 +0.28 +1.38 34.69 63.13 37.48 TMO‑Non TMO‑Non TMO‑Non
SYO592‑1* TMO‑Non TMO‑Non 39.88 +14.41 17.09 TMO‑Non TMO‑Non TMO‑Non
SYN868‑1 +0.02 +0.01 0.68 +0.01 0.02 +0.01 UNK‑Non TMO‑Non
SYO588‑1* 197.76 TMO‑Non 174.76 +19.96 15.39 TMO‑Non TMO‑Non TMO‑Non
PUZ018‑2 +0.01 +0.01 0.68 0.01 0.19 TMO‑Non TMO‑Non TMO‑Non
HWV060‑1* 55.87 +107.86 155.63 TMO‑Non 16.18 TMO‑Non GUP‑Non TMO‑Non
SYN852‑1 18.59 +21.78 25.29 +4.07 TMO‑Non +6.61 TMO‑Non TMO‑Non
SYO591‑1* TMO‑Non +230.55 18.78 +14.39 5.50 TMO‑Non TMO‑Non TMO‑Non
SYN441‑1 +0.08 +0.01 1.39 1.77 10.28 TMO‑Non TMO‑Non TMO‑Non
SWV423‑1.050 95.17 TMO‑Non TMO‑Non +22.74 206.36 TMO‑Non TMO‑Non TMO‑Non
SYN446‑1 +0.01 +0.01 0.79 1.08 0.39 +150.72 TMO‑Non TMO‑Non
SWV422‑1.465 110.77 +86.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN872‑1 +0.09 +1.00 1.09 +0.03 0.28 +0.04 TMO‑Non TMO‑Non
SWV422‑1.365 64.88 +48.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN812‑1 +3.48 +12.29 14.48 +2.37 10.84 +4.46 TMO‑Non TMO‑Non
SWV421‑1.360 45.98 +132.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP131‑2.005 +0.49 +0.01 TMO‑Non 0.39 0.09 TMO‑Non +0.01 TMO‑Non
SWV421‑1.305 43.67 +95.76 202.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN518‑1 +0.29 +0.01 1.18 +0.01 0.08 TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.020 19.79 +20.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN546‑1 +0.08 +0.01 2.89 41.63 0.49 +28.91 TMO‑Non TMO‑Non
SWV419‑1.035 33.48 +45.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP124‑4.005 +0.29 +0.01 29.48 0.39 0.09 TMO‑Non +0.01 TMO‑Non
HWV044‑2 30.48 +44.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN818‑1 17.49 +17.78 21.57 +3.36 18.38 +121.27 TMO‑Non TMO‑Non
SWV419‑1.030 39.87 +33.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA040‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.200 37.58 +43.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA043‑1* +141.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +13.28 TMO‑Non
SWV421‑1.205 22.59 +37.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV042‑1 +22.19 +68.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.100 13.17 +13.57 TMO‑Non TMO‑Non 193.84 TMO‑Non TMO‑Non TMO‑Non
HWV049‑2 +45.39 +176.85 TMO‑Non +20.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.300 72.48 +74.18 TMO‑Non +22.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV048‑1 +33.08 +60.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO597‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV049‑1 +39.58 +122.64 TMO‑Non +70.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV061‑1* 113.26 TMO‑Non TMO‑Non +4.77 233.59 TMO‑Non TMO‑Non TMO‑Non
HWV048‑2 +48.46 +89.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA044‑1* TMO‑Non TMO‑Non 111.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV042‑2 +25.19 +69.37 TMO‑Non +17.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV078‑1* 14.38 +31.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO586‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA031‑1.008 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO584‑1* UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV420‑1.045 39.28 +42.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV082‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HWV047‑1 55.58 +123.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS290‑1* UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
PLA031‑1.007 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA041‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.400 53.68 +57.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS288‑1* TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HWV051‑1 30.08 +55.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV075‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ056‑2.025 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO603‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV420‑1.040 32.88 +50.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV085‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV423‑1.100 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/100 81/100 77/100 51/100 47/100 43/100 23/100 8/100 0/100
Av. CPU Time 26.76 33.86 40.58 14.72 26.91 49.93 23.75 -
Solutions 37/100 77/100 0/100 31/100 0/100 23/100 8/100 0/100
μEfficiency 269 240 122 199 181 62 51 -
SOTAC 0.31 0.30 0.24 0.21 0.20 0.17 0.21 -
New Solved 11/26 8/26 9/26 7/26 8/26 2/26 2/26 0/26
* 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 FNN FNQ EPT EPS HOL ISA MZR

Results for LTB (Large Theory Batch Problems)

Large Theory Batch Problems MaLARea
 0.5
E
 1.8‑LTB
Vampire
 3.0‑LTB
iProver
 1.0‑LTB
TEMPLAR::leanCoP
 0.8
E‑KRHyper
 1.4‑LTB
HOM004+1 +14.57 +4.16 +31.48 TMO‑Non TMO‑Non TMO‑Non
HOM031+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM032+1 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
HOM039+1 +25.28 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM058+1 +17.83 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM063+1 +28.27 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM071+1 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
HOM094+1 +12.62 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM123+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM127+1 +12.65 +0.99 +12.63 +4.85 +3.80 TMO‑Non
HOM155+1 +18.49 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HOM163+1 +11.71 +0.89 +0.76 +4.72 +2.77 TMO‑Non
HOM210+1 +13.62 +33.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM234+1 +28.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM243+1 +12.39 +0.68 +0.96 TMO‑Non TMO‑Non TMO‑Non
HOM281+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM284+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM294+1 +12.26 +1.19 +27.75 TMO‑Non GUP‑Non TMO‑Non
HOM424+1 +12.23 TMO‑Non TMO‑Non +14.81 GUP‑Non TMO‑Non
HOM513+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM538+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM542+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM548+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM551+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM561+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM569+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM600+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM691+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM722+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM731+1 +26.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM734+1 +12.34 +16.96 TMO‑Non +19.15 TMO‑Non TMO‑Non
HOM756+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM811+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM904+1 +14.76 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOM914+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM918+1 +13.14 TMO‑Non TMO‑Non +57.22 TMO‑Non TMO‑Non
HOM928+1 +55.39 TMO‑Non +4.48 TMO‑Non TMO‑Non TMO‑Non
HOM930+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM951+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM955+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOM999+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON030+1 +11.73 TMO‑Non +34.21 TMO‑Non +4.59 TMO‑Non
HON046+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON069+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON097+1 +15.26 +3.04 +3.46 TMO‑Non +4.75 TMO‑Non
HON110+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON114+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON136+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON137+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON201+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON202+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON203+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON248+1 +12.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON259+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON260+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON266+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON269+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON289+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON340+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON412+1 +12.28 +2.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON469+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON477+1 +12.70 +4.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON620+1 +13.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON644+1 +13.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON657+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON684+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON690+1 +11.83 +1.98 +5.14 TMO‑Non TMO‑Non TMO‑Non
HON694+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON721+1 +13.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON723+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON732+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON736+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON745+1 +12.29 TMO‑Non +25.51 TMO‑Non TMO‑Non TMO‑Non
HON801+1 +23.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON820+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON849+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON868+1 +20.41 +2.45 +3.44 TMO‑Non TMO‑Non TMO‑Non
HON874+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON902+1 +12.97 +2.49 +4.02 +8.14 TMO‑Non TMO‑Non
HON917+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON923+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON941+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON953+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON993+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HON996+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO008+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOO041+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO054+1 +13.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO057+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO098+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO101+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO104+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO110+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO161+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO285+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO291+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO304+1 +18.17 +38.58 +2.13 +9.44 TMO‑Non TMO‑Non
HOO318+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO327+1 +12.66 TMO‑Non +49.94 TMO‑Non TMO‑Non TMO‑Non
HOO394+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO420+1 +51.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO424+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO428+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO444+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO448+1 +12.60 +29.57 +5.83 +9.83 +4.46 TMO‑Non
HOO458+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO473+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO492+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO507+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO545+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO576+1 +13.33 +3.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO578+1 +13.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO599+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO644+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO653+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO707+1 +24.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO736+1 +13.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO775+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO780+1 +12.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO792+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO838+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO848+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO868+1 +12.87 TMO‑Non +56.73 +9.43 TMO‑Non TMO‑Non
HOO884+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO924+1 +29.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO926+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOO963+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP033+1 +12.38 +9.54 +7.91 TMO‑Non TMO‑Non TMO‑Non
HOP071+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOP077+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP128+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP175+1 +13.20 +5.16 +57.83 +21.51 +5.04 TMO‑Non
HOP190+1 +14.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP220+1 +14.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP262+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP269+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP273+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP316+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP346+1 +12.60 +4.03 +7.01 +24.12 +36.30 TMO‑Non
HOP376+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP418+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP419+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP462+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP476+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP572+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP582+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP601+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP613+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP626+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP641+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP648+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP678+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP693+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP743+1 +12.07 +4.52 +8.45 +13.53 +16.81 TMO‑Non
HOP816+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP851+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP895+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP898+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOP910+1 +13.57 TMO‑Non +8.68 TMO‑Non TMO‑Non TMO‑Non
HOQ008+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ059+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ126+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ158+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ169+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ215+1 +12.67 +11.84 +8.07 +15.65 +7.31 TMO‑Non
HOQ241+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ275+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ276+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ289+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ330+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOQ331+1 +12.31 +4.67 +3.62 +12.85 +6.76 TMO‑Non
HOQ376+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ382+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ394+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ454+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ461+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ464+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ497+1 +24.52 +7.22 +6.83 +15.08 TMO‑Non TMO‑Non
HOQ526+1 +13.10 TMO‑Non +7.85 +26.16 TMO‑Non TMO‑Non
HOQ528+1 +12.45 +5.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ544+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ566+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ585+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ614+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HOQ622+1 +40.66 +32.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ623+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ655+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ694+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ731+1 +12.53 TMO‑Non +11.17 TMO‑Non +38.44 TMO‑Non
HOQ745+1 +13.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ752+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ754+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ755+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ767+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ772+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ776+1 +11.79 +4.77 +5.13 TMO‑Non +10.62 TMO‑Non
HOQ777+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ804+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ916+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ927+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ935+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ966+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ977+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOQ992+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR001+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR011+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR012+1 +42.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR032+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR114+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR167+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR169+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR171+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR226+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR240+1 +12.53 TMO‑Non +11.37 TMO‑Non TMO‑Non TMO‑Non
HOR243+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR255+1 +13.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR277+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR298+1 +12.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR337+1 +12.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR344+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR345+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR350+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR390+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR456+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR481+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR493+1 +12.98 TMO‑Non +11.70 TMO‑Non TMO‑Non TMO‑Non
HOR516+1 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HOR534+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR564+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR602+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
HOR637+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR644+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR646+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR660+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
HOR662+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR679+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR680+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR715+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR737+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR741+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR761+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR773+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOR876+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS050+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS057+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS128+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS133+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS140+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS141+1 +13.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HOS142+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA017+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA031+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ISA058+1 UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ISA084+1 +19.92 +17.14 TMO‑Non TMO‑Non +3.05 TMO‑Non
ISA086+1 +18.64 TMO‑Non TMO‑Non TMO‑Non +17.96 TMO‑Non
ISA095+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA123+1 UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ISA158+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA182+1 +19.82 +24.05 TMO‑Non TMO‑Non +3.19 TMO‑Non
ISA199+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA211+1 UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ISA216+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA221+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA224+1 UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ISA226+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA239+1 +19.92 +2.46 TMO‑Non +8.75 TMO‑Non TMO‑Non
ISA255+1 +19.66 +2.27 TMO‑Non +6.33 TMO‑Non TMO‑Non
ISA269+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA286+1 +18.32 +23.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA324+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA346+1 +19.64 +11.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA349+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA401+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA403+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA415+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA417+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA448+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA457+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA513+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA537+1 +19.16 +2.66 +2.59 TMO‑Non +34.28 TMO‑Non
ISA580+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA604+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA650+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA651+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA658+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA660+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA683+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA690+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA693+1 +20.39 +2.91 TMO‑Non +7.59 TMO‑Non TMO‑Non
ISA755+1 +22.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA756+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA772+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA821+1 +19.67 +2.81 +18.37 TMO‑Non TMO‑Non TMO‑Non
ISA822+1 +19.59 +3.11 +14.89 TMO‑Non TMO‑Non TMO‑Non
ISA844+1 +20.10 +8.01 +5.04 TMO‑Non TMO‑Non TMO‑Non
ISA904+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA908+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA933+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISA955+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB032+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB051+1 +19.51 +2.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB085+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB089+1 UNK‑Non +3.14 +2.61 +26.05 TMO‑Non TMO‑Non
ISB125+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ISB143+1 +19.82 +5.09 +45.92 TMO‑Non TMO‑Non TMO‑Non
ISB160+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB197+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB205+1 UNK‑Non TMO‑Non +12.93 TMO‑Non TMO‑Non TMO‑Non
ISB218+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB224+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB231+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB281+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB301+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB328+1 UNK‑Non +3.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB343+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB349+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB395+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB440+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ISB493+1 +19.56 +38.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB502+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB503+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB586+1 +19.26 +2.67 +18.81 +14.44 +19.75 TMO‑Non
ISB608+1 UNK‑Non +4.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB612+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB615+1 UNK‑Non TMO‑Non +12.60 TMO‑Non TMO‑Non TMO‑Non
ISB641+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB643+1 UNK‑Non +3.01 +16.82 TMO‑Non TMO‑Non TMO‑Non
ISB712+1 +19.14 +28.57 +16.92 TMO‑Non +27.17 TMO‑Non
ISB715+1 +19.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB745+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB753+1 +19.87 +3.11 +20.13 +33.24 +6.22 TMO‑Non
ISB767+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB769+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB784+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB794+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB807+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB840+1 +19.59 +2.87 +13.49 +11.53 +26.34 TMO‑Non
ISB863+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB875+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB882+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB958+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB977+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB985+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISB988+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC022+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC042+1 +19.88 +3.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC058+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC062+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC065+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC069+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC118+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC127+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC131+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC134+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC143+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC163+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC198+1 +19.07 +3.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC206+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC249+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC257+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC269+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC272+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC288+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC292+1 +19.76 +13.44 +20.80 +27.15 +5.89 TMO‑Non
ISC322+1 +19.74 +3.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC363+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC374+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC381+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC385+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC391+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC394+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC397+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC399+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC459+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC464+1 +20.07 +3.52 +13.17 +13.70 TMO‑Non TMO‑Non
ISC508+1 UNK‑Non +3.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC512+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC532+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC566+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC650+1 +19.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC658+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC659+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC680+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC700+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC701+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC705+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC706+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC766+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC769+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC823+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC829+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC837+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC848+1 UNK‑Non +4.25 +20.06 TMO‑Non TMO‑Non TMO‑Non
ISC849+1 UNK‑Non +4.10 +20.06 TMO‑Non TMO‑Non TMO‑Non
ISC852+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC869+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC871+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC893+1 +18.27 +4.38 TMO‑Non TMO‑Non +7.48 TMO‑Non
ISC946+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC951+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC967+1 UNK‑Non +7.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISC968+1 +19.00 +3.35 +5.49 TMO‑Non TMO‑Non TMO‑Non
ISD004+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD055+1 +20.09 TMO‑Non +17.92 TMO‑Non TMO‑Non TMO‑Non
ISD061+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD064+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD082+1 +20.20 +3.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD103+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD134+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD135+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD139+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD142+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD145+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD163+1 UNK‑Non +4.50 +14.93 TMO‑Non TMO‑Non TMO‑Non
ISD169+1 +19.65 +43.99 +14.84 TMO‑Non TMO‑Non TMO‑Non
ISD189+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD192+1 +19.93 +4.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD195+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD197+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD200+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD213+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD219+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD229+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD235+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD244+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD254+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD269+1 UNK‑Non +49.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD284+1 +19.86 +4.43 TMO‑Non +28.93 +6.14 TMO‑Non
ISD291+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +12.05 TMO‑Non
ISD293+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD294+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD303+1 +19.92 +4.60 TMO‑Non +50.61 TMO‑Non TMO‑Non
ISD309+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD338+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD343+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD347+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD352+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD359+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD360+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD365+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD375+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD379+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD382+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD383+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD385+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD396+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD397+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD413+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD421+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD429+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD430+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD444+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD454+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD466+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD485+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD492+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD493+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD505+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD517+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD525+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD527+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD544+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD550+1 +19.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD555+1 +19.80 +5.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD558+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD567+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD571+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD586+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD588+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD594+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD597+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD598+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD605+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD635+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD644+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD675+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD679+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD702+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
ISD704+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD706+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD708+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD718+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD739+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD753+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD756+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD772+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD777+1 +20.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD779+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD799+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD800+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD804+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD833+1 UNK‑Non +7.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD844+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD848+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD870+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD876+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD878+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD879+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD880+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ISD884+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MZS012+1 +5.38 +1.11 +0.62 +4.56 GUP‑Non 2.79
MZS014+1 UNK‑Non +11.25 +41.73 TMO‑Non GUP‑Non TMO‑Non
MZS022+1 +27.73 TMO‑Non +51.06 TMO‑Non GUP‑Non TMO‑Non
MZS024+1 +8.51 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS026+1 +6.59 +8.23 +8.27 TMO‑Non GUP‑Non TMO‑Non
MZS030+1 +6.14 +0.90 +2.63 +37.43 GUP‑Non TMO‑Non
MZS032+1 +12.81 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS040+1 +11.07 +0.93 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS046+1 +5.93 +0.92 +0.54 +42.49 GUP‑Non TMO‑Non
MZS054+1 UNK‑Non +2.91 +7.50 TMO‑Non GUP‑Non TMO‑Non
MZS056+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS064+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS066+1 +12.35 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS070+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS072+1 +6.34 +1.03 +9.60 TMO‑Non GUP‑Non TMO‑Non
MZS074+1 +21.05 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS082+1 +12.45 TMO‑Non +8.59 TMO‑Non GUP‑Non TMO‑Non
MZS084+1 UNK‑Non +3.61 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS086+1 +5.29 +0.68 +0.31 +2.46 +1.24 1.91
MZS090+1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MZS092+1 +6.16 +3.06 +0.68 +56.97 GUP‑Non TMO‑Non
MZS102+1 +7.49 +0.94 +0.95