Results for:
THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML

Results for THF (Higher-order Theorems)

Higher-order Theorems Satallax
 3.2
Leo‑III
 1.1
Satallax
 3.0
LEO‑II
 1.7.0
Zipperpin
 1.1
Isabelle
 2016
SYO403^1 +0.01 +5.59 +0.01 +0.04 GUP‑Non 22.75
SYN364^5 +0.01 +4.91 +0.04 +0.01 +0.01 21.96
SEU670^2 +0.01 +5.73 +0.04 TMO‑Non +0.04 37.86
SYO314^5 +12.87 +5.05 +0.34 +0.01 +0.04 21.78
SYO478^6 +0.04 +6.02 +0.01 +0.04 GUP‑Non 37.13
SYO033^1 UNK‑Non +3.31 TMO‑Non GUP‑Non GUP‑Non 22.37
SEV289^5 +0.01 +6.64 +0.04 TMO‑Non GUP‑Non 43.81
SYO093^5 +0.01 +3.41 +0.01 +0.05 +0.01 22.10
LCL594^1 +0.01 +4.54 +0.04 +0.65 TMO‑Non 24.44
SEV095^5 +22.60 TMO‑Non +3.51 TMO‑Non TMO‑Non 38.45
SEU721^1 +8.24 +102.67 +5.34 TMO‑Non UNK‑Non 100.00
SYO300^5 +0.92 +4.91 +0.01 TMO‑Non GUP‑Non 22.20
SYO481^6 +0.01 +5.17 +0.01 +0.05 +0.01 38.85
SYO559^1 +0.93 +5.75 +0.03 +92.05 +0.01 22.09
SEU919^5 +0.01 +4.31 +0.01 +0.01 +0.01 23.62
LCL727^5 +16.54 +4.75 +0.54 +0.01 GUP‑Non 39.00
SYO455^2 +0.01 +6.27 +0.01 +0.04 +0.04 24.12
SEU948^5 +74.80 TMO‑Non +17.65 TMO‑Non TMO‑Non TMO‑Non
SEU579^2 +0.01 +4.81 +0.04 +0.04 +0.01 105.50
SYO018^1 +0.01 +3.16 +0.01 +0.01 +0.01 23.79
GEG008^1 +0.04 +7.50 +0.04 +0.04 UNK‑Non 106.24
SEV382^5 +17.61 +5.59 +0.03 +0.04 +0.01 38.51
SEU473^1 +0.04 +6.65 +0.55 +10.13 TMO‑Non 97.38
SEU927^5 +0.04 +5.36 +0.01 TMO‑Non +0.01 22.99
SEV181^5 +0.93 +7.02 +0.43 +133.80 GUP‑Non 38.21
SEV310^5 +38.99 +8.09 +24.99 +0.36 TMO‑Non 98.64
NUM693^1 +23.56 +4.01 +15.58 +0.04 +0.05 39.10
SEV189^5 +0.04 TMO‑Non +0.01 TMO‑Non TMO‑Non 22.53
SEU620^1 +0.04 +23.92 +0.41 TMO‑Non TMO‑Non 47.76
PUZ047^5 +0.01 +4.76 +0.04 +0.04 +0.01 38.65
SYO526^1 +0.01 +3.64 +0.04 +0.05 +0.01 22.71
SYO299^5 +0.01 +3.82 +0.01 +0.01 +0.04 23.55
SEU594^2 +0.04 +5.46 +0.04 TMO‑Non +0.01 98.91
NUM824^5 +0.04 +7.71 +0.88 +0.05 +161.48 22.29
SET557^1 +0.93 +4.79 +1.57 +0.79 GUP‑Non TMO‑Non
SYN381^5 +0.01 +4.60 +0.01 +0.01 +0.01 22.15
CSR126^2 +11.66 +9.71 TMO‑Non +0.04 +0.04 98.10
SYO262^5 +0.88 +4.85 +0.01 TMO‑Non GUP‑Non 21.77
SYO416^1 +0.01 +5.94 +0.01 +0.04 GUP‑Non 22.54
SEV238^5 +12.88 TMO‑Non +0.54 TMO‑Non TMO‑Non TMO‑Non
LCL872^1 +0.01 TMO‑Non +0.04 +0.04 TMO‑Non 22.43
SYO317^5 +19.61 +4.41 TMO‑Non +0.01 GUP‑Non 89.94
SYO442^1 +3.40 +5.89 +1.39 +0.64 +41.75 98.17
SYO287^5 +32.18 +3.62 +3.41 TMO‑Non +23.62 TMO‑Non
KRS275^7 +0.04 +6.04 +0.01 +0.01 +0.01 98.88
SYO091^5 +0.01 +3.51 +0.01 +0.01 +4.58 22.86
SYO455^4 +0.01 +5.76 +0.01 +0.01 +0.01 31.81
SYO026^1 +0.04 +4.00 +0.05 +0.04 GUP‑Non 25.24
SYO460^1 +0.05 +5.69 +0.01 +0.04 +0.01 22.57
SYO109^5 +0.01 +4.44 +0.04 +0.04 +0.05 23.60
SYO460^5 +0.01 +5.58 +0.01 +0.04 +0.01 37.39
SYO374^5 +0.93 +4.17 +0.04 +0.04 +0.01 60.03
CSR149^2 +11.57 +9.47 TMO‑Non +0.80 +0.01 94.68
SYO170^5 +36.45 +3.79 +46.41 +0.04 +0.04 85.77
LCL597^1 +0.01 +4.11 +0.01 +0.40 +6.00 24.35
SYO175^5 +0.04 +5.08 +0.04 +0.04 +0.01 22.49
NUM802^5 +0.93 +4.38 +0.01 +0.04 GUP‑Non 24.28
SYO327^5 +21.15 TMO‑Non +68.68 TMO‑Non TMO‑Non TMO‑Non
LCL723^1 +0.01 +5.91 +0.04 +0.01 GUP‑Non 30.00
SYO311^5 +21.89 +3.32 +0.04 +0.04 GUP‑Non 23.15
CSR150^2 +11.66 +8.78 TMO‑Non +0.49 +0.04 170.87
PUZ081^3 +0.94 +4.40 +0.04 +0.01 +0.01 23.43
SYO463^5 +0.01 +6.40 +0.01 +0.04 GUP‑Non 40.10
SYO114^5 +0.01 +4.08 +0.04 +0.01 +0.01 22.20
SEU758^2 +0.05 +4.21 +0.01 +0.01 +0.05 37.29
NUM753^1 +23.49 +4.87 +43.80 +0.04 +0.01 23.40
SYO425^1 +0.01 +6.33 +0.01 +0.01 GUP‑Non 22.50
SYO391^5 +7.42 +15.11 TMO‑Non +1.79 +1.55 160.29
SYN041^4 +0.01 +4.86 +0.04 +0.01 TMO‑Non 83.13
CSR144^1 +1.00 TMO‑Non +1.50 TMO‑Non +0.01 53.64
LCL706^1 +0.04 +5.77 +0.01 +0.04 TMO‑Non 22.49
SYO288^5 UNK‑Non +4.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG280^5 +0.94 +4.95 TMO‑Non +0.04 +0.01 23.25
SYO386^5 +6.22 +6.46 TMO‑Non +0.05 TMO‑Non 24.28
SEU463^1 +0.04 +5.46 +0.04 +0.05 +0.04 99.14
SEV082^5 +4.80 +7.67 +0.04 +0.77 GUP‑Non 164.34
SEU676^2 +0.01 +79.06 +0.01 TMO‑Non UNK‑Non 36.83
SYO209^5 +33.40 +49.91 +12.98 +44.68 TMO‑Non TMO‑Non
NUM799^1 +101.62 +5.48 +104.22 TMO‑Non GUP‑Non 38.44
SYO324^5 +38.49 +41.78 +24.21 +26.08 TMO‑Non 83.85
SEU932^5 +18.39 +5.16 +1.58 +0.01 +0.01 61.87
SEV091^5 +0.01 +4.76 +0.04 +0.04 +0.01 98.00
SEU897^5 +2.23 +70.89 +0.01 +50.89 GUP‑Non 94.60
SYO272^5 +23.56 TMO‑Non +20.74 TMO‑Non TMO‑Non TMO‑Non
SEU909^5 +0.01 +12.67 +0.04 TMO‑Non TMO‑Non 83.89
CSR130^1 +16.54 +4.50 +0.03 +0.04 +0.01 96.65
SEV169^5 +0.93 +5.21 +0.31 +0.01 +1.71 22.69
SEV148^5 +13.26 +11.58 +4.78 TMO‑Non TMO‑Non 99.64
SEU705^2 +21.93 +91.77 +1.27 TMO‑Non TMO‑Non 23.56
NUM762^1 +18.46 +5.15 TMO‑Non +0.04 +0.01 46.27
LCL601^1 +38.76 +6.78 +24.65 +0.04 TMO‑Non 21.95
SYO173^5 +18.69 +4.83 TMO‑Non +0.04 +0.05 25.16
SEV273^5 +18.32 +9.46 +0.03 +0.35 TMO‑Non 68.27
SEU960^5 +18.22 TMO‑Non +17.64 TMO‑Non TMO‑Non TMO‑Non
SEU593^2 +0.01 +4.99 +0.04 TMO‑Non +10.48 97.16
SYO310^5 +4.84 +3.55 +0.04 +0.03 GUP‑Non 24.67
SYO457^6 +0.01 +5.76 +0.01 +0.01 +0.01 38.84
CSR134^1 +16.85 +38.81 +0.34 +76.09 +0.05 47.32
SET619^5 +0.01 +4.61 +0.01 +0.01 +22.10 22.99
SYN036^5 +0.94 +4.75 +0.04 +0.04 +0.01 21.97
KRS276^7 +0.01 +6.11 +0.04 +0.04 +0.01 37.79
SYO309^5 UNK‑Non +28.90 TMO‑Non +55.88 GUP‑Non TMO‑Non
PUZ108^5 +18.39 TMO‑Non +17.61 TMO‑Non GUP‑Non 68.66
MSC020^5 +20.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 23.43
SYO537^1 +0.01 +4.68 +0.01 +1.07 GUP‑Non 87.51
SYO169^5 +36.06 +4.37 +29.08 +0.01 +0.01 84.81
SYO516^1 +227.10 +4.12 +73.11 +0.01 +0.04 TMO‑Non
SEV218^5 +0.88 +4.95 +3.35 +0.04 +0.05 22.78
SEU799^2 +0.01 +4.54 +0.05 TMO‑Non +0.01 22.89
SEV052^5 +4.79 +7.44 +0.04 +0.78 GUP‑Non 162.41
SEU630^2 +0.92 +10.95 +0.04 TMO‑Non TMO‑Non 45.70
SEV019^5 +6.31 +4.53 +9.67 +0.04 +0.41 24.44
SYO455^6 +0.03 +5.75 +0.01 +0.05 +0.01 38.63
SYO180^5 +1.28 +5.04 +0.04 +0.05 +0.01 23.86
SYO506^1 +16.67 +4.40 +0.04 +0.40 +0.01 23.10
SYO377^5 +0.01 +4.30 +0.01 TMO‑Non +0.01 23.14
LCL585^1 +0.04 +4.44 +0.05 +0.01 GUP‑Non 21.36
PUZ094^5 +0.05 +4.76 +5.29 +0.36 +0.01 67.80
SEV129^5 +0.04 +21.36 +0.86 +0.71 TMO‑Non 100.47
SEV254^5 +12.97 TMO‑Non +0.55 TMO‑Non TMO‑Non TMO‑Non
LCL588^1 +0.01 +3.83 +0.04 +0.01 GUP‑Non 23.21
CSR131^1 +38.55 +87.05 +11.41 +76.30 +0.05 108.59
SYO050^2 +33.23 +5.76 +0.04 +0.04 +0.04 24.42
SEV072^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +8.46 TMO‑Non
SYO457^4 +0.01 +5.75 +0.01 +0.04 GUP‑Non 30.40
SEU939^5 +0.94 TMO‑Non +68.33 TMO‑Non UNK‑Non TMO‑Non
SEU728^2 +0.01 +4.66 +0.01 +0.04 +0.01 38.98
SEV064^5 +18.06 TMO‑Non +1.78 TMO‑Non TMO‑Non TMO‑Non
LCL705^1 +0.04 +6.18 +0.04 +0.04 +0.04 23.38
SEV152^5 +107.81 +13.16 TMO‑Non TMO‑Non TMO‑Non 85.20
GEG006^1 +0.04 +13.02 +4.72 +0.40 UNK‑Non 105.17
SEV156^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 97.11
PUZ109^5 +0.04 +5.11 +0.44 +0.01 +0.04 46.09
SEV154^5 +169.37 +12.11 TMO‑Non TMO‑Non TMO‑Non 84.05
SYO428^1 +0.01 +5.50 +0.01 +0.04 GUP‑Non 24.56
SEV066^5 +18.08 TMO‑Non +1.77 TMO‑Non TMO‑Non TMO‑Non
SEU945^5 +0.93 +3.71 +0.04 +0.62 GUP‑Non 39.07
SEV157^5 +0.88 +56.91 +7.15 TMO‑Non TMO‑Non 98.20
SYO462^6 +0.01 +5.94 +0.01 +0.04 GUP‑Non 38.68
SEV243^5 +43.56 TMO‑Non +50.31 TMO‑Non TMO‑Non 85.85
SEU699^2 +0.01 +6.75 +0.45 TMO‑Non TMO‑Non 71.49
SEV155^5 UNK‑Non +30.02 TMO‑Non TMO‑Non TMO‑Non 98.95
SYO421^1 +0.04 +5.31 +0.04 +0.05 +0.01 23.24
SEV400^5 +31.99 TMO‑Non +3.09 TMO‑Non TMO‑Non TMO‑Non
PUZ110^5 +0.04 +5.03 +0.45 +0.01 +0.01 46.64
SEV071^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 24.58
LCL691^1 +8.63 +5.13 +0.46 +0.05 UNK‑Non TMO‑Non
SEV084^5 +4.85 +8.24 +0.05 +6.29 TMO‑Non 163.38
SWV427^2 +6.88 +5.45 +0.41 +0.04 TMO‑Non 22.84
SYO548^1 +17.59 +4.83 +2.08 TMO‑Non GUP‑Non TMO‑Non
SEV166^5 +0.94 +5.16 +0.01 +6.45 TMO‑Non 31.78
SYO174^5 +2.65 +5.99 +6.96 TMO‑Non +98.62 29.93
SEU538^1 +0.01 +18.38 +0.32 +2.52 +0.05 98.50
SEV050^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR145^1 +0.93 +5.71 +1.48 +0.01 +0.04 37.64
GRA027^1 +22.59 TMO‑Non +3.64 TMO‑Non TMO‑Non TMO‑Non
SYO455^5 +0.01 +5.96 +0.01 +0.01 +0.01 37.20
SEV244^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 83.39
SEU685^2 +0.04 +5.88 +0.04 TMO‑Non +0.04 22.68
SEV101^5 +2.51 TMO‑Non +3.47 TMO‑Non TMO‑Non 77.88
SEU828^1 +0.04 +3.71 +0.01 +0.01 UNK‑Non 23.23
SEV085^5 UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non 167.74
SYO557^1 +0.04 +4.87 +0.01 +0.05 UNK‑Non 22.89
SEV246^5 +39.11 TMO‑Non +25.05 TMO‑Non TMO‑Non 92.08
SYO460^3 +0.01 +6.09 +0.01 +0.01 +0.01 23.75
SEV414^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO407^1 +0.01 +5.40 +0.04 +0.05 GUP‑Non 22.66
GRA030^1 +12.92 TMO‑Non +0.34 TMO‑Non TMO‑Non TMO‑Non
AGT028^2 +0.94 +8.19 +0.04 +0.04 GUP‑Non 54.29
SYO332^5 UNK‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
SEU664^1 +0.04 +61.93 +0.88 TMO‑Non UNK‑Non 92.64
SEV244^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 83.87
LCL592^1 +0.01 +4.86 +0.04 +0.04 GUP‑Non 22.66
SEV113^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA032^7 +0.92 +6.64 +0.44 +0.04 +2.10 97.67
SEV069^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO392^1 +0.01 +5.36 +0.01 +0.04 GUP‑Non 21.74
SEU940^5 +23.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO455^3 +0.04 +5.35 +0.04 +0.05 +0.04 22.58
MSC021^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU477^1 +0.01 TMO‑Non +0.01 +8.81 GUP‑Non 40.31
SYO326^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO400^1 +0.01 +6.31 +0.05 +0.05 GUP‑Non 21.89
SEV305^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU603^2 +0.01 +4.15 +0.01 +31.64 +0.04 22.53
SYO533^1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU490^1 +0.94 +7.15 +0.04 +267.10 TMO‑Non 98.97
SEV305^6 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO497^6 +0.04 +6.05 +0.01 +0.04 GUP‑Non 38.41
SEV312^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL586^1 +0.01 +4.17 +0.01 +0.01 GUP‑Non 23.44
SYO509^1 UNK‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO393^1 +0.04 +5.85 +0.05 +0.01 GUP‑Non 22.84
SYO329^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL603^1 +18.97 +6.88 +24.31 +0.04 TMO‑Non 24.97
LCL729^5 UNK‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
SEU669^2 +0.01 +6.45 +0.04 TMO‑Non +0.01 37.67
SEV068^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO471^6 +0.01 +5.81 +0.04 +0.01 +0.01 98.32
SEV317^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO241^5 +0.93 +8.24 +0.35 +134.12 GUP‑Non 23.09
SEV299^5 +0.01 +6.75 +0.04 TMO‑Non +0.01 23.15
LCL619^1 +18.69 +5.31 +4.50 +0.01 GUP‑Non 24.09
SYN978^4 +0.01 +4.75 +0.01 +0.01 GUP‑Non 37.53
SYO445^1 +0.01 +5.82 +0.55 +1.95 GUP‑Non 86.50
SYO469^5 +0.01 +6.57 +0.01 +0.04 TMO‑Non 40.34
SEU632^2 +23.62 +6.20 +22.53 +0.04 TMO‑Non 22.26
SYO413^1 +0.01 +5.56 +0.01 +0.05 GUP‑Non 22.54
SEU713^2 +0.01 +4.74 +0.04 +0.05 +0.01 36.73
SYO495^6 +0.05 +5.79 +0.04 +0.04 GUP‑Non 37.52
SEV046^5 +129.99 +7.00 +1.46 +0.04 +0.01 98.19
SYO488^6 +0.04 +6.48 +0.01 +0.05 GUP‑Non 38.37
LCL718^1 +0.01 +5.89 +0.01 +0.01 UNK‑Non 26.56
SEU749^2 +0.04 +5.61 +0.56 +0.04 +0.04 83.77
SEU527^1 +0.04 +15.81 +0.55 +1.28 +0.04 97.85
LCL602^1 +38.91 +7.11 +25.07 +0.04 UNK‑Non 23.26
SYO470^6 +1.08 +6.56 +0.01 +0.05 +0.04 98.15
SYO436^1 +0.01 +5.27 +0.04 +0.01 GUP‑Non 37.39
SEU876^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO534^1 +0.04 +4.52 +0.01 +15.95 UNK‑Non 85.67
LCL606^1 +0.01 +4.22 +0.04 +0.01 GUP‑Non 23.14
SYO458^6 +0.01 +6.34 +0.04 +0.05 GUP‑Non 38.68
SEV223^5 +12.95 +35.90 +0.01 +107.07 TMO‑Non TMO‑Non
CSR127^2 +11.58 +10.58 TMO‑Non +0.04 +0.04 98.99
SEU527^2 +0.01 +4.54 +0.01 +0.04 +0.01 21.77
ALG249^3 +93.20 +11.11 +4.49 +1.33 +0.05 97.49
ALG261^1 +98.11 +13.11 +5.14 +1.64 +0.05 99.11
SYO437^1 +0.01 +6.61 +0.01 +0.01 TMO‑Non 41.83
SYO053^2 +2.30 +5.07 +0.01 +0.03 GUP‑Non 23.68
SYO060^4 +0.01 +5.27 +0.04 +0.04 TMO‑Non 38.49
LCL708^1 +0.01 +5.53 +0.04 +0.01 GUP‑Non 21.85
LCL584^1 +0.04 +4.48 +0.04 +0.04 GUP‑Non 24.40
LCL613^1 +0.01 +4.41 +0.01 +0.01 GUP‑Non 22.07
SEV060^5 +0.01 +4.90 +0.01 +0.04 +0.01 22.12
SEU666^2 +0.01 +5.47 +0.01 TMO‑Non +0.01 35.79
SYO574^7 +0.01 +5.64 +0.04 +0.04 GUP‑Non 38.56
SYO052^2 +33.97 +5.73 +44.24 +0.56 UNK‑Non 22.39
ALG281^5 +0.93 +4.39 TMO‑Non +0.01 +0.01 22.54
SWV434^4 +4.79 +4.62 +0.04 +0.01 UNK‑Non 23.38
ALG264^3 +97.04 +15.79 +33.42 +1.77 TMO‑Non 199.59
LCL713^1 +108.29 +40.49 +98.25 +0.46 TMO‑Non 103.28
SYO572^7 +0.01 +5.63 +0.01 +0.04 GUP‑Non 39.10
ALG283^5 +2.21 +4.20 TMO‑Non +0.01 +0.01 24.02
SYO435^1 +0.01 +5.53 +0.04 +0.04 GUP‑Non 36.91
SYO048^1 +0.01 +6.12 +0.04 +0.04 GUP‑Non 23.28
SEU808^1 +26.40 +184.86 1.94 TMO‑Non UNK‑Non 99.02
NUM417^1 +0.05 TMO‑Non +0.01 TMO‑Non +3.15 37.67
SEU519^1 +12.97 +15.28 +0.54 +1.00 +0.04 106.36
SET623^5 +0.01 +9.02 +0.01 +0.35 TMO‑Non 22.57
LCL722^1 +0.04 +5.76 +0.01 +0.01 +0.01 22.37
SEU902^5 +12.86 +5.36 +0.34 +0.04 GUP‑Non 23.16
SEU667^1 +11.30 +37.03 +0.46 TMO‑Non UNK‑Non 98.84
SYO468^6 +0.01 +6.31 +0.01 +0.05 GUP‑Non 38.56
SET622^5 +0.01 +5.51 +0.01 +0.01 TMO‑Non 23.35
SYO439^1 +0.04 +5.43 +0.42 +0.05 GUP‑Non 93.29
LCL704^1 +0.04 +6.20 +0.01 +0.04 GUP‑Non 25.38
SYO402^1 +0.01 +5.93 +0.01 +0.04 GUP‑Non 24.80
PUZ114^5 +0.04 +5.30 +0.45 +0.05 +0.05 44.40
ALG279^5 +0.93 +4.79 TMO‑Non +0.01 +0.04 24.66
SYO046^1 +0.01 +5.58 +0.04 +0.01 GUP‑Non 23.45
SEU557^2 +0.95 +7.59 +0.04 +26.02 +0.01 24.26
SYO423^1 +0.01 +5.72 +0.04 +0.04 +0.01 22.92
LCL629^1 +1.48 UNK‑Non +18.15 +0.01 +0.01 38.45
SWV435^4 +0.89 +4.69 +0.04 +0.01 +0.04 24.41
LCL720^1 +0.01 +5.31 +0.01 +0.01 GUP‑Non 22.75
SYO541^1 +12.96 +5.08 +0.04 +0.71 GUP‑Non 86.36
SEU583^1 +2.07 +28.23 +0.45 +14.35 +0.05 88.05
SYO038^1.003.003 +0.92 +3.96 TMO‑Non +0.04 +22.26 21.23
NUM801^1 +38.43 +9.19 +9.63 +26.18 GUP‑Non 31.00
SEU706^2 +0.95 +6.04 +3.09 +0.05 GUP‑Non 38.47
SYO223^5 +1.00 +4.92 +0.01 +0.04 +0.01 84.45
SEU789^2 +107.59 +5.29 +51.24 +0.04 +0.01 83.38
SEV040^5 +80.98 TMO‑Non +135.17 +2.86 TMO‑Non 36.77
SYO476^6 +0.04 +5.17 +0.04 +0.01 GUP‑Non 38.86
SEV239^5 +0.01 +4.97 +0.04 +0.05 UNK‑Non 23.79
SWV073^7 +1.77 +21.53 +0.04 TMO‑Non TMO‑Non 41.37
PUZ092^5 +0.45 +5.30 +0.04 +0.03 +0.05 41.40
SYO458^4 +0.01 +5.40 +0.01 +0.05 GUP‑Non 31.27
LCL711^1 +0.01 +5.99 +0.04 +0.04 +0.01 23.79
SYO433^1 +0.01 +5.77 +0.01 +0.04 TMO‑Non 38.52
SYO474^6 +0.44 +5.42 +0.01 +0.04 GUP‑Non 39.03
SEU623^1 +2.07 +39.80 +12.96 +43.49 +0.33 105.35
NUM663^1 +0.04 +3.93 +0.04 +0.01 +0.01 23.56
SEU859^5 +47.71 TMO‑Non +4.95 TMO‑Non TMO‑Non TMO‑Non
CSR130^2 +73.44 +16.33 TMO‑Non +34.07 +0.01 218.02
SEU815^2 +0.50 +7.99 +35.74 +0.04 TMO‑Non 99.40
LCL870^1 +0.04 +5.85 +0.01 +0.04 GUP‑Non 24.07
SEU801^2 +0.01 +4.99 +0.04 TMO‑Non UNK‑Non 36.05
SEV008^5 +41.64 +8.28 +27.68 +0.04 UNK‑Non 87.24
SYO420^1 +0.01 +6.22 +0.01 +0.04 +0.01 24.11
SEU604^2 +0.01 +5.66 +0.04 +0.04 +0.01 84.24
SEV009^5 +12.97 +7.36 +2.71 +0.01 UNK‑Non 84.00
SYO458^5 +0.01 +5.77 +0.01 +0.01 GUP‑Non 37.45
ANA125^1* +35.90 UNK‑Non +2.38 GUP‑Non +0.01 22.69
SYO064^4.001 +0.93 +4.47 +0.04 +0.01 GUP‑Non 37.73
SEU613^2 +0.04 +4.80 +0.04 TMO‑Non TMO‑Non 23.88
ALG268^2 +216.17 +16.59 +11.59 +1.42 TMO‑Non 194.33
SYO064^4.002 +0.94 +5.34 +0.56 +0.04 GUP‑Non 104.91
SEU814^1 +38.12 +193.05 TMO‑Non TMO‑Non UNK‑Non 106.88
SEU805^2 +0.04 +5.13 +0.04 +0.01 +0.01 23.15
GRP001^5 +0.94 +4.59 +27.96 +0.01 +0.01 23.15
GEG010^1 +12.95 +6.71 +4.52 +0.04 UNK‑Non 110.03
SEU633^1 +11.31 +46.34 +0.55 TMO‑Non TMO‑Non 104.94
SEV080^5 +0.93 +17.25 +0.01 TMO‑Non TMO‑Non 24.01
SEU649^2 +15.27 +5.27 +5.31 +1.97 +0.01 40.54
SEU827^1 +0.01 +4.26 +0.01 +0.04 GUP‑Non TMO‑Non
SEV242^5 +12.95 +65.18 +0.30 +145.20 +0.01 84.29
SEU795^2 +130.44 TMO‑Non +129.05 TMO‑Non TMO‑Non 83.43
SEV192^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 208.76
SEU683^2 +101.92 +5.09 +11.15 TMO‑Non +0.05 38.13
SYN397^7 +2.60 +6.29 +0.04 +1.20 TMO‑Non 98.07
CSR145^2 +183.68 +9.28 +161.42 +86.26 +0.05 100.51
SWV061^7 +11.82 +32.20 +0.04 TMO‑Non +101.48 99.13
SYO016^1 +0.05 +5.59 +0.01 TMO‑Non +0.05 24.65
SEU591^1 +11.19 +30.65 +0.51 TMO‑Non +0.04 105.50
SEU486^1 +0.93 +28.83 +1.07 TMO‑Non TMO‑Non 109.00
CSR134^2 +38.57 +22.07 TMO‑Non +51.07 +0.01 83.38
CSR146^3 +0.89 +18.01 +0.35 TMO‑Non +0.01 24.05
NLP001^7 +0.04 +8.74 +0.04 +171.57 TMO‑Non 39.94
CSR128^2 +7.67 +10.44 TMO‑Non TMO‑Non +0.01 91.20
SEU602^2 +0.01 +4.26 +0.01 TMO‑Non +0.01 30.78
ALG267^2 +0.04 +10.49 +0.04 TMO‑Non +0.01 266.17
LCL873^1 +0.01 +6.58 +0.04 +0.04 GUP‑Non 97.78
SEU998^5 +23.63 +7.72 +12.93 +0.66 +0.88 23.58
SEU806^1 +38.08 TMO‑Non TMO‑Non TMO‑Non UNK‑Non 201.98
NUN025^3 +26.06 +5.45 TMO‑Non +0.01 +0.01 41.20
GEG020^1 +4.85 +7.60 +4.50 +0.49 UNK‑Non 106.39
SEU685^1 +0.04 TMO‑Non +5.47 TMO‑Non UNK‑Non 93.78
SYO271^5 +0.01 +5.40 +0.04 +0.05 GUP‑Non 70.85
SEU664^2 +25.65 +5.17 TMO‑Non +0.04 +0.01 22.32
SEU709^2 +0.94 +5.13 +1.52 +0.04 +0.01 36.79
ALG284^5 +1.19 +4.14 TMO‑Non +0.01 +0.01 21.59
SEU800^1 +41.00 +179.67 5.30 TMO‑Non UNK‑Non 109.48
CSR148^2 +11.38 +9.16 TMO‑Non +0.04 +0.01 106.84
SEU657^1 +0.05 +55.75 +21.47 TMO‑Non UNK‑Non 172.14
SEU653^2 +24.66 +6.29 TMO‑Non +0.04 +0.01 98.06
NUM827^5 +108.09 TMO‑Non +15.80 TMO‑Non +9.00 223.37
SEU517^1 +13.07 TMO‑Non +0.54 TMO‑Non TMO‑Non 196.38
SEU626^1 +4.11 +43.61 +0.88 +44.20 +1.06 104.17
SYO066^4.002 +2.16 +5.25 +5.01 +0.05 GUP‑Non 104.75
ALG251^2 +93.29 +11.43 +4.51 +1.34 +2.09 189.58
ALG266^2 +159.58 +13.10 +11.57 +1.35 TMO‑Non 190.93
NUM830^5 +0.93 +4.33 TMO‑Non +0.01 +0.01 24.60
SEV208^5 UNK‑Non +12.43 TMO‑Non TMO‑Non TMO‑Non 98.77
SEU875^5 +23.70 +31.76 +140.74 TMO‑Non TMO‑Non 84.72
SYO068^4.005 +0.93 +5.13 +2.37 +0.04 GUP‑Non 98.19
SEV067^5 +0.01 +4.75 +0.04 +0.04 +0.05 38.29
AGT032^1 +43.54 +9.30 +0.31 +0.05 TMO‑Non 119.93
SEU622^1 +3.09 +44.09 +0.56 +44.32 +0.04 97.68
SEU792^2 +39.00 +6.46 TMO‑Non +0.04 +0.01 39.36
SEU506^1 +0.04 +18.47 +0.04 +0.68 +0.05 134.79
SEU640^1 +36.88 +50.57 +0.87 TMO‑Non TMO‑Non 106.11
CSR119^2 +11.56 +9.26 +117.72 +0.05 +0.04 84.15
NUM925^2 +49.34 +23.40 +5.63 +6.21 +0.33 105.03
SYN391^4 +0.93 +5.56 +0.05 +7.17 TMO‑Non 98.95
SEU684^2 +0.04 +6.52 +0.44 TMO‑Non +0.05 23.06
SEU603^1 +11.17 +32.50 +0.55 TMO‑Non +0.05 91.68
NUM636^1 +73.05 +5.72 +21.73 +0.03 +0.04 TMO‑Non
ALG256^1 TMO‑Non +12.66 +4.96 +1.61 +1.91 98.95
SEU619^1 +0.04 +37.86 +11.12 TMO‑Non TMO‑Non 46.65
SEU711^1 +50.23 TMO‑Non +156.34 TMO‑Non UNK‑Non 106.54
LCL707^1 +0.01 +5.53 +0.01 +0.05 GUP‑Non 23.91
SYN741^7 +0.01 +7.90 +0.37 +0.44 +0.01 99.52
SEV260^5 +82.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 38.48
SEU498^1 +0.01 +6.45 +0.01 +0.04 +0.05 39.61
SYO064^4.003 +0.93 +6.87 +9.67 +23.93 GUP‑Non 107.72
SEU621^1 +6.08 +37.26 TMO‑Non TMO‑Non TMO‑Non 105.90
SYO068^4.010 +0.93 +6.55 +17.64 +0.05 GUP‑Non 98.35
SEU585^2 +108.39 +4.84 +43.28 +0.04 TMO‑Non 45.65
SYO555^1 +0.01 +7.33 +0.05 +0.37 GUP‑Non 218.05
NUM925^1 +46.75 +8.96 +4.33 +1.65 +0.41 102.19
SEU933^5 +23.78 +94.19 +17.68 TMO‑Non TMO‑Non 53.53
CSR153^2 +23.20 +7.27 +92.18 +0.05 +8.71 239.46
SEV158^5 +4.82 +36.96 +0.04 +9.09 TMO‑Non 183.20
SWW473^1 +129.60 +24.36 TMO‑Non TMO‑Non TMO‑Non 98.85
SEU707^1 +40.52 +83.11 +12.98 TMO‑Non UNK‑Non 106.22
SEU600^2 +0.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 92.58
SYO245^5 +23.50 TMO‑Non +1.57 GUP‑Non TMO‑Non 43.77
SEU709^1 +215.79 +87.63 TMO‑Non TMO‑Non UNK‑Non 105.28
NUM926^3 +282.84 +41.21 +62.52 TMO‑Non TMO‑Non 107.34
SEU632^1 +1.06 +43.63 TMO‑Non TMO‑Non TMO‑Non 105.14
ALG017^7 +90.79 +110.63 +0.04 TMO‑Non TMO‑Non 85.75
ALG290^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 158.45
SYO067^4.001 +18.00 +4.88 +20.92 +0.04 GUP‑Non 38.84
SEU781^1 +0.32 +169.98 13.69 TMO‑Non UNK‑Non 107.85
SEU756^1 +3.39 +138.43 +5.57 TMO‑Non UNK‑Non 107.25
SYO304^5 +0.01 +5.35 +0.01 TMO‑Non UNK‑Non TMO‑Non
SEV128^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 99.44
SEV087^5 +4.85 TMO‑Non +0.04 +77.37 TMO‑Non 170.18
CSR131^2 +38.03 +31.25 TMO‑Non TMO‑Non +0.36 TMO‑Non
AGT037^2 +1.54 +6.57 +0.41 +0.04 GUP‑Non TMO‑Non
CSR153^3 +23.00 +18.46 98.88 90.64 +44.09 TMO‑Non
SEU483^1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 173.69
SEU824^2 +0.01 +6.52 +0.01 TMO‑Non GUP‑Non 98.98
SEU611^1 +38.59 TMO‑Non +13.61 TMO‑Non TMO‑Non 105.64
AGT038^1 +2.84 +6.71 +0.54 +0.05 TMO‑Non TMO‑Non
SEU757^2 +0.04 +104.85 +0.56 TMO‑Non +0.04 84.18
ALG265^2 +0.43 TMO‑Non +91.59 TMO‑Non TMO‑Non TMO‑Non
SEU811^2 +44.55 +6.23 +11.20 +0.04 GUP‑Non 48.49
SEV224^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SEU874^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 45.43
LCL710^1 +19.30 +7.13 +92.82 +0.05 TMO‑Non TMO‑Non
CSR146^2 +175.75 +36.45 +159.63 TMO‑Non +0.05 93.07
SEU678^2 +0.41 TMO‑Non +6.12 TMO‑Non UNK‑Non 91.88
SWV426^2 +12.96 +6.16 +0.56 +0.04 UNK‑Non TMO‑Non
NUM816^5 +18.34 +15.18 +94.02 +150.01 GUP‑Non TMO‑Non
SEU638^1 +93.72 +44.61 +5.32 TMO‑Non +1.64 199.08
NUM817^5 +18.37 +11.81 TMO‑Non +150.31 GUP‑Non TMO‑Non
AGT028^1 TMO‑Non +12.13 +0.04 +0.38 UNK‑Non TMO‑Non
SWV446^1 +12.97 +24.54 +0.55 +3.88 UNK‑Non TMO‑Non
SET907^7 +92.80 +7.92 +7.50 +0.03 TMO‑Non TMO‑Non
SWV426^4 +0.01 +5.22 +0.04 +0.01 UNK‑Non 22.30
NUN023^1 +115.52 TMO‑Non +231.24 TMO‑Non GUP‑Non TMO‑Non
NUM686^1 UNK‑Non +4.46 TMO‑Non TMO‑Non +0.04 38.77
NUM926^1 +91.03 +11.59 +13.45 TMO‑Non TMO‑Non 39.67
QUA006^1 UNK‑Non +13.57 TMO‑Non +143.69 TMO‑Non 224.67
SEU593^1 +36.90 TMO‑Non +5.32 TMO‑Non TMO‑Non 105.66
SWV430^2 +0.05 +5.39 +0.01 +0.05 UNK‑Non 25.64
SWV431^2 +0.04 +6.09 +0.04 +0.01 UNK‑Non 24.04
CSR132^1 +81.99 +29.55 +129.89 +4.41 +0.04 TMO‑Non
SEU671^2 +0.01 +8.91 +0.05 TMO‑Non +0.04 42.14
SEU643^2 +107.88 +6.36 +43.35 TMO‑Non TMO‑Non 156.61
SEU637^2 +107.69 +13.86 +223.04 TMO‑Non TMO‑Non 106.88
SET598^5 +13.00 TMO‑Non +0.04 +0.58 TMO‑Non TMO‑Non
SEV267^5 +219.98 TMO‑Non +14.93 TMO‑Non TMO‑Non 144.27
CSR150^3 +186.37 +21.64 TMO‑Non 80.20 +2.41 TMO‑Non
CSR143^2 +109.98 TMO‑Non +5.07 TMO‑Non +84.39 97.66
SYO556^1 +0.01 +29.87 +0.04 TMO‑Non TMO‑Non 217.42
SYN393^4.004 +22.65 TMO‑Non +7.56 TMO‑Non TMO‑Non 98.32
SYO515^1 +0.01 TMO‑Non +0.01 TMO‑Non GUP‑Non 24.03
LCL690^1 +12.86 +6.20 +0.43 +0.04 UNK‑Non TMO‑Non
ANA127^1* TMO‑Non +7.43 UNK‑Non GUP‑Non +0.37 22.80
NUM808^5 +14.02 TMO‑Non +0.04 TMO‑Non TMO‑Non TMO‑Non
GEG009^1 +99.38 +7.11 +50.84 +0.04 UNK‑Non TMO‑Non
SEV431^1 +17.55 UNK‑Non +0.04 TMO‑Non +0.04 TMO‑Non
AGT029^1 TMO‑Non +12.43 +50.32 +0.38 UNK‑Non TMO‑Non
SYO224^5 +16.57 +9.11 +0.01 TMO‑Non +0.05 TMO‑Non
NUM766^1 UNK‑Non +20.17 TMO‑Non +2.87 UNK‑Non 44.54
NUM814^5 +18.37 +22.08 TMO‑Non +150.79 GUP‑Non TMO‑Non
SYO222^5 +108.31 TMO‑Non TMO‑Non TMO‑Non GUP‑Non 198.01
SEV010^5 UNK‑Non +10.28 TMO‑Non +4.48 TMO‑Non TMO‑Non
LCL460^7 +8.66 TMO‑Non +1.94 TMO‑Non TMO‑Non TMO‑Non
CSR148^3 +12.17 +70.22 TMO‑Non 89.88 +2.39 TMO‑Non
SEU481^1 +12.98 +41.68 +0.55 +25.55 +0.01 TMO‑Non
SYO249^5 UNK‑Non +6.98 TMO‑Non +0.50 UNK‑Non 46.58
SEV011^5 UNK‑Non +7.71 TMO‑Non +0.04 TMO‑Non TMO‑Non
CSR119^3 +11.90 +61.74 TMO‑Non 88.50 +2.40 TMO‑Non
SEU687^1 +37.17 TMO‑Non +164.94 TMO‑Non UNK‑Non 94.63
NUM768^1 UNK‑Non +5.65 TMO‑Non +129.06 UNK‑Non 150.91
NUM811^5 +24.51 TMO‑Non +68.39 TMO‑Non TMO‑Non TMO‑Non
ALG276^5 UNK‑Non TMO‑Non TMO‑Non +0.80 TMO‑Non 104.70
SEU969^5 +18.47 TMO‑Non +92.07 TMO‑Non TMO‑Non TMO‑Non
SEV291^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non 38.94
CSR144^2 +219.91 TMO‑Non +5.16 TMO‑Non +0.05 236.19
GEG003^1 +4.19 TMO‑Non +0.54 TMO‑Non UNK‑Non 113.80
SYN367^7 +3.08 +12.72 +0.56 +1.48 TMO‑Non TMO‑Non
SEV041^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +4.17 169.66
SEU749^1 +41.24 +116.04 80.41 TMO‑Non UNK‑Non 107.48
SEU643^1 +37.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 107.34
SEV295^5 +12.86 TMO‑Non +0.55 TMO‑Non TMO‑Non TMO‑Non
SWW474^3 TMO‑Non TMO‑Non +189.56 TMO‑Non UNK‑Non 176.97
LCL877^1 +0.93 TMO‑Non +20.98 +0.89 GUP‑Non TMO‑Non
ANA126^1* UNK‑Non +12.98 UNK‑Non GUP‑Non GUP‑Non 89.61
SYO546^1 +0.04 +26.00 +0.04 TMO‑Non UNK‑Non TMO‑Non
AGT031^2 UNK‑Non +7.49 TMO‑Non +0.04 GUP‑Non TMO‑Non
LCL716^1 UNK‑Non +41.77 TMO‑Non +25.22 TMO‑Non TMO‑Non
SYO246^5 UNK‑Non +11.35 TMO‑Non +0.05 UNK‑Non TMO‑Non
LCL881^1 UNK‑Non TMO‑Non TMO‑Non +1.48 UNK‑Non TMO‑Non
SEV094^5 UNK‑Non +7.13 TMO‑Non +0.04 TMO‑Non TMO‑Non
PUZ142^1 UNK‑Non +5.30 TMO‑Non TMO‑Non TMO‑Non 74.83
ALG269^2 +2.31 TMO‑Non +17.69 TMO‑Non TMO‑Non TMO‑Non
SYO069^4.003 +128.84 TMO‑Non TMO‑Non +78.29 TMO‑Non TMO‑Non
ALG253^1 TMO‑Non +14.46 TMO‑Non TMO‑Non TMO‑Non 107.77
SEU972^5 +23.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ144^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 75.20
CSR133^2 +148.56 +53.22 TMO‑Non TMO‑Non +0.01 TMO‑Non
SYO213^5 +33.42 TMO‑Non +0.33 TMO‑Non GUP‑Non TMO‑Non
SEV150^5 +158.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU476^1 +128.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO532^1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO066^4.003 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ALG269^1 +142.69 TMO‑Non +19.81 TMO‑Non TMO‑Non TMO‑Non
SEU743^1 +198.40 TMO‑Non 80.95 TMO‑Non UNK‑Non TMO‑Non
CSR132^2 +42.93 +30.02 TMO‑Non +5.19 +0.88 TMO‑Non
NUM021^1 +102.28 TMO‑Non +105.06 TMO‑Non GUP‑Non TMO‑Non
SYO531^1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUN024^1 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU944^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SET045^7 +7.67 TMO‑Non +15.71 TMO‑Non TMO‑Non TMO‑Non
SET914^7 TMO‑Non +15.32 TMO‑Non +0.80 TMO‑Non TMO‑Non
CSR133^1 +16.95 +22.86 TMO‑Non TMO‑Non +0.01 TMO‑Non
SEU788^1 +126.25 TMO‑Non 186.23 TMO‑Non UNK‑Non TMO‑Non
SEU951^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS272^7 UNK‑Non +7.77 TMO‑Non +76.64 TMO‑Non TMO‑Non
SEU753^1 +126.06 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
DAT056^2 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO069^4.002 UNK‑Non TMO‑Non TMO‑Non +76.80 TMO‑Non TMO‑Non
SEV204^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM024^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU953^5 +152.43 UNK‑Non +222.19 TMO‑Non +0.51 TMO‑Non
Solved/500 430/500 382/500 382/500 305/500 179/500 387/500
Av. CPU Time 22.86 15.43 13.63 11.10 3.81 67.12
Av. WC Time 22.84 6.71 13.63 11.14 3.83 53.27
Solutions 430/500 382/500 375/500 301/500 179/500 0/500
μEfficiency 444 229 526 493 315 34
μWCEfficiency 466 102 526 493 315 18
SOTAC 0.25 0.22 0.23 0.21 0.20 0.25
Core Usage 1.05 2.60 0.99 0.71 0.93 1.59
New Solved 1/3 2/3 1/3 0/3 2/3 3/3
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML

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

Typed First-order Theorems +*-/ Vampire
 4.1
Vampire
 4.2
CVC4
 ARI‑1.5.2
Princess
 170717
Zipperpin
 1.1
ARI743=1* +0.04 +0.01 +0.01 +3.73 UNK‑Non
ARI696=1 +0.47 +24.50 +0.01 +2.01 TMO‑Non
NUM902=1 +0.04 +0.04 +0.01 +3.19 GUP‑Non
ARI742=1* +0.04 +0.04 +0.04 +3.45 UNK‑Non
SWW632=2 +0.04 +0.04 +0.01 +3.34 TMO‑Non
NUM901=1 +0.05 +0.04 +0.01 +2.80 +0.01
ARI741=1* GUP‑Non +0.04 +0.04 +7.80 UNK‑Non
SWW614=2 +2.52 +9.42 +45.17 +4.60 TMO‑Non
NUM904=1 +0.01 +0.03 +0.01 +2.75 +0.01
ARI739=1* GUP‑Non +0.01 +0.01 +4.79 UNK‑Non
DAT073=1 +3.61 +0.05 TMO‑Non 74.06 +0.05
ARI297=1 +0.01 +0.04 +0.01 +4.02 +0.01
ARI726=1 +4.12 +0.59 +0.01 TMO‑Non UNK‑Non
SWW676=1 TMO‑Non TMO‑Non +61.18 16.98 TMO‑Non
ARI344=1 +0.04 +0.01 +0.04 +32.81 +0.01
ARI410=1 +0.05 +0.04 +0.01 +5.09 UNK‑Non
SWW622=2 TMO‑Non TMO‑Non +15.19 +54.01 +25.81
ARI293=1 +0.05 +0.05 +0.01 +3.11 +0.01
ARI418=1 +0.04 +0.04 +0.01 +1.02 UNK‑Non
SWW600=2 GUP‑Non +0.56 TMO‑Non TMO‑Non TMO‑Non
ARI296=1 +0.04 +0.04 +0.01 +0.98 +0.01
ARI417=1 +0.04 +0.01 +0.01 +0.99 UNK‑Non
ARI120=1 +258.35 +0.56 GUP‑Non 2.10 GUP‑Non
NUM903=1 +0.04 +0.04 +0.04 +2.81 +0.01
ARI730=1 +0.01 +0.04 +0.05 TMO‑Non UNK‑Non
SWW665=2 TMO‑Non TMO‑Non +16.62 +58.69 TMO‑Non
NUM905=1 +0.01 +0.04 +0.01 +14.72 GUP‑Non
ARI727=1 +0.01 +0.01 +0.01 TMO‑Non UNK‑Non
SWW604=2 +36.61 +251.34 +15.09 +58.18 TMO‑Non
ARI337=1 TMO‑Non +0.56 +0.01 +17.37 +0.05
ARI411=1 +0.01 +0.01 +0.01 +5.20 UNK‑Non
ARI672=1 +0.01 +0.04 +0.04 +1.38 GUP‑Non
NUM907=1 +0.04 +0.05 +0.01 +3.75 GUP‑Non
ARI443=1 +0.04 +0.05 +0.01 +0.98 UNK‑Non
SWW638=2 +126.54 +85.79 +15.30 +13.82 TMO‑Non
ARI271=1 +0.04 +0.01 +0.01 +3.60 +0.01
ARI435=1 +0.01 +0.01 +0.04 +0.89 UNK‑Non
DAT078=1 +3.10 +0.56 TMO‑Non TMO‑Non +6.50
NUM906=1 +0.04 +0.01 +0.04 +3.24 +0.01
ARI449=1 +0.05 +0.04 +0.01 +4.80 UNK‑Non
ARI663=1 +0.04 +0.01 +0.01 +1.37 GUP‑Non
ARI257=1 +0.01 +0.04 +0.01 +1.01 +0.01
NUM911=1 +0.05 +0.04 +0.01 +2.82 UNK‑Non
ARI643=1 GUP‑Non +0.01 +0.01 +1.47 GUP‑Non
ARI294=1 +0.01 +0.01 +0.01 +2.92 +0.01
NUM910=1 +0.01 +0.01 +0.01 +2.79 UNK‑Non
SWW664=2 +0.87 +99.79 +15.13 +9.32 TMO‑Non
ARI456=1 +0.01 +0.05 +0.01 +0.98 UNK‑Non
SWW589=2 +29.28 +5.90 +15.09 +35.49 TMO‑Non
ARI431=1 +0.01 +0.04 +0.04 +5.39 UNK‑Non
SWW608=2 +202.12 +1.06 +15.14 201.90 TMO‑Non
ARI720=1 +0.04 +0.01 +0.01 TMO‑Non UNK‑Non
NUM862=1 +2.89 +114.69 TMO‑Non 96.08 TMO‑Non
ARI448=1 +0.04 +0.01 +0.01 +4.10 UNK‑Non
SWW623=2 TMO‑Non TMO‑Non +15.08 +41.59 +7.53
ARI405=1 +0.01 +0.01 +0.04 +1.01 UNK‑Non
SWW615=2 +0.05 +0.40 +15.08 +17.65 TMO‑Non
NUM912=1 +0.04 +0.04 +0.01 +14.84 UNK‑Non
ARI687=1 +0.45 +0.99 +0.04 +2.31 TMO‑Non
ARI519=1 +0.01 +0.03 +0.01 +2.65 UNK‑Non
SWW585=2 +29.06 +7.72 +45.88 TMO‑Non TMO‑Non
ARI725=1 +42.60 +0.58 +0.01 +16.48 UNK‑Non
SWW677=1 +192.83 TMO‑Non +32.89 +15.30 +0.04
ARI629=1 +0.04 +0.05 +0.01 TMO‑Non UNK‑Non
SWW662=2 TMO‑Non TMO‑Non +15.26 +5.46 +0.04
ARI631=1 +0.04 +0.01 +0.64 TMO‑Non UNK‑Non
ARI700=1 +0.86 +0.04 +0.01 +1.55 TMO‑Non
ARI640=1 +0.04 +0.01 +0.01 TMO‑Non UNK‑Non
SWW599=2 +0.86 +1.06 +15.08 +5.77 TMO‑Non
ARI416=1 +0.01 +0.05 +0.01 +0.99 UNK‑Non
ARI685=1 +0.89 +5.64 +0.01 +1.99 TMO‑Non
ARI455=1 +0.04 +0.04 +0.04 +0.98 UNK‑Non
ARI707=1 +0.01 +0.04 +0.01 +1.42 TMO‑Non
NUM908=1 +0.04 +0.01 +0.01 +2.89 UNK‑Non
DAT075=1 +3.60 +46.30 TMO‑Non TMO‑Non TMO‑Non
ARI424=1 +0.04 +0.05 +0.01 +2.47 UNK‑Non
SWW654=2 +26.67 +4.96 +15.05 +12.73 TMO‑Non
ARI721=1 +0.04 +0.04 +0.01 TMO‑Non UNK‑Non
ARI711=1 +0.46 +13.14 +0.01 +3.07 TMO‑Non
ARI432=1 +0.04 +0.05 +0.01 +8.19 UNK‑Non
ARI689=1 +0.86 +30.00 +0.01 +1.89 GUP‑Non
ARI447=1 +0.04 +0.04 +0.01 +1.00 UNK‑Non
SWW573=2 TMO‑Non +73.30 +15.07 TMO‑Non +26.71
ARI713=1 +0.04 +4.46 +0.01 TMO‑Non UNK‑Non
NUM859=1 +2.94 +0.57 +60.27 87.61 TMO‑Non
ARI716=1 +0.01 +0.04 +0.01 TMO‑Non UNK‑Non
ARI712=1 +0.46 +12.49 +0.01 +3.02 TMO‑Non
ARI719=1 +0.04 +0.01 +0.01 +20.45 UNK‑Non
SWW581=2 +0.43 +0.01 TMO‑Non +2.23 +1.05
ARI407=1 +0.01 +0.01 +0.01 +3.97 UNK‑Non
SWW577=2 +242.37 TMO‑Non +82.46 +162.73 +253.94
ARI430=1 +0.01 +0.04 +0.01 +1.00 UNK‑Non
SWW663=2 TMO‑Non TMO‑Non +15.09 +7.92 TMO‑Non
ARI420=1 +0.04 +0.01 +0.01 +4.99 UNK‑Non
ARI656=1 +0.01 +0.05 +0.04 TMO‑Non GUP‑Non
ARI491=1 +0.05 +0.04 +0.01 +2.84 UNK‑Non
SWW653=2 +0.87 +1.06 +15.09 +4.46 TMO‑Non
ARI421=1 +0.04 +0.01 +0.01 +5.25 UNK‑Non
ARI710=1 +0.05 +0.04 +0.01 +1.27 TMO‑Non
ARI635=1 GUP‑Non +0.04 +15.02 TMO‑Non UNK‑Non
DAT086=1 +0.04 +20.06 +32.19 TMO‑Non TMO‑Non
ARI566=1 +0.01 +0.01 +0.01 +21.71 UNK‑Non
ARI649=1 +0.04 +0.04 +0.01 +1.74 GUP‑Non
MSC022=2 +0.01 +0.05 TMO‑Non 101.94 UNK‑Non
SWW593=2 TMO‑Non +5.63 +15.08 +7.06 TMO‑Non
ARI423=1 +0.05 +0.04 +0.01 +3.63 UNK‑Non
ARI603=1 +24.59 +11.88 TMO‑Non 1.56 +0.01
ARI718=1 TMO‑Non +0.58 +0.01 TMO‑Non UNK‑Non
DAT072=1 +25.88 +1.07 +15.07 TMO‑Non TMO‑Non
ARI488=1 TMO‑Non +0.57 +0.01 +17.11 UNK‑Non
ARI701=1 +0.01 +0.04 +0.01 +1.36 TMO‑Non
NUM914=1 +0.43 +0.04 +0.01 +2.84 UNK‑Non
ARI708=1 +0.88 +0.04 +0.04 +1.49 TMO‑Non
ARI628=1 +0.01 +0.04 +0.04 TMO‑Non UNK‑Non
SWW657=2 +2.50 +7.74 +45.24 +4.57 TMO‑Non
ARI489=1 +0.04 +0.01 +0.01 +3.18 UNK‑Non
HWV051=1 +239.74 +78.29 +94.73 TMO‑Non TMO‑Non
ARI490=1 +0.01 +0.04 +0.01 +2.77 UNK‑Non
HWV046=1 +241.67 TMO‑Non +151.06 TMO‑Non TMO‑Non
ARI619=3 +0.05 +0.05 +0.01 TMO‑Non UNK‑Non
ARI686=1 +0.04 +30.31 TMO‑Non +1.63 TMO‑Non
ARI495=1 +0.04 +0.01 +0.01 +32.06 UNK‑Non
SWW659=2 +2.70 +9.12 +45.16 +5.10 TMO‑Non
MSC023=2 +0.04 +0.56 +15.12 TMO‑Non UNK‑Non
SWW621=2 TMO‑Non TMO‑Non +50.40 TMO‑Non +38.52
ARI445=1 +0.04 +0.05 +0.01 +2.84 UNK‑Non
HWV050=1 +241.71 +77.08 +101.14 TMO‑Non TMO‑Non
ARI457=1 +0.01 +0.01 +0.01 +18.10 UNK‑Non
SWW667=2 TMO‑Non TMO‑Non +15.38 TMO‑Non TMO‑Non
NUM909=1 +0.04 +0.04 +0.04 +3.23 UNK‑Non
ARI664=1 +0.04 +1.09 +0.04 GUP‑Non GUP‑Non
ARI636=1 +20.97 +0.04 +14.98 TMO‑Non UNK‑Non
SWW606=2 TMO‑Non TMO‑Non +15.27 TMO‑Non +49.38
NUM913=1 +0.01 +0.01 +0.01 +3.26 UNK‑Non
HWV041=1 +235.21 TMO‑Non +178.33 TMO‑Non TMO‑Non
ARI444=1 +0.05 +0.01 +0.05 +2.93 UNK‑Non
SWW655=2 TMO‑Non +13.65 +15.20 +28.20 TMO‑Non
ARI400=1 +0.01 +0.04 +0.01 +0.88 UNK‑Non
SWW640=2 TMO‑Non +95.58 +15.13 TMO‑Non +7.33
ARI409=1 +0.01 +0.04 +0.01 +0.96 UNK‑Non
HWV045=1 +235.95 TMO‑Non +146.93 TMO‑Non TMO‑Non
ARI422=1 +0.04 +0.01 +0.01 +5.21 UNK‑Non
HWV087=1 +75.85 +2.97 +102.73 TMO‑Non TMO‑Non
ARI458=1 +0.04 +0.04 +0.04 +18.47 UNK‑Non
ARI697=1 +1.48 +0.04 +0.01 +1.31 TMO‑Non
ARI406=1 +0.01 +0.01 +0.01 +5.22 UNK‑Non
SWW670=2 +5.59 +5.91 +15.11 +32.67 TMO‑Non
ARI744=1* +0.05 +0.04 +15.15 +4.90 UNK‑Non
ARI683=1 +0.46 +2.68 TMO‑Non TMO‑Non GUP‑Non
ARI738=1* +22.19 +5.32 +0.04 TMO‑Non UNK‑Non
HWV039=1 +236.51 TMO‑Non +125.76 TMO‑Non TMO‑Non
ARI729=1 +0.01 +0.04 +0.04 TMO‑Non UNK‑Non
ARI655=1 +0.01 +1.10 TMO‑Non TMO‑Non GUP‑Non
ARI630=1 GUP‑Non +0.04 TMO‑Non TMO‑Non UNK‑Non
SWW641=2 TMO‑Non TMO‑Non +15.07 +13.70 +8.28
ARI723=1 +0.04 +0.04 +0.01 TMO‑Non UNK‑Non
SWW647=2 GUP‑Non +5.93 TMO‑Non 8.72 TMO‑Non
ARI724=1 +0.05 +0.01 +0.01 TMO‑Non UNK‑Non
SWW658=2 +3.01 +11.58 +45.14 TMO‑Non TMO‑Non
ARI633=1 TMO‑Non TMO‑Non +15.04 TMO‑Non UNK‑Non
SWW574=2 TMO‑Non TMO‑Non TMO‑Non +206.55 +179.59
ARI715=1 +0.01 +0.04 +0.01 TMO‑Non UNK‑Non
SWW660=2 +71.42 +6.64 +16.13 TMO‑Non +84.79
ARI714=1 +0.05 +0.04 +0.01 TMO‑Non UNK‑Non
HWV040=1 +231.36 TMO‑Non +121.63 TMO‑Non TMO‑Non
ARI639=1 GUP‑Non +0.04 +0.01 TMO‑Non UNK‑Non
SWW578=2 TMO‑Non TMO‑Non +15.12 +100.92 TMO‑Non
ARI733=1 TMO‑Non +0.57 +0.01 TMO‑Non UNK‑Non
HWV044=1 +232.91 TMO‑Non +299.33 TMO‑Non TMO‑Non
ARI634=1 +0.05 TMO‑Non +0.04 TMO‑Non UNK‑Non
SWW587=2 +26.65 +25.78 +15.28 +113.05 TMO‑Non
ARI722=1 +0.01 +0.04 +0.01 TMO‑Non UNK‑Non
SWW612=2 GUP‑Non +130.20 +15.06 12.24 TMO‑Non
ARI731=1 TMO‑Non TMO‑Non +15.55 TMO‑Non UNK‑Non
ARI668=1 +0.04 +0.04 +0.01 GUP‑Non GUP‑Non
ARI642=1 GUP‑Non +4.18 TMO‑Non TMO‑Non UNK‑Non
HWV111=1 +68.08 +73.58 TMO‑Non TMO‑Non TMO‑Non
ARI732=1 TMO‑Non TMO‑Non +15.49 TMO‑Non UNK‑Non
HWV043=1 +235.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ARI641=1 GUP‑Non +4.25 TMO‑Non TMO‑Non UNK‑Non
ARI667=1 +0.04 +1.08 +0.04 GUP‑Non GUP‑Non
ARI728=1 TMO‑Non TMO‑Non +15.50 TMO‑Non UNK‑Non
MSC028=1 TMO‑Non TMO‑Non TMO‑Non +1.43 +0.01
ARI637=1 +0.01 +0.56 +30.40 TMO‑Non UNK‑Non
SYO522=1 TMO‑Non TMO‑Non +45.36 1.62 +0.01
SWW668=2 TMO‑Non TMO‑Non +17.37 TMO‑Non +14.68
ARI693=1 +0.04 +0.04 TMO‑Non +1.27 GUP‑Non
SWW619=2 +0.85 +1.05 TMO‑Non TMO‑Non +28.67
SWW648=2 +26.57 +0.05 TMO‑Non TMO‑Non TMO‑Non
SWW672=2 +3.21 +2.19 +0.04 TMO‑Non TMO‑Non
SWW627=2 TMO‑Non TMO‑Non +23.77 TMO‑Non TMO‑Non
HWV044=2 +95.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ARI598=1 TMO‑Non TMO‑Non +45.01 1.35 +0.01
SWW661=2 +1.47 +7.00 TMO‑Non TMO‑Non +5.83
HWV045=2 +58.92 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV041=2 +56.25 TMO‑Non +170.19 TMO‑Non TMO‑Non
HWV039=2 +60.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ARI679=1 +0.04 +6.21 +0.01 +1.33 GUP‑Non
SWW596=2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV051=2 +47.48 +79.80 TMO‑Non TMO‑Non TMO‑Non
HWV043=2 +98.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW652=2 +32.02 +4.23 +0.04 TMO‑Non TMO‑Non
SWW635=2 +72.88 +24.12 TMO‑Non TMO‑Non TMO‑Non
SWW595=2 TMO‑Non TMO‑Non +17.79 TMO‑Non +26.23
ARI595=1 TMO‑Non TMO‑Non +45.12 1.46 +0.01
HWV047=2 +61.35 TMO‑Non +219.27 TMO‑Non TMO‑Non
HWV091=1 +11.13 +2.59 +121.41 TMO‑Non TMO‑Non
HWV047=1 +240.21 TMO‑Non +195.34 TMO‑Non TMO‑Non
ARI596=1 TMO‑Non TMO‑Non +45.12 1.37 +0.05
SWW590=2 TMO‑Non TMO‑Non +15.14 +6.95 TMO‑Non
SWW582=2 TMO‑Non TMO‑Non +18.47 TMO‑Non TMO‑Non
ARI597=1 TMO‑Non TMO‑Non +45.01 1.41 +0.01
SWW649=2 +35.43 +10.87 TMO‑Non TMO‑Non TMO‑Non
SWW609=2 TMO‑Non TMO‑Non +15.11 TMO‑Non TMO‑Non
HWV114=1 +70.84 +77.50 TMO‑Non TMO‑Non TMO‑Non
SWW586=2 +38.41 +0.05 +15.40 TMO‑Non TMO‑Non
SWW637=2 +27.74 +0.48 TMO‑Non TMO‑Non +3.64
HWV040=2 +57.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW644=2 +25.94 TMO‑Non +15.14 TMO‑Non TMO‑Non
SWW642=2 +26.73 +0.04 +30.12 +35.86 TMO‑Non
HWV090=1 +11.88 +2.59 +200.49 TMO‑Non TMO‑Non
HWV050=2 +46.88 +79.32 TMO‑Non TMO‑Non TMO‑Non
HWV046=2 +61.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW630=2 +1.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV094=1 +24.57 +5.84 TMO‑Non TMO‑Non TMO‑Non
SWW580=2 +37.65 +7.21 TMO‑Non TMO‑Non TMO‑Non
HWV108=1 +38.85 +15.92 TMO‑Non TMO‑Non TMO‑Non
SEV425=1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV124=1 +4.18 +11.35 TMO‑Non TMO‑Non TMO‑Non
HWV128=1 +6.10 +13.43 TMO‑Non TMO‑Non TMO‑Non
SWW603=2 +62.76 +3.23 TMO‑Non TMO‑Non TMO‑Non
SWW671=2 +2.80 TMO‑Non +15.32 TMO‑Non TMO‑Non
HWV123=1 +4.18 +11.20 TMO‑Non TMO‑Non TMO‑Non
SWW669=2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV088=1 +93.16 +10.23 TMO‑Non TMO‑Non TMO‑Non
HWV125=1 +4.08 +11.23 TMO‑Non TMO‑Non TMO‑Non
HWV103=1 TMO‑Non +105.09 TMO‑Non TMO‑Non TMO‑Non
HWV127=1 +6.01 +13.70 TMO‑Non TMO‑Non TMO‑Non
ARI645=1 GUP‑Non TMO‑Non +0.04 TMO‑Non GUP‑Non
SWW611=2 +1.93 +100.39 TMO‑Non TMO‑Non TMO‑Non
ARI694=1 TMO‑Non TMO‑Non TMO‑Non +1.33 GUP‑Non
SWW617=2 +46.43 +43.23 TMO‑Non TMO‑Non TMO‑Non
SWW633=2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW618=2 +2.49 +2.04 TMO‑Non TMO‑Non TMO‑Non
HWV107=1 +35.69 +13.43 TMO‑Non TMO‑Non TMO‑Non
SWW656=2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV112=1 +74.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV096=1 +23.43 +5.75 TMO‑Non TMO‑Non TMO‑Non
HWV126=1 +6.02 +13.23 TMO‑Non TMO‑Non TMO‑Non
SWW651=2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/250 194/250 191/250 188/250 130/250 39/250
Av. CPU Time 28.09 11.11 19.94 16.21 19.71
Av. WC Time 27.99 11.09 20.61 7.32 19.72
Solutions 194/250 191/250 188/250 115/250 39/250
μEfficiency 481 512 461 278 95
μWCEfficiency 481 513 461 157 95
SOTAC 0.35 0.33 0.34 0.28 0.31
Core Usage 0.77 0.74 1.17 2.48 1.10
New Solved 4/6 6/6 6/6 5/6 0/6
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML

Results for FOF (First-order Theorems)

First-order Theorems Vampire
 4.2
Vampire
 4.0
E
 2.1
CVC4
 NAR‑1.5.2
iProver
 2.6
Leo‑III
 1.1
lean‑nanoCoP
 1.0
Zipperpin
 1.1
Prover9
 1109a
iProverMo
 2.5‑0.1
Scavenger
 EP‑0.2
GEO112+1 +0.04 +0.01 +0.01 +0.01 +0.48 +6.63 +0.16 TMO‑Non +0.04 TMO‑Non TMO‑Non
SYO605+1* +18.95 +1.18 +0.04 +0.04 +1.59 +63.13 +0.27 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SET603+4 +1.51 +0.01 +0.01 +0.01 +0.50 +4.72 +0.18 +1.49 TMO‑Non GUP‑Non TMO‑Non
SYO604+1* +4.60 +0.05 +6.41 +0.04 +0.04 +50.76 +28.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO118+1 +0.05 +0.04 +0.01 +55.90 +0.04 +10.78 +29.17 +0.04 +0.98 +5.17 TMO‑Non
CSR074+3 +0.04 +1.61 +4.05 +5.75 +5.32 TMO‑Non +122.28 +97.44 TMO‑Non TMO‑Non TMO‑Non
SEU046+1 +0.04 +0.01 +0.04 +0.04 +0.04 +5.74 +0.14 TMO‑Non +4.17 TMO‑Non TMO‑Non
GEO234+1 +0.01 +0.04 +0.01 +0.01 +0.01 +6.43 +0.14 +0.04 +0.04 +73.77 +35.55
SWB006+1 +0.58 +1.39 +0.04 +0.04 +128.76 +23.58 TMO‑Non +0.05 GUP‑Non GUP‑Non TMO‑Non
CSR062+2 +0.67 +0.01 +0.04 +2.26 +0.37 +8.96 +119.51 +0.58 TMO‑Non GUP‑Non +37.83
NUM301+1 +1.68 +0.05 +38.47 +20.10 +1.78 +79.64 +102.77 +60.10 +1.74 GUP‑Non TMO‑Non
COM008+1 +14.34 +6.22 +0.01 +49.98 TMO‑Non +8.39 TMO‑Non TMO‑Non +18.58 TMO‑Non TMO‑Non
SWB018+1 +0.57 +0.04 +0.82 +0.05 +9.09 TMO‑Non +33.70 +3.20 GUP‑Non GUP‑Non TMO‑Non
KRS260+1 +0.04 +0.05 +8.63 +42.48 +0.71 TMO‑Non +119.52 +23.31 +0.40 +0.05 TMO‑Non
NUM925+5 +0.49 +0.64 +0.04 +0.01 +8.50 +10.01 +178.56 +0.40 +0.04 TMO‑Non TMO‑Non
GEO228+1 +0.01 +0.05 +0.01 +0.01 +0.01 +6.22 +0.11 +0.01 +0.04 +0.06 +23.07
MSC010+1 +1.34 +0.04 TMO‑Non +0.01 +1.10 +6.36 +30.06 +0.04 UNK‑Non GUP‑Non TMO‑Non
CSR115+88 +0.04 +0.57 +0.04 +6.46 +7.00 TMO‑Non +30.36 TMO‑Non TMO‑Non +100.72 TMO‑Non
GEO087+1 +0.04 +0.01 +0.01 +20.15 +0.41 +7.02 +7.16 +1.50 +0.04 +21.39 TMO‑Non
GEO222+2 +0.04 +0.04 +0.01 +0.01 +0.04 +4.81 +5.42 +1.31 +0.04 +38.08 +13.21
MGT054+1 +0.05 +0.04 +0.01 +0.57 +0.04 +5.34 TMO‑Non +5.85 +0.04 GUP‑Non TMO‑Non
CSR056+2 +0.05 +0.01 +0.04 +0.89 +0.35 +8.48 +28.79 +0.82 TMO‑Non GUP‑Non TMO‑Non
SET067+1 +0.01 +0.01 +0.05 +0.01 +111.97 +6.88 +1.09 +51.50 +0.30 GUP‑Non TMO‑Non
LCL676+1.015 +0.56 +1.84 TMO‑Non TMO‑Non +3.95 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL529+1 +0.04 +0.04 +0.04 +0.04 +2.30 +7.60 +0.17 TMO‑Non +0.05 GUP‑Non TMO‑Non
CSR051+3 +0.04 +0.04 +0.04 +1.40 +3.03 +42.80 +1.38 +3.64 TMO‑Non +1.60 +232.79
CSR017+1 +0.04 +0.04 +0.04 +0.01 +1.36 +7.32 TMO‑Non +1.07 TMO‑Non GUP‑Non TMO‑Non
CSR065+3 +0.04 +1.31 +1.70 +5.32 +3.30 TMO‑Non +122.49 +37.82 TMO‑Non GUP‑Non TMO‑Non
LCL893+1 +0.04 +0.04 +0.04 +1.61 +0.04 TMO‑Non +20.39 +0.04 UNK‑Non GUP‑Non TMO‑Non
LCL642+1.005 +0.45 +0.01 +0.89 +82.32 +0.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWC041+1 +0.04 +0.04 +0.01 +0.05 +2.98 +12.22 TMO‑Non +0.01 +2.79 TMO‑Non TMO‑Non
CSR115+92 +0.04 +0.58 +0.04 +6.60 +6.97 +123.15 +0.53 TMO‑Non TMO‑Non +135.21 TMO‑Non
SWB008+1 +0.99 +3.76 +3.73 +1.43 +294.81 +82.45 +33.85 +43.79 TMO‑Non GUP‑Non TMO‑Non
LCL660+1.020 +5.77 +0.49 TMO‑Non TMO‑Non +10.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO524+1* +0.04 +0.01 +0.01 +0.04 TMO‑Non +10.00 TMO‑Non +0.05 +0.59 TMO‑Non TMO‑Non
GEO177+1 +0.05 +0.01 +0.01 +0.04 +0.01 +4.58 +0.15 +0.71 +0.04 +0.05 +23.68
SWW317+1 +0.88 +0.04 +0.97 +2.57 +15.38 +142.02 +2.24 TMO‑Non +221.66 GUP‑Non TMO‑Non
CSR034+1 +0.01 +0.01 +0.04 +0.01 +0.01 +4.64 +0.71 +0.01 +0.04 GUP‑Non +22.31
CSR046+4 +1.37 +0.60 +1.64 +2.75 +2.03 TMO‑Non +60.32 +37.37 TMO‑Non +60.78 TMO‑Non
CSR074+2 +0.04 +0.01 +0.04 +0.36 +0.70 +8.48 +119.46 +1.58 TMO‑Non +0.04 TMO‑Non
MGT065+1 +0.05 +0.01 +0.01 +0.01 +2.63 +5.60 TMO‑Non +0.80 +0.04 GUP‑Non TMO‑Non
KRS203+1 +0.04 +0.44 +0.04 +129.39 +0.04 +17.97 +119.44 +5.69 +0.50 +0.04 TMO‑Non
NUM854+1 +0.52 +0.04 +1.02 +0.01 +0.04 +6.85 +0.10 +0.01 UNK‑Non UNK‑Non +19.15
LCL658+1.010 +15.35 +38.33 TMO‑Non TMO‑Non +53.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO017+2 +0.04 +2.08 +0.57 +0.61 +9.63 TMO‑Non TMO‑Non TMO‑Non +12.05 TMO‑Non TMO‑Non
CSR115+55 +0.04 +0.35 +0.04 +6.43 +5.81 TMO‑Non +185.93 TMO‑Non TMO‑Non +153.84 TMO‑Non
SWV366+1 +0.04 +0.01 +0.04 +0.01 TMO‑Non +8.00 TMO‑Non +0.04 +0.04 GUP‑Non +36.88
CSR068+2 +0.04 +0.01 +0.04 +0.04 +0.31 +9.02 +3.31 +1.11 TMO‑Non +0.05 +36.83
SET601+3 +1.58 +0.71 +0.01 +0.04 +34.50 +5.01 +35.20 TMO‑Non +0.33 GUP‑Non TMO‑Non
SWB022+2 +0.04 +0.01 +0.01 +0.04 +0.04 +7.46 +172.42 +0.05 +1.13 +20.24 TMO‑Non
SET082+1 +0.04 +0.63 +0.04 +1.09 +10.13 +8.13 TMO‑Non +0.04 +8.09 GUP‑Non TMO‑Non
LCL652+1.001 +4.09 +0.01 +1.49 +81.41 +1.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV455+1 +0.05 +0.04 +1.99 +0.04 TMO‑Non +8.28 +245.61 TMO‑Non +0.49 GUP‑Non TMO‑Non
CSR040+3 +0.77 +0.04 +5.39 TMO‑Non +25.59 TMO‑Non TMO‑Non +4.90 TMO‑Non TMO‑Non TMO‑Non
ALG210+2 +0.04 +0.01 +0.01 +0.01 TMO‑Non +3.50 TMO‑Non +31.61 +0.04 GUP‑Non TMO‑Non
GEO258+3 +0.04 +0.04 +0.01 +0.01 +0.04 +5.05 +0.20 +1.27 +0.04 +0.05 +12.32
NUM849+1 +0.50 +0.64 +0.04 +0.01 TMO‑Non +6.80 TMO‑Non +0.05 UNK‑Non UNK‑Non TMO‑Non
CSR031+3 +0.04 +0.41 +1.41 +4.89 +4.04 +12.26 +29.67 +12.69 TMO‑Non +1.63 +240.03
NUM545+1 +0.04 +0.01 +0.04 +0.01 +1.94 +14.40 TMO‑Non +0.01 +1.97 TMO‑Non TMO‑Non
SWB009+3 +0.56 +2.02 +0.04 +0.04 +11.09 TMO‑Non +0.25 TMO‑Non +12.54 GUP‑Non TMO‑Non
SWW473+1 +0.57 +0.01 +0.04 +0.03 +19.50 +18.66 +0.26 +4.19 +9.60 +158.75 TMO‑Non
SWB020+2 +0.04 +4.32 +0.01 +0.01 +77.83 +18.81 TMO‑Non TMO‑Non +3.93 GUP‑Non TMO‑Non
SWV464+1 +0.04 +0.01 +0.05 +0.04 +35.96 +10.56 TMO‑Non +114.49 +0.04 GUP‑Non TMO‑Non
CSR114+14 +0.04 +0.37 +0.04 +6.18 +8.91 +135.01 +147.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB005+1 +0.57 +0.05 +0.04 +1.26 +2.81 TMO‑Non +31.94 +3.58 GUP‑Non GUP‑Non TMO‑Non
LCL676+1.001 +0.56 +2.05 TMO‑Non +80.34 +4.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
REL028+2 +189.20 +138.81 +3.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +15.92 GUP‑Non TMO‑Non
CSR045+3 +0.50 +0.62 +4.86 TMO‑Non +33.12 TMO‑Non TMO‑Non +4.62 TMO‑Non +134.82 TMO‑Non
REL026+3 +41.50 +55.85 +4.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +35.89 GUP‑Non TMO‑Non
GRP012+5 +0.01 +0.04 +0.01 +0.59 +2.80 +4.35 TMO‑Non TMO‑Non +0.04 +22.38 TMO‑Non
REL024+2 +9.03 +31.92 +2.30 +238.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.80 GUP‑Non TMO‑Non
CSR113+29 +0.04 +0.65 +0.04 +6.20 +24.50 TMO‑Non +29.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL895+1 +31.93 +43.16 +17.38 +1.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR112+1 +5.03 +0.41 +0.04 +7.89 +46.17 TMO‑Non +35.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO499+1* +3.82 +0.01 +9.39 +0.01 TMO‑Non +10.98 TMO‑Non TMO‑Non +2.25 TMO‑Non TMO‑Non
CSR047+3 +0.04 +0.70 +0.81 +1.01 +3.02 +47.53 +1.42 +4.98 TMO‑Non +1.62 +234.54
SEU204+1 +0.04 +0.01 +16.35 +0.04 +0.04 TMO‑Non +0.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR040+1 +0.01 +0.04 +0.01 +0.04 +0.01 TMO‑Non +28.34 +0.01 +0.33 +1.19 +46.21
SWV204+1 +0.04 +0.01 +0.04 +0.01 +3.49 +10.18 TMO‑Non +140.37 +21.21 TMO‑Non TMO‑Non
CSR067+3 +0.05 +0.71 +1.48 +5.71 +3.01 +125.02 +1.46 +9.54 TMO‑Non +1.65 +234.84
SEU154+1 +0.04 +0.01 +0.01 +0.49 +2.52 +40.84 +200.48 +0.04 +1.63 GUP‑Non TMO‑Non
CSR029+3 +0.04 +1.59 +4.06 +5.69 +5.40 TMO‑Non +122.05 +99.69 TMO‑Non +36.94 TMO‑Non
SWW474+2 +3.62 +0.04 +0.44 +0.49 +11.42 TMO‑Non +28.96 TMO‑Non +29.24 +52.70 TMO‑Non
CSR116+33 +0.04 +0.35 +0.04 +1.01 +9.05 +73.03 +0.48 TMO‑Non TMO‑Non +3.84 TMO‑Non
GEO084+1 +0.04 +0.04 +0.42 +0.01 +0.05 +6.56 +0.34 TMO‑Non +0.50 TMO‑Non TMO‑Non
LCL668+1.005 +24.77 19.81 TMO‑Non +20.45 +0.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT047+1 +0.04 +0.04 +4.03 +0.01 +4.30 +7.15 TMO‑Non TMO‑Non +0.03 GUP‑Non TMO‑Non
CSR037+2 +0.04 +0.04 +0.04 +0.05 +0.40 +8.12 +0.21 +0.48 TMO‑Non +0.04 +37.71
PRO014+3 +2.14 +0.64 +0.04 +1.92 +1.32 TMO‑Non TMO‑Non TMO‑Non +3.20 TMO‑Non TMO‑Non
KRS268+1 +0.04 +0.04 +0.04 +127.23 +1.18 TMO‑Non +0.35 +17.29 TMO‑Non +0.05 +11.18
KLE009+3 +3.16 +0.01 +0.04 +0.05 TMO‑Non +6.99 TMO‑Non +15.80 +0.04 GUP‑Non TMO‑Non
CSR115+11 +0.04 +0.57 +0.04 +6.63 +6.74 TMO‑Non +212.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET669+3 +0.05 +0.01 +0.04 +171.07 +1.85 +14.86 TMO‑Non TMO‑Non +0.04 +35.84 TMO‑Non
CSR116+3 +0.79 +0.57 +0.04 +7.25 +17.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO344+1 +2.89 +3.39 +0.04 +0.04 +11.28 +19.18 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
CSR068+3 +0.04 +1.31 +1.47 +1.41 +2.72 +44.82 +30.40 +41.69 TMO‑Non +1.63 +255.79
GEO272+1 +2.30 +0.89 +5.11 +0.04 +6.76 +58.35 +7.41 +2.56 UNK‑Non UNK‑Non TMO‑Non
KRS267+1 +0.04 +0.04 +0.04 +126.27 +0.42 +23.86 +0.36 TMO‑Non +0.94 +0.09 +135.75
GEO124+1 +0.01 +0.04 +0.01 +20.17 +0.66 TMO‑Non +5.59 TMO‑Non +0.99 TMO‑Non TMO‑Non
GEO259+1 +4.29 +0.01 +0.05 +20.86 +0.40 +14.80 +1.69 +0.84 +0.04 TMO‑Non TMO‑Non
COM128+1 +0.04 +0.01 +3.38 +0.04 +70.03 +10.20 TMO‑Non +0.05 UNK‑Non UNK‑Non TMO‑Non
CSR115+26 +0.04 +0.67 +0.04 +6.70 +6.91 TMO‑Non +0.54 TMO‑Non TMO‑Non +129.83 TMO‑Non
LAT291+1 +0.04 +0.01 +0.04 +0.04 TMO‑Non +8.43 TMO‑Non TMO‑Non +0.41 TMO‑Non TMO‑Non
GEO260+1 +4.09 +0.04 +0.04 +21.00 +0.58 +12.16 +1.68 +0.83 +0.04 TMO‑Non TMO‑Non
GEO494+1* +45.59 +6.11 +23.18 +4.00 +30.40 +9.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS217+1 +0.04 +4.38 +35.10 +133.49 +9.97 +68.28 +119.59 TMO‑Non +3.30 GUP‑Non TMO‑Non
SWB097+1 +2.87 +0.04 +153.30 +1.42 TMO‑Non TMO‑Non +29.19 TMO‑Non GUP‑Non GUP‑Non TMO‑Non
CSR060+2 +0.67 +0.05 +6.45 +2.11 +3.09 TMO‑Non +28.39 +10.53 TMO‑Non GUP‑Non TMO‑Non
SWV384+1 +0.04 +0.01 +0.01 +0.01 +2.67 +6.57 +7.79 +0.04 UNK‑Non +0.50 TMO‑Non
SWB001+3 +0.01 +0.04 +0.01 +0.01 +0.01 +8.43 +0.12 +0.01 +0.05 +0.04 +15.03
LCL899+1 +3.99 +0.04 +0.01 +20.68 +35.53 GUP‑Non TMO‑Non +8.54 UNK‑Non GUP‑Non TMO‑Non
CSR113+10 +0.05 +0.39 +0.04 +6.15 +83.24 TMO‑Non +28.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV468+1 +0.04 +0.05 +4.97 +0.05 TMO‑Non +13.13 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR113+11 +0.04 +0.61 +0.04 +6.24 +26.58 TMO‑Non +6.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR024+1.010 +0.56 +1.26 +0.49 +240.40 TMO‑Non TMO‑Non TMO‑Non +1.66 +2.00 TMO‑Non TMO‑Non
GEO223+1 +0.04 +0.01 +0.05 +0.04 +0.04 +4.87 +218.51 +1.37 +0.04 +283.65 TMO‑Non
SWW473+2 +0.56 +0.05 +0.32 +0.41 TMO‑Non +34.40 +1.72 +1.64 TMO‑Non GUP‑Non TMO‑Non
CSR115+68 +0.05 +0.57 +0.04 +6.74 +7.12 TMO‑Non +0.54 TMO‑Non TMO‑Non +128.95 TMO‑Non
NUM858+1 +0.04 +0.04 +0.36 +0.04 +6.75 +70.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR063+2 +0.04 +0.04 +0.04 +3.70 +1.16 TMO‑Non +0.89 +0.05 TMO‑Non +75.73 +136.51
MGT063+1 +0.04 +0.01 +276.94 +2.32 +3.05 +10.27 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR035+2 +0.04 +0.01 +0.01 +0.04 +0.34 +9.54 +0.19 +1.18 TMO‑Non +0.05 +37.12
SWB065+1 +0.58 +3.70 +3.17 +1.31 +83.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR063+1 +0.04 +0.04 +0.01 +0.04 +0.04 TMO‑Non +0.14 +0.01 +0.04 +1.02 +17.65
CSR117+1 +0.04 +0.01 +0.04 +0.67 +11.38 TMO‑Non TMO‑Non GUP‑Non UNK‑Non UNK‑Non TMO‑Non
CSR043+2 +0.05 +0.01 +0.01 +0.04 +0.04 +13.33 +0.19 +0.05 TMO‑Non +0.05 +36.61
SWV161+1 +0.05 +0.01 +0.04 +0.04 +183.93 +10.82 TMO‑Non +0.44 TMO‑Non TMO‑Non TMO‑Non
CSR052+3 +0.05 +30.04 +5.30 TMO‑Non +17.24 TMO‑Non +176.88 +35.01 TMO‑Non +3.66 TMO‑Non
SWW095+1 +5.01 +0.04 +4.02 +0.05 +3.50 +21.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS266+1 +0.05 +0.04 +0.04 +126.35 +0.04 +16.20 +0.34 TMO‑Non +0.87 +0.04 +51.42
ALG195+1 +0.30 +9.47 +0.96 +2.01 TMO‑Non +52.35 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR034+3 +0.04 +0.04 +0.87 +5.86 +1.39 +125.86 +1.51 +3.32 TMO‑Non GUP‑Non TMO‑Non
GEO504+1* +0.57 +0.04 +0.04 +0.05 TMO‑Non +9.73 TMO‑Non TMO‑Non +2.35 TMO‑Non TMO‑Non
CSR054+2 +0.04 +0.01 +0.04 +0.04 +0.05 +8.74 +0.19 +1.18 TMO‑Non +0.05 +36.04
GEO528+1* +15.46 +4.36 +5.44 +155.10 TMO‑Non +16.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS180+1 +0.01 +0.01 +0.04 +0.01 +0.01 +5.51 +0.11 +0.04 +0.04 +0.04 TMO‑Non
GEO526+1* +0.99 +0.64 +6.12 +0.58 TMO‑Non +16.32 TMO‑Non TMO‑Non +11.54 TMO‑Non TMO‑Non
LCL670+1.001 +0.55 +0.94 +152.01 TMO‑Non +0.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV469+1 +0.04 +0.01 +0.04 +0.04 TMO‑Non +12.35 TMO‑Non +49.35 +28.80 GUP‑Non TMO‑Non
CSR059+2 +0.05 +0.01 +0.04 +0.04 +0.47 +8.11 +0.24 +0.57 TMO‑Non +0.43 +37.22
SWW102+1 +1.60 +0.81 +0.01 +0.01 +15.94 +6.99 TMO‑Non TMO‑Non +0.92 GUP‑Non TMO‑Non
CSR039+2 +0.04 +17.65 +0.97 +166.31 +8.85 TMO‑Non +204.55 +145.29 TMO‑Non GUP‑Non TMO‑Non
NUM926+2 +1.04 +2.97 +151.17 +0.05 +4.99 +27.91 TMO‑Non TMO‑Non +0.89 GUP‑Non TMO‑Non
CSR072+2 +0.04 +0.01 +0.05 +0.04 +0.04 +14.04 +0.22 +0.04 TMO‑Non +0.05 +36.50
NUM839+1 +0.01 +0.01 +0.04 +0.01 +10.03 +5.60 +0.13 +1.32 UNK‑Non UNK‑Non TMO‑Non
LCL660+1.001 +0.56 +0.04 TMO‑Non TMO‑Non +9.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV460+1 +0.05 +0.05 +0.05 +0.05 TMO‑Non +9.09 TMO‑Non TMO‑Non +24.53 GUP‑Non TMO‑Non
CSR034+2 +0.04 +1.11 +0.04 +0.33 +10.57 TMO‑Non +224.76 +0.65 TMO‑Non GUP‑Non TMO‑Non
NUM925+7 +16.24 +2.11 +0.92 +0.93 +82.72 +46.05 +243.73 +40.98 +11.37 GUP‑Non TMO‑Non
SYN938+1 +0.01 +0.01 TMO‑Non +53.67 +0.03 TMO‑Non +29.08 GUP‑Non TMO‑Non +0.88 TMO‑Non
SWB100+1 +4.93 +3.40 +29.78 +231.48 TMO‑Non TMO‑Non +33.52 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL658+1.005 +0.57 +0.04 TMO‑Non TMO‑Non +10.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM855+2 +0.56 +5.68 +0.04 +0.01 +1.42 +6.96 +175.48 TMO‑Non UNK‑Non UNK‑Non TMO‑Non
LCL660+1.015 +0.56 +0.32 TMO‑Non TMO‑Non +6.28 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
KLE170+1.004 +11.12 +43.16 +0.32 +1.89 TMO‑Non +262.28 TMO‑Non TMO‑Non +3.00 GUP‑Non TMO‑Non
KRS265+1 +0.04 +0.01 +0.04 +125.94 +0.05 +12.49 +0.32 +3.41 +2.56 +0.01 +12.78
SWV477+1 +0.04 +1.36 +0.05 +0.05 +55.66 +14.71 TMO‑Non +38.12 +81.79 GUP‑Non TMO‑Non
SWB002+3 +0.01 +0.01 +0.01 +0.05 +0.04 +9.50 +0.12 +0.01 +0.61 +0.05 +14.85
NUM494+1 +0.04 +3.28 +0.04 +2.02 +14.91 +9.30 TMO‑Non +0.34 TMO‑Non TMO‑Non TMO‑Non
CSR058+3 +0.04 +0.72 +0.63 +1.31 +2.92 +57.49 +1.36 +3.19 TMO‑Non +1.61 +235.74
COM130+1 +0.04 +0.04 +3.60 +0.05 +141.68 +10.69 TMO‑Non +0.46 UNK‑Non UNK‑Non TMO‑Non
CSR113+27 +0.04 +0.62 +0.05 +6.12 +25.02 TMO‑Non +29.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV487+1 +0.04 +0.05 +0.04 +0.04 +96.83 +5.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR044+2 +0.67 +0.04 +6.37 +0.86 +1.09 +8.30 +133.70 +28.64 TMO‑Non GUP‑Non TMO‑Non
CSR009+1 +1.78 +3.86 +12.89 +24.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.56 TMO‑Non TMO‑Non
CSR059+3 +0.04 +1.31 +1.51 +1.29 +3.11 +55.56 +3.11 +13.89 TMO‑Non +3.79 +234.72
SWC412+1 +0.03 +23.61 +0.38 +0.04 TMO‑Non +12.32 TMO‑Non +16.10 TMO‑Non TMO‑Non TMO‑Non
KRS200+1 +0.04 +0.04 +0.01 +48.99 +0.04 +18.21 +0.34 +0.72 +0.37 +0.04 +38.33
SWV473+1 +0.36 +0.05 +3.89 +0.04 TMO‑Non +10.69 TMO‑Non TMO‑Non +126.97 GUP‑Non TMO‑Non
KRS202+1 +0.01 +0.47 +0.05 +49.23 +0.04 +24.98 +0.34 +16.77 +0.62 +20.77 TMO‑Non
GEO126+1 +0.04 +0.01 +0.01 TMO‑Non +14.05 +9.90 TMO‑Non +0.05 +1.11 GUP‑Non TMO‑Non
LCL676+1.010 +0.56 +1.84 TMO‑Non +89.09 +3.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW473+6 +0.62 +2.98 +0.58 +0.77 +114.90 TMO‑Non +2.17 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR115+46 +0.04 +0.70 +0.04 +6.81 +6.95 TMO‑Non +0.54 TMO‑Non TMO‑Non +56.60 TMO‑Non
SWV457+1 +0.71 +0.01 +0.04 +0.05 TMO‑Non +8.86 TMO‑Non +175.79 +0.52 GUP‑Non TMO‑Non
LCL642+1.010 +0.04 +0.01 +15.02 +81.63 +0.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB009+1 +4.71 +3.40 +32.09 +231.58 TMO‑Non TMO‑Non +33.43 TMO‑Non GUP‑Non GUP‑Non TMO‑Non
CSR057+2 +0.04 +0.01 +0.05 +2.24 +0.88 +8.74 +1.78 +0.41 TMO‑Non GUP‑Non +41.20
CSR012+1 +1.46 +3.86 +19.96 +25.82 TMO‑Non +9.68 TMO‑Non TMO‑Non +0.40 TMO‑Non TMO‑Non
CSR038+2 +0.68 +0.04 +1.91 +0.76 +0.49 +8.19 +0.22 +11.61 TMO‑Non GUP‑Non TMO‑Non
ALG103+1 +0.04 +0.04 +164.34 +0.01 TMO‑Non TMO‑Non TMO‑Non +277.86 TMO‑Non GUP‑Non TMO‑Non
CSR031+2 +0.05 +0.01 +0.05 +0.32 +0.04 +6.22 +3.26 +0.05 TMO‑Non +0.05 +37.06
GEO497+1* +30.76 +8.96 +21.72 +3.87 TMO‑Non +12.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR069+2 +0.01 +0.01 +0.01 +0.05 +0.04 +8.32 +0.19 +0.04 TMO‑Non +0.04 +36.12
SWV109+1 +0.61 +0.01 TMO‑Non +0.01 +1.31 +11.52 +0.18 TMO‑Non TMO‑Non +123.64 TMO‑Non
CSR032+2 +0.01 +0.04 +0.04 +0.04 +0.04 +14.54 +0.22 +0.04 TMO‑Non GUP‑Non +39.24
SET665+3 +0.42 +1.88 +24.88 +126.17 +51.02 +30.77 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR048+2 +0.01 +0.01 +0.04 +0.04 +0.44 +8.97 +0.21 +0.04 TMO‑Non +0.05 +36.89
SWV024+1 +6.59 +6.29 TMO‑Non +0.05 +1.41 +10.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR115+22 +0.04 +0.71 +0.04 +6.88 +4.72 +127.76 +170.93 TMO‑Non TMO‑Non +127.96 TMO‑Non
SWV486+3 +0.05 +0.01 +0.42 +0.04 +122.80 +49.22 +36.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB003+3 +0.01 +0.01 +0.04 +0.01 +0.04 +9.02 +0.13 +0.01 +0.03 +0.05 +14.94
SWV478+1 +0.46 +0.05 +0.04 +0.04 +297.14 +14.39 TMO‑Non TMO‑Non +78.37 GUP‑Non TMO‑Non
CSR029+2 +0.03 +0.01 +0.04 +0.34 +0.70 +8.68 +28.51 +1.53 TMO‑Non +0.04 TMO‑Non
NUM336+1 +0.57 +0.01 +106.37 TMO‑Non +10.31 TMO‑Non TMO‑Non TMO‑Non +25.92 GUP‑Non TMO‑Non
CSR037+3 +0.05 +1.83 +1.59 +1.27 +3.03 +45.02 +30.55 +27.72 TMO‑Non +1.63 +241.37
GEO535+1* +22.06 +24.49 +162.60 +0.77 TMO‑Non +14.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO254+1 +0.56 +0.04 +0.05 +20.12 +0.04 +141.98 TMO‑Non +1.54 +0.04 TMO‑Non TMO‑Non
NUM345+1 +0.57 +1.47 +127.23 TMO‑Non +27.50 TMO‑Non TMO‑Non TMO‑Non +26.00 GUP‑Non TMO‑Non
SWV437+1 +0.01 +0.01 +0.01 +1.59 +0.05 +8.23 +1.42 +0.01 +0.04 GUP‑Non +53.74
CSR005+2 +80.19 +3.86 +15.27 +132.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +125.40 TMO‑Non TMO‑Non
CSR042+3 +0.04 +0.70 +1.47 +5.72 +3.07 +125.01 +1.40 +2.43 TMO‑Non +1.62 +260.21
SET678+3 +0.05 +0.04 +0.01 +180.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR115+96 +0.04 +0.62 +0.04 +6.68 +6.94 +124.56 TMO‑Non TMO‑Non TMO‑Non +105.46 TMO‑Non
SWV462+1 +1.84 +0.04 +5.82 +0.05 TMO‑Non +10.26 TMO‑Non +196.81 +1.77 GUP‑Non TMO‑Non
CSR051+2 +0.05 +0.01 +0.04 +0.04 +0.04 +8.42 +0.19 +0.04 TMO‑Non +0.04 +36.30
NUM852+1 +5.29 +0.66 +0.05 +0.01 TMO‑Non +6.08 +24.03 TMO‑Non UNK‑Non UNK‑Non TMO‑Non
CSR048+3 +0.04 +1.35 +1.49 +1.41 +3.09 +38.40 +1.81 +14.01 TMO‑Non +1.66 +235.45
SWW470+5 +1.04 +0.01 +46.76 +1.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR115+63 +0.04 +0.71 +0.05 +6.75 +6.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +104.42 TMO‑Non
GEO340+1 +2.31 +6.30 +151.14 +3.85 +15.39 +19.81 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
CSR039+1 +0.04 +0.01 +0.04 +0.63 +0.56 TMO‑Non +174.36 +0.53 0.68 +3.74 TMO‑Non
GEO300+1 +2.92 +0.86 +0.04 +0.04 +0.04 +17.58 TMO‑Non +0.46 UNK‑Non UNK‑Non TMO‑Non
CSR026+2 +0.04 +0.55 +0.04 +0.32 +0.67 +8.52 +120.70 +1.31 TMO‑Non GUP‑Non TMO‑Non
KLE013+1 +93.90 +21.99 +2.50 +11.21 TMO‑Non +264.74 TMO‑Non TMO‑Non +91.21 GUP‑Non TMO‑Non
CSR053+2 +0.04 +0.01 +0.01 +0.04 +0.04 +8.14 +0.19 +0.04 TMO‑Non +0.04 +37.07
GEO089+1 +0.04 +8.56 TMO‑Non +0.04 TMO‑Non TMO‑Non +11.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR026+3 +0.04 +1.31 +1.69 +5.24 +3.31 TMO‑Non TMO‑Non +14.89 TMO‑Non GUP‑Non TMO‑Non
SCT149+1 +0.04 +0.04 TMO‑Non +0.04 +0.04 +37.68 +0.31 +7.24 TMO‑Non +0.39 TMO‑Non
KRS258+1 +0.04 +0.04 +0.04 +40.12 +0.04 +19.86 +28.15 +3.40 +0.05 +0.06 TMO‑Non
LCL493+1 +0.79 +1.47 +0.04 TMO‑Non +179.76 +14.26 TMO‑Non TMO‑Non +1.76 GUP‑Non TMO‑Non
GEO263+3 +0.01 +0.05 +0.01 +0.01 +0.03 +6.81 +0.91 +0.05 +0.04 +5.69 +137.67
GEO502+1* +3.39 +4.10 TMO‑Non +55.13 +0.92 TMO‑Non +28.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB029+3 +0.05 +4.39 +0.39 +0.04 +55.18 TMO‑Non +205.91 TMO‑Non +3.46 GUP‑Non TMO‑Non
CSR030+4 +1.37 +4.04 +74.77 TMO‑Non +18.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR072+3 +0.05 +0.05 +0.03 +0.42 +0.35 +83.46 +1.38 +1.57 TMO‑Non +1.43 +234.88
SWB086+1 +2.91 +3.40 +8.00 +197.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR114+11 +0.05 +0.38 +2.69 +6.49 +10.73 +139.73 +212.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM123+1 +20.26 +1.85 +152.36 +0.04 TMO‑Non +265.87 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
GEO230+1 +0.57 +0.05 +0.04 +20.33 +0.04 +35.95 +172.31 +202.87 +0.04 TMO‑Non TMO‑Non
SWW297+1 +0.90 +0.05 +3.28 +122.32 +59.06 TMO‑Non +29.82 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR116+41 +0.78 +0.54 +0.05 +7.21 +16.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO169+2 +4.30 +2.43 +13.47 +0.05 +12.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO187+1 +0.05 +0.04 +0.01 +0.05 +0.04 +4.50 +0.19 +0.52 +0.04 +0.05 +10.71
SWB029+1 +8.61 +3.71 +154.44 +95.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS259+1 +0.04 +0.01 +0.01 +41.42 +0.04 +11.02 +119.32 +3.41 +0.32 +0.06 TMO‑Non
GEO298+1 +14.06 +2.86 +1.56 +170.19 +2.58 TMO‑Non TMO‑Non +141.02 UNK‑Non UNK‑Non TMO‑Non
KRS179+1 +0.05 +0.01 +0.01 +0.01 +0.01 +5.51 +0.11 +0.39 +0.04 +0.05 +7.32
SCT120+1 +17.91 +0.51 +80.46 +0.66 TMO‑Non +82.83 TMO‑Non TMO‑Non +96.03 GUP‑Non TMO‑Non
GEO223+2 +0.04 +0.01 +0.04 +0.01 +0.04 +4.93 +202.29 +1.27 +0.04 TMO‑Non TMO‑Non
SWV491+3 +0.04 +0.04 +0.51 +0.04 TMO‑Non +12.76 +0.99 +154.93 TMO‑Non TMO‑Non TMO‑Non
CSR055+2 +0.04 +0.01 +0.04 +0.32 +0.31 +6.01 +3.24 +0.05 TMO‑Non +0.04 +36.64
GEO500+1* +182.06 +0.63 +7.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +5.90 +3.97 TMO‑Non TMO‑Non
SWB025+2 +0.01 +0.04 +0.01 +0.05 +0.04 +5.19 +4.05 TMO‑Non +0.56 GUP‑Non TMO‑Non
GEO507+1* +0.63 +6.90 TMO‑Non +1.01 +39.80 +53.19 TMO‑Non TMO‑Non +63.72 TMO‑Non TMO‑Non
CSR055+3 +0.05 +0.41 +1.47 +4.91 +4.02 +13.62 +29.55 +12.91 TMO‑Non +1.65 +238.34
AGT009+1 +0.60 +1.17 TMO‑Non TMO‑Non +15.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB014+3 +0.04 +2.54 +0.83 +0.40 +58.01 +71.50 +235.90 TMO‑Non +23.95 GUP‑Non TMO‑Non
SWW386+1 +0.90 +0.05 +3.77 +11.72 +5.77 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KRS201+1 +0.04 +0.05 +0.05 +127.29 +0.04 +33.94 +0.34 +19.77 +0.43 +0.05 +49.99
SWV448+1 +2.39 +0.05 +229.81 +0.04 TMO‑Non +13.38 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR070+2 +0.67 +0.04 +0.03 +0.71 +0.39 +9.81 +1.28 +1.20 TMO‑Non GUP‑Non +37.30
GEO292+1 +14.27 TMO‑Non +3.51 +182.93 +22.62 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
GEO255+1 +0.05 +0.01 +0.01 +0.05 +0.80 +11.74 +1.59 +0.40 +0.04 +14.52 TMO‑Non
SWB068+1 +2.88 +4.48 +230.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR028+2 +0.01 +0.04 +0.01 +0.04 +0.05 +8.81 +0.18 +0.05 6.68 +0.06 +36.07
SWV470+1 +0.04 +2.65 +249.19 +0.01 TMO‑Non +9.51 TMO‑Non TMO‑Non +30.09 GUP‑Non TMO‑Non
MGT067+1 +0.04 +0.04 +0.04 TMO‑Non +0.40 TMO‑Non +1.66 +0.41 +0.43 +83.98 +47.68
SWW344+1 +0.39 +0.05 +2.88 TMO‑Non +5.89 +30.36 +30.48 TMO‑Non +274.50 GUP‑Non TMO‑Non
CSR115+6 +0.05 +0.39 +0.05 +7.21 +7.08 TMO‑Non +185.69 TMO‑Non TMO‑Non +155.12 TMO‑Non
COM132+2 +184.60 +74.51 +0.44 +0.51 TMO‑Non +50.81 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
KRS215+1 +0.04 +1.01 +0.01 +127.61 +0.04 +68.92 +5.92 TMO‑Non +0.95 GUP‑Non TMO‑Non
SET772+4 +0.05 +8.30 TMO‑Non +0.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR040+2 +0.68 +0.04 +0.04 +23.63 +2.29 TMO‑Non TMO‑Non +0.05 +137.85 +127.62 TMO‑Non
GRA002+2 +3.77 +8.31 +151.54 +55.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR073+2 +0.67 +0.04 +0.04 +3.80 +0.39 +8.96 +1.27 +0.57 TMO‑Non GUP‑Non +37.32
SET745+4 +6.81 TMO‑Non TMO‑Non +0.01 TMO‑Non +208.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR046+2 +0.01 +0.01 +0.04 +0.05 +0.04 +14.00 +0.18 +0.01 TMO‑Non +0.05 +36.04
LCL533+1 +7.54 +1.95 +0.04 TMO‑Non +160.39 TMO‑Non TMO‑Non TMO‑Non +20.34 GUP‑Non TMO‑Non
GEO233+1 +0.01 +0.04 +0.01 +0.01 +0.01 +6.05 +0.24 +0.01 +0.04 +6.22 TMO‑Non
SWW474+6 +4.80 +0.04 +136.50 +0.80 +11.39 +253.85 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SYO525+1.015 +9.02 +13.36 +27.80 TMO‑Non +124.24 TMO‑Non TMO‑Non GUP‑Non +5.69 GUP‑Non TMO‑Non
CSR011+1 +29.67 +3.86 +27.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +274.20 TMO‑Non TMO‑Non
KRS190+1 +0.56 +1.78 +1.90 +0.01 +0.04 +7.97 +5.55 TMO‑Non +0.32 +0.05 +10.99
SWB067+1 +3.40 +3.77 +6.87 +10.48 +169.38 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
NLP262+1 +19.03 +41.71 +33.50 TMO‑Non +266.41 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
GEO285+1 +41.84 +2.38 +1.00 +170.19 TMO‑Non TMO‑Non TMO‑Non +0.58 UNK‑Non UNK‑Non TMO‑Non
BOO109+1 +45.29 +86.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV492+1 +0.04 +0.01 +0.45 +0.58 +124.80 +185.85 TMO‑Non +237.14 TMO‑Non TMO‑Non TMO‑Non
SYN986+1.004 +3.09 +0.04 +111.84 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW315+1 +0.90 +0.05 +7.34 +2.69 +6.57 +117.86 +2.42 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KRS195+1 +0.54 +1.80 +0.01 +0.04 +0.04 +9.72 +0.32 TMO‑Non +0.29 +0.05 +11.03
SWW383+1 +0.89 +0.05 +2.99 +2.69 +5.54 +151.86 +2.46 TMO‑Non +234.38 GUP‑Non TMO‑Non
CSR116+18 +9.28 +0.37 +0.04 +6.58 +9.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
REL030+1 TMO‑Non TMO‑Non +154.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL684+1.010 TMO‑Non TMO‑Non TMO‑Non +14.22 109.43 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP666+1 TMO‑Non TMO‑Non +130.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +131.47 GUP‑Non TMO‑Non
KRS251+1 +0.57 +1.79 TMO‑Non +0.01 +3.72 TMO‑Non +28.31 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO531+1* +0.88 +10.46 TMO‑Non +70.86 TMO‑Non +10.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+46 +9.43 +0.56 +0.04 +6.89 +8.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW299+1 +0.89 +0.05 +8.08 +92.10 +186.05 TMO‑Non +75.90 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KRS235+1 +0.52 +1.79 +4.29 +0.04 +0.04 TMO‑Non +28.70 TMO‑Non +2.80 +0.05 +11.90
LCL537+1 +7.83 +137.74 +0.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +83.57 GUP‑Non TMO‑Non
CSR033+3 +0.04 +1.83 +4.19 +197.13 +5.37 TMO‑Non TMO‑Non +89.60 TMO‑Non TMO‑Non TMO‑Non
SWW298+1 +0.39 +0.05 +3.03 +10.10 +57.34 TMO‑Non +72.24 +133.35 +241.04 GUP‑Non TMO‑Non
NLP260+1 +18.83 +41.72 +33.00 TMO‑Non +263.53 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWB046+1 +0.57 +3.70 +41.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
LCL638+1.005 +5.78 +0.47 +0.04 +85.11 +20.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB025+1 +2.90 +0.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +235.12 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS264+1 +0.57 +1.84 TMO‑Non TMO‑Non +1.35 TMO‑Non +120.00 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NUM860+1 +3.27 +1.21 +0.88 +0.04 +139.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+23 +8.82 +0.49 +0.04 +7.37 +11.59 TMO‑Non +29.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW387+1 +1.28 +0.05 +3.50 +11.53 +5.70 TMO‑Non +31.99 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR062+3 +0.05 +1.31 +2.15 TMO‑Non +3.07 TMO‑Non +121.30 +13.94 TMO‑Non GUP‑Non +266.58
NUM924+8 +17.49 +12.76 +2.29 +6.96 TMO‑Non +209.03 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS233+1 +0.53 +1.84 +5.51 +0.04 +0.04 +69.06 +28.31 TMO‑Non +2.81 +0.05 +11.46
SWW365+1 +1.51 +0.05 +9.73 TMO‑Non TMO‑Non +191.24 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR064+3 +0.41 +0.55 +1.82 +4.90 +3.88 TMO‑Non +1.71 +3.36 TMO‑Non +1.62 +263.93
SWV103+1 +0.56 +11.54 +9.74 +0.04 TMO‑Non +221.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL648+1.010 TMO‑Non TMO‑Non TMO‑Non +13.99 70.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT117+1 +2.19 +0.05 TMO‑Non +0.04 +80.95 +30.71 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL670+1.005 +15.04 TMO‑Non TMO‑Non TMO‑Non +62.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB063+1 +2.87 +3.79 +17.09 +1.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR073+3 +0.04 +0.69 +1.49 TMO‑Non +1.33 TMO‑Non +12.85 +34.18 TMO‑Non GUP‑Non +241.20
GEO513+1* +26.55 +0.05 TMO‑Non +16.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR027+3 +1.79 +44.23 +1.54 +193.15 +6.18 TMO‑Non +13.58 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO512+1* +50.94 +214.18 TMO‑Non +9.23 TMO‑Non +56.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR050+3 +1.32 +14.53 +1.49 +4.96 +4.90 TMO‑Non +121.73 +21.10 TMO‑Non GUP‑Non TMO‑Non
GEO514+1* +25.45 +17.87 TMO‑Non +0.31 TMO‑Non +13.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV014+1 +0.57 +0.01 +0.01 +0.01 +10.09 +6.16 +211.10 +0.04 UNK‑Non GUP‑Non TMO‑Non
GEO532+1* +233.36 +11.03 TMO‑Non +0.35 TMO‑Non +10.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+45 +8.81 +4.65 +0.05 +6.62 +9.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO523+1* +5.29 +8.43 +0.04 TMO‑Non TMO‑Non +47.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN353+1 +0.05 +0.01 +0.01 TMO‑Non +10.08 +5.73 TMO‑Non +0.04 +1.66 +0.04 TMO‑Non
GEO506+1* TMO‑Non +232.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP261+1 +19.30 +41.60 +32.98 TMO‑Non +267.09 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR056+4 +7.43 +4.77 +2.70 TMO‑Non +51.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+35 +9.53 +2.43 +0.04 +6.49 +22.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA011+1 +3.69 TMO‑Non +14.18 +232.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS186+1 +0.48 +1.80 +29.98 +0.01 +0.05 +8.98 +5.56 TMO‑Non +28.19 +0.04 +11.43
SWB028+1 +25.05 +59.92 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR070+3 +1.18 +1.33 +4.90 +16.25 +3.00 TMO‑Non +71.39 +37.30 TMO‑Non GUP‑Non +256.45
GEO307+1 +7.49 +5.09 TMO‑Non +43.18 +158.16 +134.51 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
LCL668+1.015 +26.64 57.54 TMO‑Non +29.84 +4.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT115+1 +2.19 +0.01 TMO‑Non +0.04 +37.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR044+3 +1.79 +44.25 +2.09 +212.21 +6.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW334+1 +1.53 +0.04 +7.01 +10.57 TMO‑Non TMO‑Non +30.76 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR116+8 +1.00 +0.44 +0.05 +8.09 +16.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP666+6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +98.59 GUP‑Non TMO‑Non
CSR060+3 +1.77 +44.57 +1.95 TMO‑Non +3.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO517+1* +291.88 +26.99 TMO‑Non TMO‑Non TMO‑Non +17.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS193+1 +0.55 +1.84 +0.04 +0.01 +0.04 +8.00 +5.51 TMO‑Non +0.31 +0.06 +11.05
GEO495+1* TMO‑Non TMO‑Non TMO‑Non +1.44 TMO‑Non +260.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+29 +9.52 +0.43 +0.04 +6.69 +19.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO465+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +51.20 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KRS196+1 +0.52 +1.79 +0.05 +0.05 +0.04 +8.19 +0.28 TMO‑Non +0.04 +0.05 +10.77
LCL501+1 +18.78 +54.13 +265.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +50.88 GUP‑Non TMO‑Non
KRS194+1 +0.54 +1.83 +0.04 +0.01 +0.04 +8.42 +0.31 TMO‑Non +0.05 +0.04 +11.19
KLE103+1 TMO‑Non TMO‑Non +9.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +68.46 GUP‑Non TMO‑Non
LCL672+1.020 +0.99 +90.51 UNK‑Non TMO‑Non +54.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB093+1 +2.90 +249.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
KRS187+1 +0.51 +1.78 +2.16 +0.04 +0.04 +8.00 +5.52 TMO‑Non +0.33 +0.05 +10.94
CSR004+1 +98.67 +3.86 +36.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+34 +9.30 +0.53 +0.05 +6.46 +22.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
COM140+1 +31.43 TMO‑Non +283.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
CSR116+9 +9.44 +2.19 +0.04 +6.74 +22.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW389+1 +1.20 +0.05 +9.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KRS191+1 +0.50 +1.79 +1.79 +0.01 +0.04 +8.84 +5.52 TMO‑Non +0.31 +0.06 +11.21
SWB081+1 +2.86 +3.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWB012+3 +0.05 +6.13 +0.99 +0.46 TMO‑Non +159.33 +177.19 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW310+1 +1.24 +0.05 +9.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYO525+1.021 +191.09 +153.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non GUP‑Non TMO‑Non
SWW328+1 +6.00 +0.05 +10.08 +9.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LAT258+1 +22.51 TMO‑Non +79.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO336+1 TMO‑Non +25.59 +152.88 TMO‑Non +12.72 TMO‑Non TMO‑Non +13.48 UNK‑Non UNK‑Non TMO‑Non
LCL652+1.015 +22.09 +0.05 +74.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO004+1 +89.93 TMO‑Non +64.32 +127.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO167+1 +146.45 TMO‑Non TMO‑Non +6.36 TMO‑Non +108.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO332+1 +16.58 +5.70 +0.04 +119.40 +11.81 TMO‑Non TMO‑Non +17.91 UNK‑Non UNK‑Non TMO‑Non
LCL664+1.020 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW316+1 +11.78 +0.04 +9.41 TMO‑Non TMO‑Non TMO‑Non +32.44 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR036+3 +0.04 +30.07 +155.88 TMO‑Non +237.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO287+1 +32.96 +0.04 +6.17 +170.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
LCL662+1.015 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP780+1 TMO‑Non +142.50 +0.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.16 GUP‑Non TMO‑Non
LCL662+1.010 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW321+1 +1.47 +0.39 +9.14 +10.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LCL668+1.020 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +8.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB071+1 +5.84 +3.34 +3.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL682+1.020 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +52.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET105+1 +3.27 +2.31 +31.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL652+1.020 TMO‑Non +0.58 +15.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT143+1 +13.99 +4.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.26 GUP‑Non TMO‑Non
LCL876+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL888+1 TMO‑Non +26.87 +4.71 TMO‑Non TMO‑Non GUP‑Non TMO‑Non +247.76 UNK‑Non GUP‑Non TMO‑Non
GEO168+1 +85.53 +10.75 +73.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB027+1 +24.68 +3.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR049+3 +0.29 +30.05 +155.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW337+1 +0.88 +0.05 +7.63 +10.60 TMO‑Non +257.62 +31.47 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LCL670+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +55.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
AGT006+2 +1.78 +3.54 TMO‑Non TMO‑Non +76.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR061+3 +0.04 +30.03 +155.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN076+1 +1.61 +11.99 TMO‑Non +16.32 TMO‑Non +7.96 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL688+1.005 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM124+1 +31.45 TMO‑Non +164.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
LCL636+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW362+1 +1.48 +0.40 +12.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL688+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW391+1 +0.88 +0.05 +9.35 TMO‑Non +6.86 +151.13 +30.31 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LCL638+1.020 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO090+1 +0.04 269.85 TMO‑Non +13.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT141+1 +13.61 +4.47 +152.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +3.40 GUP‑Non TMO‑Non
GEO466+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW364+1 +3.60 +0.05 +9.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB104+1 +2.89 +3.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
AGT011+2 +6.02 +45.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KLE016+2 +105.83 +49.80 +5.23 +37.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW336+1 +3.02 +0.04 +9.79 +10.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWB051+1 +35.55 +4.63 +155.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW352+1 +11.30 +62.59 +5.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SCT163+1 +60.54 +2.87 +1.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +147.20 +3.79 GUP‑Non TMO‑Non
SWB088+1 +3.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
LCL898+1 +82.05 +87.74 +1.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SET099+1 +3.28 UNK‑Non +1.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB050+1 +8.63 +4.46 +155.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
BIO003+1 +9.81 +7.60 +20.49 +235.85 UNK‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non
SWW374+1 +1.52 +0.04 +3.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW096+1 +3.81 +7.07 +99.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW309+1 +10.82 +63.44 +9.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWB089+1 +3.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SCT152+1 +2.21 +18.00 TMO‑Non +60.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO536+1* +90.68 +24.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO511+1* TMO‑Non TMO‑Non TMO‑Non +55.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW395+1 +2.50 +0.43 +9.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWB105+1 +2.81 +3.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
SWW340+1 +11.57 +63.66 +8.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW330+1 +11.99 +295.26 +9.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO296+1 +109.92 +113.97 +5.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
SWW338+1 +1.61 +0.05 +9.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO341+1 +39.97 +56.61 +254.37 +79.23 +13.24 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
SWW396+1 +11.23 +62.88 +8.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KLE117+1 TMO‑Non TMO‑Non +4.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +185.44 GUP‑Non TMO‑Non
LCL568+1 +46.89 +23.68 +1.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW392+1 +10.83 +0.05 +10.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW301+1 +2.38 +0.05 +9.82 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
BIO002+1 +14.02 +32.83 +110.71 +285.72 UNK‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non
SWW373+1 +11.33 +62.70 +9.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV234+1 TMO‑Non TMO‑Non +15.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW370+1 +1.07 +62.57 +9.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW303+1 +11.13 +22.58 +4.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO520+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW100+1 +5.69 +5.54 TMO‑Non +127.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW325+1 +11.40 +62.69 +9.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR061+5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL892+1 +144.92 +41.40 +89.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LAT319+3 +15.14 +1.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
BIO004+1 +13.94 +44.26 +104.98 TMO‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non
GEO323+1 TMO‑Non TMO‑Non +83.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
SWB010+1 +8.64 +3.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
LCL559+1 +20.43 +15.18 +1.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +233.69 GUP‑Non TMO‑Non
LCL557+1 +20.58 +15.78 +83.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +238.11 GUP‑Non TMO‑Non
GEO330+1 +40.62 TMO‑Non +68.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
SWB070+1 +9.15 +54.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW377+1 +11.44 +62.75 +8.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR050+5 +14.38 +39.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
CSR034+6 +90.75 +93.69 TMO‑Non TMO‑Non 193.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR056+5 +14.88 +12.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW347+1 +10.53 +62.77 +5.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR030+5 +14.37 +37.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LAT313+4 +15.01 +69.81 +17.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV107+1 +1.17 +9.04 TMO‑Non +255.67 +241.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO491+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO471+1* +212.94 +268.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
COM145+1 TMO‑Non TMO‑Non TMO‑Non +113.64 TMO‑Non +15.81 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
NUM424+1 TMO‑Non TMO‑Non TMO‑Non +96.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU449+4 +47.14 +13.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
REL016+2 TMO‑Non TMO‑Non +18.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SCT170+2 +19.89 +57.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SET672+3 +3.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SCT124+1 +65.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GRP620+2 +72.81 +58.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO316+1 TMO‑Non UNK‑Non +68.08 +175.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
HAL001+1 +29.41 107.54 TMO‑Non +83.09 TMO‑Non +57.36 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW248+1 +66.65 +22.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +9.47 GUP‑Non TMO‑Non
CAT025+4 +1.87 +41.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR058+6 +88.82 +90.47 TMO‑Non TMO‑Non 193.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO322+1 TMO‑Non TMO‑Non +80.07 +139.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
GRP653+3 +35.69 +7.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR073+5 +14.42 +37.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO521+1* +25.26 +108.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO451+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO441+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO473+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO445+1* TMO‑Non +264.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO450+1* TMO‑Non +264.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO442+1* TMO‑Non +268.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LCL572+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB102+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
SCT144+1 +81.50 +22.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LAT347+2 +58.70 +58.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LAT323+4 +15.43 +36.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU351+2 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HWV123+1 +7.62 +33.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SCT160+1 +193.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO325+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
SWV393+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LAT306+2 +18.10 +83.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GRP620+3 +68.22 +21.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO338+1 +64.40 +76.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
GEO334+1 +108.02 +37.85 TMO‑Non +171.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non
Solved/500 452/500 444/500 381/500 327/500 283/500 211/500 186/500 154/500 140/500 99/500 71/500
Av. CPU Time 12.65 15.79 20.44 27.70 25.43 38.71 44.74 23.38 25.99 26.68 80.98
Av. WC Time 12.66 15.77 20.49 28.95 25.37 15.49 44.51 23.41 26.05 26.75 58.73
Solutions 452/500 440/500 381/500 327/500 279/500 211/500 186/500 154/500 138/500 99/500 71/500
μEfficiency 548 550 448 358 245 82 82 163 164 118 10
μWCEfficiency 555 551 448 357 245 34 148 163 165 118 5
SOTAC 0.22 0.21 0.19 0.17 0.16 0.14 0.13 0.12 0.15 0.11 0.10
Core Usage 0.79 0.87 0.82 0.81 0.86 2.75 0.74 0.83 0.76 0.73 1.72
New Solved 23/36 27/36 12/36 19/36 5/36 18/36 4/36 2/36 6/36 0/36 0/36
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF TFA FOF FNT EPR SLH LTB TNE TEQ TFI TFR TFE FNE FEQ FNN FNQ EPT EPS CML

Results for FNT (First-order Non-theorems)

First-order Non-theorems Vampire
 SAT‑4.1
Vampire
 SAT‑4.2
iProver
 SAT‑2.6
CVC4
 SNA‑1.5.2
E
 FNT‑2.1
Scavenger
 EP‑0.2
SYO609+1* +7.11 +0.01 +0.04 +0.04 TMO‑Non TMO‑Non
LCL910+1 +0.41 +0.01 +0.04 +0.04 TMO‑Non TMO‑Non
SEV516+1* +7.08 +0.04 +0.05 +0.32 TMO‑Non TMO‑Non
PUZ071+1 +27.19 +0.41 +134.64 +0.42 +0.04 TMO‑Non
SYO608+1* +7.02 +0.04 +0.04 +0.32 TMO‑Non TMO‑Non
PUZ067+1 +20.61 +0.40 +115.78 +0.04 +0.04 TMO‑Non
LCL677+1.020 +7.11 +0.04 +2.16 +14.37 TMO‑Non TMO‑Non
KLE179+1 +0.41 +0.01 +0.01 +0.04 TMO‑Non TMO‑Non
KRS054+1 +0.04 0.01 +0.04 +0.04 +0.01 +4.94
PUZ069+1 +25.89 +0.41 +114.01 +0.05 +0.04 TMO‑Non
SYN422+1 +0.04 +0.05 +1.48 +0.64 +0.69 TMO‑Non
KLE181+1 +0.45 +0.04 +0.04 +0.01 TMO‑Non TMO‑Non
KRS061+1 +0.01 0.04 +0.04 +0.01 +0.01 +4.11
KLE178+1 +0.47 +0.04 +0.05 +0.04 TMO‑Non TMO‑Non
SWB006+4 +0.01 +0.04 +0.04 +0.04 +0.01 TMO‑Non
LCL909+1 +0.42 +0.01 +0.04 +0.04 TMO‑Non TMO‑Non
KRS226+1 +97.01 +94.84 +18.13 +227.44 TMO‑Non TMO‑Non
HWV053+1 +10.21 +73.81 TMO‑Non TMO‑Non +191.31 UNK‑Non
KRS213+1 +88.40 +66.66 +18.40 +163.18 TMO‑Non TMO‑Non
PUZ068+1 +20.59 +0.36 +115.76 +0.04 +0.04 TMO‑Non
SYN320+1 +0.01 0.04 +0.04 +0.01 +0.01 +4.75
PUZ072+1 +74.66 +0.35 +141.60 +0.67 +0.32 TMO‑Non
KRS022+1 +0.04 0.01 +0.04 +0.01 +0.01 +4.25
LCL907+1 +0.04 +0.04 +0.04 +0.01 TMO‑Non TMO‑Non
SWB019+3 +9.52 +2.42 +81.92 TMO‑Non +5.31 TMO‑Non
KLE177+1 +0.42 +0.04 +0.04 +0.01 TMO‑Non TMO‑Non
SWB027+4 +0.04 +0.01 +0.04 +0.04 +0.01 TMO‑Non
KRS034+1 +0.44 +0.01 +2.18 +30.60 +0.43 TMO‑Non
LCL645+1.015 +0.04 +0.05 +1.44 +0.96 +0.40 TMO‑Non
KLE180+1 +0.45 +0.01 +0.05 +0.01 TMO‑Non TMO‑Non
KRS199+1 +106.93 +86.06 +12.77 +177.28 TMO‑Non TMO‑Non
LCL912+1 +0.40 +0.04 +0.01 +0.04 TMO‑Non TMO‑Non
CSR154+1 +0.06 +0.04 +0.04 +0.01 +0.01 TMO‑Non
PUZ066+1 +10.49 +0.41 +142.36 +0.42 +0.04 TMO‑Non
SWB014+4 +0.01 +0.05 +0.04 +60.55 +0.01 TMO‑Non
PUZ070+1 +0.88 +0.42 +133.26 +0.37 +0.41 TMO‑Non
SYN528+1 +0.04 +0.01 +0.04 +0.04 +0.01 +74.67
LCL908+1 +0.04 +0.04 +0.04 +0.05 TMO‑Non TMO‑Non
AGT042+1 +0.05 +0.70 +0.04 +0.81 +0.04 TMO‑Non
KLE173+1 +0.45 +0.04 +0.01 +0.01 TMO‑Non TMO‑Non
GRA015+1 +0.04 +0.04 +0.04 +0.57 TMO‑Non TMO‑Non
GRP396+1 +0.41 0.01 +0.01 +0.04 +0.01 TMO‑Non
PUZ080+2 +1.68 +75.30 +2.19 +0.75 +0.80 TMO‑Non
KLE176+1 +0.38 +0.01 +0.04 +0.01 TMO‑Non TMO‑Non
SWB013+4 +0.03 +0.01 +0.04 +0.04 +0.01 TMO‑Non
PUZ065+1 +74.67 +0.35 +142.67 +0.62 +0.32 TMO‑Non
SWB030+3 +9.72 +2.41 +71.43 TMO‑Non +2.23 TMO‑Non
LAT385+1 +0.42 +0.04 +0.04 +0.05 TMO‑Non TMO‑Non
GRA016+1 +0.32 +0.35 +0.04 +0.71 TMO‑Non TMO‑Non
LAT384+1 +0.42 +0.01 +0.04 +0.04 TMO‑Non TMO‑Non
KRS227+1 +88.56 +96.70 +18.38 +198.19 TMO‑Non TMO‑Non
LCL883+1 +0.40 +0.04 +1.32 +0.62 TMO‑Non TMO‑Non
SWB011+4 +0.01 +0.04 +0.05 +0.04 +0.04 TMO‑Non
LCL577+1 +0.44 +0.04 +0.04 +91.82 TMO‑Non TMO‑Non
SWV018+1 +6.99 +0.04 +0.04 +0.04 +0.01 TMO‑Non
SWV483+2 +108.52 +2.08 +72.93