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

Results for THF (Higher-order Theorems)

Higher-order Theorems Satallax
3.2
Satallax
3.3
Leo‑III
1.3
LEO‑II
1.7.0
SEU807^2 +23.57 +23.58 +5.57 +0.05
SYO514^1 UNK‑Non UNK‑Non +7.39 +0.01
SYO226^5 +0.01 +0.04 TMO‑Non +0.04
SEV164^5 +0.88 +0.89 +7.78 +0.04
SEU909^5 +0.01 +0.01 +17.47 TMO‑Non
SYO300^5 +0.94 +0.94 +4.37 TMO‑Non
SWV073^7 +1.83 +1.78 +28.35 TMO‑Non
SYO560^1 +0.94 +0.98 +15.40 +106.36
SEV006^5 +0.01 +0.01 +7.77 +0.32
LCL727^5 +16.51 +16.54 +16.37 +0.01
SYO068^4.010 +0.94 +0.94 +5.44 +0.04
SYO386^5 +10.13 +9.96 +5.28 +0.38
SWV085^7 +1.50 +1.61 +26.41 TMO‑Non
SYO377^5 +0.01 +0.01 +4.41 TMO‑Non
SET622^5 +0.01 +0.01 +17.33 +0.05
PUZ094^5 +0.41 +0.39 +5.34 +0.42
SET619^5 +0.01 +0.01 +7.94 +0.05
SYO169^5 +36.01 +36.07 +4.83 +0.01
CSR130^2 +57.77 +57.46 +24.79 +32.93
CSR144^1 +0.93 +0.93 +278.84 TMO‑Non
SEU522^1 +24.19 +24.19 +16.35 +1.68
SYO388^5 +9.97 +10.00 +6.92 +1.20
SEU523^1 +23.52 +23.67 +22.53 +1.69
SEV086^5 +4.76 +4.88 +17.00 +6.29
SEU657^2 +0.93 +0.95 +4.94 +0.04
SEV189^5 +0.04 +0.01 TMO‑Non TMO‑Non
SEU585^2 +108.36 +126.38 +5.57 +0.04
SYO173^5 +18.72 +18.61 +5.39 +0.05
SYO362^5 +1.61 +1.76 TMO‑Non +2.07
CSR131^1 +38.41 +38.44 +144.72 TMO‑Non
SEU786^1 +37.72 +37.71 +170.80 TMO‑Non
SEV218^5 +6.12 +6.15 +4.95 +0.04
ALG264^3 +96.77 +112.06 +15.51 +1.79
SEV245^6 +0.01 +0.01 TMO‑Non +25.13
SEU508^1 +0.04 +0.01 +19.61 TMO‑Non
SYO391^5 +6.65 +6.65 +6.06 +1.45
NUM696^1 +1.39 +0.94 +66.20 +0.01
SYO364^5 +101.01 +101.16 +6.44 +0.05
SEU861^5 +114.00 +114.10 +6.43 +0.05
SYO311^5 +21.86 +31.52 +9.98 +0.04
SEU586^1 +133.10 +132.87 +34.97 +13.32
SYO180^5 +0.95 +0.94 +5.00 +0.04
SEU751^2 +0.55 +0.55 +9.20 +0.01
SYO179^5 +3.04 +3.05 +5.00 +0.05
SEV386^5 +3.10 +3.41 +47.05 +0.04
SYO026^1 +0.01 +0.01 +6.72 +0.04
SYO241^5 +0.95 +0.94 +5.40 +132.79
SEV238^5 +16.48 +16.51 TMO‑Non TMO‑Non
PUZ092^5 +0.41 +0.47 +5.16 +0.05
SYO033^1 UNK‑Non UNK‑Non +4.37 GUP‑Non
SEV060^5 +0.01 +0.01 +4.69 +0.04
SYN036^5 +0.94 +0.99 +4.51 +0.05
SEU974^5 +19.13 +19.17 +10.34 +4.28
SYO387^5 +8.29 +8.36 +5.94 +0.77
SYO068^4.020 +0.93 +0.94 +7.49 +0.04
SEV091^5 +0.01 +0.01 +4.63 +0.04
NUM637^2 +12.91 +12.95 +195.49 +150.28
CSR134^1 +16.99 +22.61 +9.93 +76.09
CSR145^2 +174.46 +174.45 +15.58 +89.10
NUM762^1 +18.55 +18.43 +5.27 +0.04
SEU544^1 +0.01 +0.01 +25.84 +3.59
PUZ031^5 +5.95 +5.93 +6.25 +0.87
SET925^7 +0.88 +0.88 +9.84 TMO‑Non
SYO317^5 +20.23 +20.22 +79.01 +0.01
SEU844^5 +0.94 +0.93 +4.24 +0.05
SEV148^5 +13.01 +13.22 +12.95 TMO‑Non
SEV181^5 +0.89 +0.89 +5.70 +133.73
SEV254^5 +1.69 +13.00 TMO‑Non TMO‑Non
SEU868^5 +24.17 +24.07 TMO‑Non TMO‑Non
SEV083^5 +4.85 +4.87 +4.85 +0.75
SYN391^4 +0.94 +0.94 +5.98 +7.26
SEV052^5 +4.84 +4.87 +4.42 +0.72
SEU681^2 +13.06 +13.03 +5.62 +0.04
SYO310^5 +4.81 +4.84 +3.62 +0.05
PUZ081^1 +16.56 +16.57 +4.63 +0.05
SYO376^5 +0.01 +0.01 +9.92 +0.04
LCL630^1 +76.50 +76.26 +5.99 +29.06
SEV082^5 +4.83 +4.80 +4.74 +0.77
PUZ140^1 +16.60 +16.57 +4.07 +0.01
SYO287^5 +32.45 +32.32 +6.11 TMO‑Non
SEU821^1 +1.41 +1.35 +190.66 TMO‑Non
SEV095^5 +2.08 +1.72 TMO‑Non TMO‑Non
GEG014^1 +33.65 +33.49 +7.93 TMO‑Non
SYO327^5 +0.93 +0.93 TMO‑Non TMO‑Non
LCL877^2 +38.84 +38.75 +6.67 +0.05
CSR130^1 +16.56 +16.58 +17.06 +0.04
SEU725^2 +15.94 +15.97 +7.31 +0.71
SEV310^5 +38.96 +38.97 TMO‑Non +0.04
SEU918^5 +0.88 +0.88 +4.93 +50.09
SEV156^5 +108.06 +108.16 +14.87 TMO‑Non
SYO064^4.002 +1.00 +0.95 +5.31 +0.04
SYO288^5 UNK‑Non UNK‑Non +6.26 TMO‑Non
SEV273^5 +18.40 +18.39 TMO‑Non +0.36
SYO174^5 +2.72 +2.46 +5.56 TMO‑Non
SEU712^1 +9.15 +10.19 +94.60 TMO‑Non
SEV154^5 +107.98 +107.99 +23.68 TMO‑Non
LCL623^1 +0.92 +0.89 +4.85 +0.01
SEV157^5 +125.08 +125.18 +24.98 TMO‑Non
SEU589^1 +11.17 +11.18 +35.32 TMO‑Non
SYO325^5 +0.04 +0.01 TMO‑Non TMO‑Non
CSR138^2 +266.64 +266.67 +24.60 +0.05
SYO309^5 UNK‑Non UNK‑Non +23.55 +56.49
SEV166^5 +0.94 +0.94 +5.33 +6.29
SYO272^5 +23.57 +23.55 +117.57 TMO‑Non
SEV242^5 +12.96 +12.97 +141.65 +146.41
LCL728^5 +16.53 +16.58 TMO‑Non GUP‑Non
SEU605^1 +0.05 +0.05 +39.53 +24.17
SEV155^5 +107.90 +108.09 +64.62 TMO‑Non
SEV065^5 +0.01 +0.01 +8.74 +0.05
SYO209^5 +33.40 +33.45 +25.91 +44.71
SEV040^5 UNK‑Non UNK‑Non TMO‑Non +3.98
SEV084^5 +4.82 +4.83 +5.18 +6.37
SEU764^2 +32.81 +32.86 +5.89 +0.05
SYO324^5 +0.93 +0.93 TMO‑Non +26.02
SYO064^4.003 +0.94 +0.94 +5.51 +24.73
SEU948^5 +74.81 +74.84 +86.01 TMO‑Non
SEV121^5 +0.01 +0.05 +70.18 +0.01
SEV153^5 +108.49 +108.10 +21.79 TMO‑Non
LCL594^1 +0.04 +4.87 +6.15 +0.59
SYO548^1 +17.77 +17.67 +4.54 TMO‑Non
SEU545^1 +23.50 +23.52 +26.70 +3.78
SYO334^5 UNK‑Non UNK‑Non +12.00 +0.05
SEU668^2 +0.04 +0.01 +75.06 +130.64
SEV246^6 +39.22 +39.09 TMO‑Non TMO‑Non
SCT171^1 +0.01 +0.01 +36.79 TMO‑Non
SEV252^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU515^1 +23.57 +23.52 +21.26 +0.78
SEV085^5 UNK‑Non UNK‑Non +75.03 TMO‑Non
SEU902^5 +12.86 +12.92 +5.69 +0.01
SEV071^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWV107^7 +2.29 +2.10 +33.35 TMO‑Non
SEV243^5 +98.81 +98.88 TMO‑Non TMO‑Non
SEU876^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU960^5 +18.28 +18.23 +35.31 TMO‑Non
SEU557^1 +27.09 +27.09 +31.52 TMO‑Non
SEV165^5 +31.80 +31.51 +11.84 TMO‑Non
AGT036^1 TMO‑Non TMO‑Non +8.13 +0.04
SEV400^5 +31.53 +32.02 TMO‑Non TMO‑Non
SEU461^1 +0.01 +0.01 +6.33 +0.04
GRA028^1 UNK‑Non UNK‑Non +297.78 TMO‑Non
QUA004^1 +16.86 +16.75 +8.40 +29.79
SEV066^5 +17.89 +22.61 TMO‑Non TMO‑Non
SCT171^2 +0.01 +0.01 +51.46 TMO‑Non
SEV064^5 +17.57 +22.59 TMO‑Non TMO‑Non
SEU514^1 +23.50 +23.52 +20.58 +0.71
SEV072^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM925^2 +49.22 +49.23 +28.85 +6.40
SEV246^5 +39.20 +39.09 TMO‑Non TMO‑Non
SYO534^1 +0.01 +0.01 +4.95 +15.98
SYO269^5 +193.47 +194.03 TMO‑Non TMO‑Non
SEV057^5 +0.94 +0.93 +12.22 TMO‑Non
SEU939^5 +192.45 +192.15 TMO‑Non TMO‑Non
LCL632^1 +0.95 +0.94 +6.51 +68.69
SEV244^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU745^1 +3.26 +3.21 +111.44 TMO‑Non
SEV244^6 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM417^1 +0.01 +0.01 +234.95 TMO‑Non
SEV113^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU649^2 +15.22 +15.26 +4.95 +1.95
GRA027^1 +22.60 +22.61 TMO‑Non TMO‑Non
SET096^1 +0.01 +0.01 +7.76 +0.01
SYO332^5 +16.56 UNK‑Non TMO‑Non GUP‑Non
SEU735^1 +41.51 +41.50 +112.23 TMO‑Non
SEV414^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SYO064^4.001 +0.93 +0.94 +4.52 +0.01
SEV101^5 +22.55 +22.54 TMO‑Non TMO‑Non
LCL873^1 +0.04 +0.01 +7.50 +0.04
SEV100^5 +22.58 +22.61 TMO‑Non TMO‑Non
SYO540^1 +0.01 +0.01 +5.34 +0.05
SEV050^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU675^2 +0.01 +0.01 +53.62 TMO‑Non
GRA030^1 +12.95 +13.06 TMO‑Non TMO‑Non
NUM798^1 +1.90 +1.93 +3.69 +0.01
SYO509^1 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SET741^4 +222.75 +222.77 +5.83 +0.04
MSC021^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LCL603^1 +19.04 +19.08 +5.75 +0.04
SEU940^5 +23.52 UNK‑Non TMO‑Non TMO‑Non
CSR150^2 +11.56 +11.59 +8.00 +0.50
SYO326^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU815^2 +0.50 +0.51 +23.26 +0.04
SEV068^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU718^1 +7.42 +7.48 +103.53 TMO‑Non
SYO329^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU705^2 +22.06 +21.92 +6.55 TMO‑Non
SEV312^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU684^2 +0.03 +0.01 +6.55 TMO‑Non
SEV069^6 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU997^5 +38.58 +39.42 +7.64 +0.42
SEV317^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
ALG279^5 +0.94 +1.44 +4.95 +0.01
SEV093^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LCL597^1 +0.01 +0.04 +4.06 +0.41
SEV305^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU613^2 +0.05 +0.01 +5.10 TMO‑Non
SEV305^6 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU945^5 +0.90 +16.68 +4.67 +0.65
SYO533^1 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM925^3 +49.33 +49.38 +38.18 +23.65
SYO312^5 UNK‑Non UNK‑Non +11.57 TMO‑Non
SYO016^1 +0.01 +0.04 +15.06 TMO‑Non
SEU695^2 +0.01 +0.01 +6.10 TMO‑Non
CSR126^2 +11.52 +11.51 +14.14 +0.04
SEU779^2 +0.04 +0.04 +17.29 TMO‑Non
SEU473^1 +0.04 +0.04 +6.93 +10.17
SET582^5 +0.01 +0.01 +9.96 +0.04
PHI002^2 +0.95 +1.00 +7.20 +0.05
SYO372^5 +0.01 +0.05 +4.94 +0.01
SEU571^1 +1.07 +1.08 +29.31 +12.19
SEV420^1 +1.45 +1.44 +9.38 +0.05
ALG267^1 +144.87 +144.93 +18.56 TMO‑Non
NUM830^5 +0.95 +0.94 +4.36 +0.04
SEU998^5 +1.47 +1.07 +6.87 +0.43
SYO038^1.003.003 +1.41 +1.40 +4.07 +0.01
ALG287^5 +1.11 +0.94 +4.80 +0.01
NUM651^1 +1.07 +0.93 +5.32 +0.01
SEU602^2 +0.01 +0.01 +4.32 TMO‑Non
SEU696^2 +0.05 +0.04 +6.14 TMO‑Non
SEU618^1 +9.39 +9.12 +44.89 TMO‑Non
ALG281^5 +18.53 +18.37 +4.69 +0.04
SWV425^2 +0.01 +0.01 +25.54 +0.05
SWW470^1 +50.11 +50.21 +26.29 TMO‑Non
SEU726^2 +0.01 +0.05 +5.60 +0.05
SYO053^2 +2.37 +2.67 +5.04 +0.01
SEU775^1 +36.85 +37.11 +140.33 TMO‑Non
SEU497^1 +1.45 +1.45 +5.93 +0.05
SYO066^4.002 +2.12 +2.18 +6.07 +0.04
SEU829^1 +0.04 +0.01 +8.34 +0.04
NUM662^1 +1.07 +0.94 +4.20 +0.05
SEU595^1 +11.28 +11.19 +39.95 TMO‑Non
SEU617^1 +6.07 +6.04 +42.09 TMO‑Non
ALG267^2 +0.04 +0.04 +14.27 TMO‑Non
CSR146^1 +0.97 +0.93 +15.73 TMO‑Non
SEU490^1 +0.94 +0.94 +8.23 +266.57
SYO148^5 +0.01 +0.01 +7.03 +0.01
SEU627^2 +25.91 +25.89 +5.60 +0.04
NUM801^1 +38.44 +38.42 +8.26 +26.17
NUN025^2 +0.94 +0.93 +9.66 +0.01
SEU625^2 +24.75 +24.77 +5.68 +0.04
SEU724^1 +8.25 +8.29 +99.01 TMO‑Non
SEU638^1 +93.72 +93.81 +51.54 TMO‑Non
NUM799^1 +101.64 +101.71 +18.38 TMO‑Non
SYO543^1 +0.94 +1.00 +5.77 +0.63
SET611^3 +0.05 +0.01 +15.49 +0.04
SEU723^1 +7.50 +7.48 +130.70 TMO‑Non
SEV428^1 +0.89 +0.94 +11.70 +0.04
SEU534^1 +0.05 +0.01 +23.72 TMO‑Non
DAT056^1 +23.55 +23.56 +5.10 +0.01
CSR148^2 +11.17 +11.18 +13.33 +0.05
LCL625^1 +1.47 +1.51 +6.21 +25.86
SEV208^5 UNK‑Non UNK‑Non +13.25 TMO‑Non
SEU633^1 +11.19 +11.30 +50.63 TMO‑Non
SEU643^2 +108.05 +107.91 +12.75 TMO‑Non
CSR119^2 +11.57 +11.57 +14.12 +0.04
SEU488^1 +0.94 +0.94 +52.53 TMO‑Non
SEU601^1 +11.15 +11.18 +38.72 TMO‑Non
SEU486^1 +0.93 +0.93 +67.74 TMO‑Non
SEU652^1 +2.09 +2.09 +56.55 TMO‑Non
CSR120^2 +11.53 +11.52 +12.83 +0.04
SET623^5 +0.01 +0.01 +30.55 +0.37
LCL710^1 +19.37 +19.32 +16.28 +0.04
LCL715^1 +19.48 +19.53 +27.49 +25.49
SEU670^1 +41.90 +41.97 +69.27 TMO‑Non
SEU651^1 +2.07 +2.10 +57.63 TMO‑Non
SEU640^1 +22.70 +22.75 +51.44 TMO‑Non
NLP001^7 +0.01 +0.01 +9.48 +171.57
SEU801^1 +41.98 +41.04 +166.55 TMO‑Non
SYO025^1 +0.01 +0.01 +4.37 +0.04
SEU598^1 +2.08 +1.98 +29.51 +25.38
SEU588^1 +1.08 +1.06 +33.20 TMO‑Non
SEU615^1 +198.00 +198.54 +37.81 +31.65
SEU698^1 +22.70 +22.71 +88.46 TMO‑Non
SEU933^5 +23.73 +23.87 +278.29 TMO‑Non
SEU754^1 +38.75 +38.82 +135.76 TMO‑Non
NUM686^1 UNK‑Non UNK‑Non +4.79 TMO‑Non
SYO271^5 +0.01 +0.01 +7.97 +0.01
SEU793^2 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEV108^5 +0.42 +0.42 +6.79 TMO‑Non
SET576^7 +0.94 +0.93 +7.15 +0.04
SEV261^5 +12.98 +13.20 +78.13 +0.04
CSR150^3 +15.24 +15.32 +22.19 72.68
AGT034^1 +35.02 +34.92 +7.35 +0.05
SEV001^5 +39.55 +39.52 +72.49 +47.81
SEU677^2 +0.01 +0.01 +47.53 TMO‑Non
AGT033^2 +0.93 +0.93 +6.98 +0.05
SET575^7 +0.01 +0.01 +8.28 TMO‑Non
SEV210^5 UNK‑Non UNK‑Non +18.55 TMO‑Non
SEU577^1 +2.98 +3.00 +27.90 TMO‑Non
SEU574^1 +4.11 +4.05 +53.13 TMO‑Non
ALG251^2 +92.92 +93.32 +15.44 +1.38
NUM924^2 +69.89 +70.01 +28.13 +6.60
SEU711^1 +50.26 +50.21 +145.28 TMO‑Non
CSR128^2 +4.98 +4.98 +9.37 TMO‑Non
SEU621^1 +6.09 +6.10 +45.20 TMO‑Non
SEU469^1 +1.48 +1.92 +7.05 +0.04
SEU702^1 +43.27 +43.27 +169.03 TMO‑Non
SEU613^1 +37.87 +37.87 TMO‑Non TMO‑Non
SEU769^1 +40.76 +40.74 +122.25 TMO‑Non
SEU671^1 +11.52 +11.51 +68.16 TMO‑Non
SEU816^1 +0.41 +0.41 +171.85 TMO‑Non
SWV097^7 +22.67 +22.69 +29.49 TMO‑Non
SEU736^1 +1.17 +1.18 +117.53 TMO‑Non
SYO062^4.003 UNK‑Non UNK‑Non +5.01 +0.04
SEU687^2 +47.54 +47.70 +7.27 TMO‑Non
SEU546^1 +93.87 +93.75 +29.08 +4.33
SEU510^1 +70.12 +69.72 +17.42 TMO‑Non
SEU727^1 +0.04 +0.04 +103.09 TMO‑Non
SEU751^1 +41.16 +41.16 +127.99 TMO‑Non
SEU857^5 +0.05 +0.01 +33.97 +0.40
SEV223^5 +13.39 +12.98 TMO‑Non +106.57
CSR134^2 +38.20 +38.58 +32.43 +51.88
PUZ108^5 +18.36 +18.41 +8.08 TMO‑Non
SEU632^1 +1.01 +1.04 +48.95 TMO‑Non
SEU753^2 +0.04 +0.31 +17.71 TMO‑Non
SEU704^2 UNK‑Non UNK‑Non +64.63 TMO‑Non
SWV426^4 +0.01 +0.01 +26.11 +0.01
SEU653^1 +3.25 +3.07 +63.23 TMO‑Non
ALG017^7 +90.95 +90.93 +83.24 TMO‑Non
SEV124^5 +0.05 +0.05 TMO‑Non +0.41
SEU634^1 +52.05 +52.03 +50.33 TMO‑Non
SEU824^2 +0.01 +0.04 +6.57 TMO‑Non
SEU639^1 +38.32 +38.37 +50.53 TMO‑Non
LCL693^1 +43.32 +43.38 +9.60 +0.05
SEU737^1 +2.21 +2.29 +112.46 TMO‑Non
CSR141^2 +34.34 +34.50 TMO‑Non +0.87
SEU646^1 +0.04 +0.04 +50.64 TMO‑Non
CSR143^2 +116.52 +116.55 +51.68 TMO‑Non
NUM926^1 +91.14 +91.16 +14.43 TMO‑Non
ALG273^5 UNK‑Non UNK‑Non +8.01 +0.04
SEU730^1 +0.04 +0.04 TMO‑Non TMO‑Non
SEV123^5 +1.39 +0.94 TMO‑Non +15.57
SEU796^1 +172.93 +172.99 +146.46 TMO‑Non
MSC025^2 +0.05 +0.05 +13.56 TMO‑Non
ALG258^2 TMO‑Non TMO‑Non +14.97 +1.30
SEU610^1 +3.07 +3.11 +42.11 TMO‑Non
SEU689^2 +0.04 +0.04 +65.91 TMO‑Non
SEU716^1 +9.42 +9.40 +95.44 TMO‑Non
SEV087^5 +4.80 +4.81 +10.00 +152.44
SEU691^2 +108.04 +107.96 +8.12 TMO‑Non
ALG271^5 UNK‑Non UNK‑Non +5.67 +0.05
PHI002^1 +1.39 +1.35 +13.05 +0.04
NUM816^5 +18.57 +18.52 +11.71 +150.18
AGT035^2 +4.58 +4.69 +7.10 +0.05
NUM926^2 +92.57 +92.61 +28.53 TMO‑Non
SEV119^5 +6.04 +6.03 +116.80 TMO‑Non
NUM766^1 UNK‑Non UNK‑Non +7.43 +2.86
SYO245^5 +23.50 +23.52 TMO‑Non GUP‑Non
SEU625^1 +37.19 +37.20 +49.95 TMO‑Non
NUM817^5 +18.72 +18.67 +36.36 +150.13
NUM635^4 +92.69 +92.61 TMO‑Non TMO‑Non
ALG290^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SYO224^5 +16.58 +16.59 +31.38 +79.38
SEU708^1 +40.74 +40.85 +95.00 TMO‑Non
SEV300^5 +13.01 +13.02 +46.07 +22.78
SEV141^5 +7.38 +7.52 TMO‑Non TMO‑Non
QUA006^1 UNK‑Non UNK‑Non +24.67 +144.87
CSR131^2 +38.02 +38.61 TMO‑Non +64.36
PHI004^2 +38.46 +38.38 +6.81 TMO‑Non
SEV080^5 +1.88 +12.98 TMO‑Non TMO‑Non
CSR152^3 +11.72 +11.63 +22.76 87.28
SEU777^1 +36.96 +36.92 +158.21 TMO‑Non
ALG258^1 TMO‑Non TMO‑Non +12.33 +2.04
SEU639^2 +107.65 +107.67 +9.28 TMO‑Non
SEU756^1 +3.39 +3.43 +147.26 TMO‑Non
SWV430^2 +0.01 +0.04 +22.56 +0.01
ALG251^3 +214.91 +215.00 +88.19 TMO‑Non
SEU776^1 +37.19 +36.94 +145.35 TMO‑Non
SWV426^2 +12.84 +12.95 +78.98 +0.05
SEU874^5 +131.46 +131.55 TMO‑Non TMO‑Non
SEV128^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU715^1 +10.35 +10.39 TMO‑Non TMO‑Non
SEV267^5 +219.77 +72.17 TMO‑Non TMO‑Non
SEU703^2 UNK‑Non UNK‑Non +145.35 TMO‑Non
SEU690^1 +8.78 +8.78 TMO‑Non TMO‑Non
NUM926^3 +283.43 +283.02 +48.37 TMO‑Non
NUM637^1 UNK‑Non UNK‑Non +150.68 +0.04
AGT031^2 UNK‑Non UNK‑Non +7.15 +0.04
SET597^5 +12.99 +12.89 TMO‑Non +25.22
SEU604^1 +1.04 +1.06 +37.59 TMO‑Non
SEU811^1 +38.36 +38.31 +206.91 TMO‑Non
SEU700^1 +42.24 +42.28 +152.40 TMO‑Non
SEU805^1 +38.40 +38.40 +199.36 TMO‑Non
PHI003^1 +12.85 +12.86 TMO‑Non +0.04
QUA012^1 UNK‑Non UNK‑Non +42.07 TMO‑Non
SEU658^1 +0.04 +0.05 +58.24 TMO‑Non
SET598^5 +13.02 +13.01 TMO‑Non +0.65
ALG276^5 UNK‑Non UNK‑Non +6.48 +0.74
NUN023^1 +111.48 +111.66 +17.83 TMO‑Non
SEU579^1 +1.00 +1.00 +32.20 TMO‑Non
SYO515^1 +0.04 +0.05 TMO‑Non TMO‑Non
SEV010^5 UNK‑Non UNK‑Non +142.31 +0.51
SYO249^5 UNK‑Non UNK‑Non +9.53 +0.42
ALG292^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
PHI005^2 +12.97 +12.98 TMO‑Non +0.01
ANA127^1 TMO‑Non TMO‑Non +79.01 GUP‑Non
CSR144^2 +175.84 +175.97 TMO‑Non TMO‑Non
SEU929^5 +18.30 +18.30 TMO‑Non TMO‑Non
SEU677^1 +266.57 +266.63 TMO‑Non TMO‑Non
CSR119^3 +11.74 +11.71 +22.18 86.92
SEV167^5 +13.11 +12.97 +34.39 +3.75
SYN393^4.004 +22.61 +22.42 TMO‑Non TMO‑Non
SWV436^4 +12.88 +12.91 +27.15 +0.04
SEU483^1 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR149^3 +11.94 +11.99 +31.10 88.00
SEU466^1 +0.01 +0.04 +135.11 TMO‑Non
SEU813^1 +41.45 +41.55 +172.60 TMO‑Non
SEU655^2 +107.96 +108.05 TMO‑Non TMO‑Non
SEU704^1 +37.69 +37.69 TMO‑Non TMO‑Non
SEU681^1 +5.37 +5.38 +135.14 TMO‑Non
PHI004^1 +38.43 +38.46 +177.80 +30.63
SEU627^1 TMO‑Non TMO‑Non +49.50 TMO‑Non
SEV190^5 +12.86 +12.93 TMO‑Non TMO‑Non
NUM641^4 +266.21 +266.33 TMO‑Non TMO‑Non
NUM695^4 +38.74 +38.75 TMO‑Non TMO‑Non
SWV433^2 +12.95 +12.96 TMO‑Non +6.10
SYO518^1 UNK‑Non UNK‑Non +4.33 TMO‑Non
NUM655^4 +49.34 +49.38 TMO‑Non TMO‑Non
NUM736^4 +22.89 +22.88 TMO‑Non TMO‑Non
SYO063^4 +131.00 +131.04 +12.63 TMO‑Non
SYO222^5 +108.28 +108.37 +19.09 TMO‑Non
NUM769^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV295^5 +12.92 +12.88 TMO‑Non TMO‑Non
NUM706^4 +89.72 +89.99 TMO‑Non TMO‑Non
SEU968^5 +74.84 +74.86 +22.64 TMO‑Non
NUM694^4 +0.05 +0.05 TMO‑Non TMO‑Non
SEV171^5 +23.53 UNK‑Non TMO‑Non TMO‑Non
SWW474^3 TMO‑Non TMO‑Non +81.17 TMO‑Non
PUZ142^1 UNK‑Non UNK‑Non +5.79 TMO‑Non
GEG003^1 +13.10 +12.99 +86.68 TMO‑Non
NUM657^4 +49.40 +49.31 TMO‑Non TMO‑Non
QUA005^1 UNK‑Non UNK‑Non +71.51 +148.82
NUM702^4 +277.16 +277.07 TMO‑Non TMO‑Non
NUM786^4 +86.06 +86.15 TMO‑Non TMO‑Non
NUM808^5 +14.11 +14.10 TMO‑Non TMO‑Non
SYO545^1 +0.04 +0.04 +32.91 TMO‑Non
NUM810^5 +13.01 +13.00 TMO‑Non TMO‑Non
ANA126^1 UNK‑Non UNK‑Non +31.36 GUP‑Non
NUM653^4 +49.36 +49.34 TMO‑Non TMO‑Non
SYO239^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM660^4 +144.98 +145.05 TMO‑Non TMO‑Non
ALG253^1 TMO‑Non TMO‑Non +13.14 TMO‑Non
CSR133^2 +148.85 TMO‑Non +44.08 TMO‑Non
SEV174^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LCL877^1 +0.95 +0.94 TMO‑Non +0.49
NUM749^4 +88.39 +88.52 TMO‑Non TMO‑Non
NUM809^5 +13.06 +12.98 TMO‑Non TMO‑Non
NUM741^1 UNK‑Non UNK‑Non +7.42 +38.32
SYN377^7 +63.84 +64.13 +67.95 TMO‑Non
NUM707^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU969^5 +18.50 +18.45 +13.35 TMO‑Non
SEU780^1 +37.73 +37.71 TMO‑Non TMO‑Non
SEU655^1 +42.02 +41.99 TMO‑Non TMO‑Non
LCL692^1 +12.98 +12.87 TMO‑Non TMO‑Non
LCL716^1 UNK‑Non UNK‑Non TMO‑Non +25.24
SEU791^2 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM642^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV005^5 UNK‑Non UNK‑Non +7.72 TMO‑Non
NUM636^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET557^6 +31.57 +32.03 TMO‑Non TMO‑Non
SCT170^3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU953^5 +152.14 UNK‑Non +4.86 TMO‑Non
SET914^7 TMO‑Non TMO‑Non +80.09 +0.79
SEU972^5 +1.49 +1.48 TMO‑Non TMO‑Non
NUM726^4 +61.77 +61.89 TMO‑Non TMO‑Non
NUM701^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT170^2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM669^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM654^4 +86.49 +86.19 TMO‑Non TMO‑Non
SEU757^1 +122.75 +122.75 TMO‑Non TMO‑Non
SEU729^1 +37.73 +37.69 TMO‑Non TMO‑Non
NUM700^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO246^5 UNK‑Non UNK‑Non TMO‑Non +0.04
SEU779^1 +41.18 +41.23 TMO‑Non TMO‑Non
SEV074^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM698^4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MSC007^1.003.004 UNK‑Non UNK‑Non +22.35 TMO‑Non
NUM665^4 +37.61 +37.66 TMO‑Non TMO‑Non
SEU600^1 +58.90 +56.08 TMO‑Non TMO‑Non
SEV170^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SYO069^4.004 UNK‑Non UNK‑Non +68.17 +84.22
SYO066^4.003 +68.03 +68.22 +11.06 TMO‑Non
SEU649^1 +49.75 +49.69 TMO‑Non TMO‑Non
SEV021^6 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU683^1 TMO‑Non TMO‑Non +158.64 TMO‑Non
SEV150^5 +162.88 +163.69 TMO‑Non TMO‑Non
SYO532^1 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEV143^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU815^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET045^7 +7.52 +7.56 +66.35 TMO‑Non
SEU944^5 UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM689^4 +276.19 +277.07 TMO‑Non TMO‑Non
NUN024^1 UNK‑Non UNK‑Non TMO‑Non +8.79
NUM738^4 +87.41 +87.48 TMO‑Non TMO‑Non
SEU630^1 +49.87 +49.85 TMO‑Non TMO‑Non
NUM666^4 +37.22 +37.54 TMO‑Non TMO‑Non
SEU696^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU938^5 UNK‑Non UNK‑Non +74.46 TMO‑Non
NUM690^4 +275.92 +275.99 TMO‑Non TMO‑Non
NUM757^4 +274.38 +274.49 TMO‑Non TMO‑Non
NLP004^7 TMO‑Non TMO‑Non +16.68 TMO‑Non
Solved/500 406/500 401/500 355/500 213/500
Av. CPU Time 32.81 32.20 38.54 17.92
Av. WC Time 32.81 32.13 16.95 17.96
Solutions 406 81% 401 80% 355 71% 209 41%
μEfficiency 266 262 134 290
μWCEfficiency 287 286 59 290
SOTAC 0.33 0.33 0.35 0.29
Core Usage 0.99 0.97 2.62 0.76
New Solved 0/0 0/0 0/0 0/0
* 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 TFE FNE FEQ FNN FNQ EPT EPS CML

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

Typed First-order Theorems +*-/ Vampire
4.3
Vampire
4.1
CVC4
1.6pre
Princess
170717
ARI721=1 +0.04 +0.01 +0.05 TMO‑Non
ARI593=1 +0.05 +24.04 +0.05 1.11
ARI727=1 +0.01 +0.05 +0.04 TMO‑Non
ARI583=1 +27.39 +22.26 +0.01 +1.18
ARI519=1 +0.04 +0.04 +0.04 +2.83
ARI585=1 +2.22 +22.08 +0.05 +1.29
ARI717=1 +0.05 +0.01 +0.04 +13.50
ARI605=1 +0.05 +1.07 +0.01 +1.30
ARI640=1 +0.04 +0.04 +0.04 TMO‑Non
ARI658=1 +0.05 +0.05 +0.04 +1.35
ARI631=1 +0.58 +0.04 +4.50 TMO‑Non
ARI656=1 +0.57 +0.04 +0.05 TMO‑Non
ARI730=1 +0.05 +0.04 +0.05 TMO‑Non
ARI662=1 +3.12 +0.04 +0.04 +2.99
ARI629=1 +0.05 +0.01 +0.05 TMO‑Non
ARI587=1 +0.04 +0.05 +0.04 +1.08
ARI742=1 +0.04 +0.05 +0.05 +3.39
ARI184=1 +50.50 +66.00 +16.00 3.42
NUM909=1 +0.04 +0.02 +0.05 +3.46
NUM919=1 +0.05 +29.42 +0.04 +1.07
ARI418=1 +0.05 +0.01 +0.05 +0.98
ARI584=1 +0.33 +4.67 +0.05 +1.08
ARI741=1 +0.05 GUP‑Non +0.04 +6.38
ARI550=1 +0.04 +0.01 +0.05 +0.99
ARI410=1 +0.05 +0.05 +0.01 +4.82
ARI581=1 +0.04 +0.05 +0.01 +1.01
NUM913=1 +0.05 +0.01 +0.01 +3.20
ARI181=1 GUP‑Non +22.90 +0.06 +1.28
ARI419=1 +0.01 +0.01 +0.05 +0.97
NUM920=1 +0.05 +0.52 +0.01 +0.98
ARI433=1 +0.05 +0.05 +0.01 +2.58
ARI577=1 +0.04 +0.05 +0.04 +1.03
ARI449=1 +0.05 +0.01 +0.01 +4.50
ARI580=1 +0.04 +0.05 +0.05 +1.03
ARI424=1 +0.04 +0.05 +0.01 +2.67
ARI586=1 +0.04 +0.04 +0.05 +1.02
NUM914=1 +0.04 +0.40 +0.01 +2.99
ARI120=1 +1.71 +1.35 GUP‑Non 2.10
ARI432=1 +0.04 +0.04 +0.01 +7.88
ARI701=1 +0.05 +0.05 +0.05 +1.30
ARI443=1 +0.05 +0.01 +0.05 +1.05
DAT075=1 +82.10 +3.63 TMO‑Non TMO‑Non
ARI743=1 +0.05 +0.01 +0.04 +3.85
ARI707=1 +0.05 +0.01 +0.05 +1.37
ARI431=1 +0.05 +0.05 +0.01 +4.62
SWW638=2 +23.76 +127.87 +0.04 +10.85
ARI455=1 +0.05 +0.05 +0.01 +1.10
SWW636=2 +157.24 +128.39 +0.50 +45.94
ARI416=1 +0.01 +0.01 +0.05 +1.07
ARI700=1 +0.57 +0.86 +0.05 +1.68
ARI417=1 +0.04 +0.04 +0.01 +0.95
SWW663=2 TMO‑Non TMO‑Non +0.36 +6.91
ARI739=1 +0.05 GUP‑Non +0.01 +4.46
ARI672=1 +0.05 +0.05 +0.05 +1.32
ARI448=1 +0.04 +0.05 +0.01 +3.94
SWW653=2 +0.35 +0.92 +0.05 +3.94
ARI435=1 +0.05 +0.01 +0.04 +1.06
ARI696=1 +9.22 +0.48 +0.04 +1.97
ARI579=3 +0.05 +2.89 +0.01 +32.19
SWW654=2 +13.89 +26.63 +2.17 +10.72
ARI716=1 +0.01 +0.04 +0.06 TMO‑Non
DAT073=1 +0.04 +0.47 TMO‑Non 63.02
ARI632=1 +0.05 +0.48 +0.05 TMO‑Non
SWW602=2 +27.60 TMO‑Non +1.44 +42.84
ARI447=1 +0.01 +0.05 +0.04 +0.97
SWW612=2 +20.37 GUP‑Non +2.25 10.40
ARI409=1 +0.04 +0.06 +0.05 +1.10
ARI710=1 +0.05 +0.04 +0.05 +1.49
ARI406=1 +0.05 +0.04 +0.01 +4.70
SWW632=2 +0.05 +0.04 +45.54 +3.21
ARI420=1 +0.04 +0.05 +0.01 +4.76
ARI711=1 +2.20 +0.87 +0.04 +3.07
ARI630=1 +0.05 GUP‑Non +0.04 TMO‑Non
HWV089=1 +1.47 +4.87 +25.55 TMO‑Non
ARI491=1 +0.05 +0.04 +0.01 +2.72
ARI708=1 +0.05 +0.86 +0.01 +1.46
ARI566=1 +0.04 +0.01 +0.01 +17.93
DAT086=1 +0.56 +0.05 +45.49 TMO‑Non
ARI407=1 +0.04 +0.05 +0.01 +4.22
SWW676=1 TMO‑Non TMO‑Non +61.15 13.84
ARI458=1 +0.05 +0.05 +0.01 +15.07
DAT072=1 +2.80 +2.84 +15.07 TMO‑Non
ARI725=1 +1.17 +42.32 +0.04 +13.68
SWW573=2 +172.49 +62.93 +0.75 +35.67
ARI422=1 +0.05 +0.05 +0.01 +4.77
DAT078=1 +78.01 +3.07 +19.23 TMO‑Non
MSC023=2 +0.01 +0.01 +15.11 TMO‑Non
SWW583=2 +27.42 +29.69 +0.44 +152.27
ARI430=1 +0.01 +0.01 +0.05 +0.98
NUM865=1 +0.04 +0.05 +0.01 +0.98
ARI713=1 +0.05 +0.05 +0.04 TMO‑Non
NUM862=1 +29.30 +2.91 TMO‑Non 92.00
ARI423=1 +0.05 +0.05 +0.01 +3.49
SWW664=2 +20.97 +0.99 +60.32 +8.66
MSC022=2 +0.01 +0.01 TMO‑Non 97.65
ARI685=1 +1.85 +0.47 +0.04 +1.98
ARI495=1 +0.01 +0.04 +0.01 +27.30
SWW657=2 +13.16 +2.49 +0.05 +4.58
ARI639=1 +0.04 GUP‑Non +0.04 TMO‑Non
SWW665=2 TMO‑Non TMO‑Non +7.03 +12.76
ARI719=1 +0.04 +0.05 +0.04 +17.23
NUM859=1 +0.54 +2.97 +60.21 81.56
ARI621=3 +0.05 +0.05 +0.06 TMO‑Non
SWW615=2 +3.26 +0.05 +0.04 +15.04
ARI421=1 +0.05 +0.04 +0.01 +4.94
ARI655=1 +0.05 +0.06 +0.50 TMO‑Non
ARI400=1 +0.30 +0.05 +0.01 +0.96
ARI576=1 +0.63 TMO‑Non +0.01 +1.08
ARI726=1 +0.67 +4.07 +0.05 TMO‑Non
HWV045=1 +81.51 +242.80 +181.28 TMO‑Non
ARI744=1 +1.72 +0.01 +30.29 +4.38
SWW578=2 TMO‑Non TMO‑Non +0.04 +101.49
ARI445=1 +0.01 +0.01 +0.05 +2.88
HWV051=1 +72.91 +240.49 +100.36 TMO‑Non
ARI724=1 +0.01 +0.05 +0.05 TMO‑Non
HWV111=1 +111.29 +68.45 +206.48 TMO‑Non
ARI633=1 TMO‑Non TMO‑Non +0.05 TMO‑Non
SWW621=2 TMO‑Non TMO‑Non +3.62 TMO‑Non
ARI636=1 +0.96 +20.94 +0.05 TMO‑Non
HWV044=1 TMO‑Non +235.94 TMO‑Non TMO‑Non
ARI718=1 +1.17 TMO‑Non +0.05 TMO‑Non
HWV047=1 +87.46 +242.46 +232.94 TMO‑Non
ARI738=1 +0.04 +22.20 +0.04 TMO‑Non
HWV043=1 +110.29 +232.85 TMO‑Non TMO‑Non
ARI715=1 +0.05 +0.01 +0.01 TMO‑Non
SWW667=2 TMO‑Non TMO‑Non +1.13 TMO‑Non
ARI722=1 +0.04 +0.05 +0.01 TMO‑Non
SWW587=2 +30.34 +26.70 +0.38 TMO‑Non
ARI714=1 +0.04 +0.05 +0.05 TMO‑Non
ARI664=1 +0.04 +0.05 +0.01 GUP‑Non
ARI637=1 +1.02 +0.01 +48.91 TMO‑Non
ARI686=1 +4.93 +0.05 TMO‑Non +1.57
ARI723=1 +0.01 +0.04 +30.96 TMO‑Non
SWW655=2 +14.04 TMO‑Non +0.04 +25.37
ARI729=1 +0.05 +0.01 +0.05 TMO‑Non
ARI697=1 +0.04 +1.40 +0.05 +1.40
ARI733=1 +1.21 TMO‑Non +0.01 TMO‑Non
SWW670=2 +1.08 +5.31 +0.04 +26.29
ARI634=1 TMO‑Non +0.04 +0.05 TMO‑Non
HWV039=1 +80.93 +242.75 +136.50 TMO‑Non
ARI642=1 +0.57 GUP‑Non TMO‑Non TMO‑Non
ARI683=1 +2.92 +0.47 TMO‑Non TMO‑Non
ARI732=1 TMO‑Non TMO‑Non +0.01 TMO‑Non
SWW598=2 TMO‑Non TMO‑Non +0.05 +19.53
ARI638=1 TMO‑Non +22.31 +46.13 TMO‑Non
HWV050=1 +71.72 +234.47 +100.56 TMO‑Non
ARI728=1 TMO‑Non TMO‑Non +0.01 TMO‑Non
HWV087=1 +111.75 +76.36 +120.86 TMO‑Non
ARI641=1 +0.49 GUP‑Non TMO‑Non TMO‑Non
SWW640=2 TMO‑Non TMO‑Non +0.04 TMO‑Non
SWW574=2 TMO‑Non TMO‑Non TMO‑Non +202.27
SWW659=2 +13.58 +2.70 +0.66 +5.13
ARI668=1 +0.05 +0.05 +0.01 GUP‑Non
SWW647=2 +15.53 GUP‑Non TMO‑Non 7.86
SWW606=2 TMO‑Non TMO‑Non +0.69 TMO‑Non
HWV091=1 +4.96 +10.87 TMO‑Non TMO‑Non
MSC028=1 TMO‑Non TMO‑Non TMO‑Non +1.59
SWW644=2 TMO‑Non +25.94 +1.52 TMO‑Non
HWV046=2 TMO‑Non +61.02 +182.33 TMO‑Non
SWW590=2 TMO‑Non TMO‑Non +0.04 +6.76
SWW582=2 TMO‑Non TMO‑Non +6.04 TMO‑Non
SWW596=2 TMO‑Non TMO‑Non +72.18 TMO‑Non
HWV044=2 +106.86 +80.38 TMO‑Non TMO‑Non
HWV090=1 +5.29 +11.88 TMO‑Non TMO‑Non
HWV039=2 TMO‑Non +59.05 TMO‑Non TMO‑Non
SWW619=2 +0.04 +0.90 +45.29 TMO‑Non
HWV043=2 +108.51 +100.64 TMO‑Non TMO‑Non
HWV041=2 TMO‑Non +56.78 +117.89 TMO‑Non
SWW600=2 +0.05 GUP‑Non TMO‑Non TMO‑Non
HWV047=2 TMO‑Non +61.64 +217.94 TMO‑Non
HWV040=2 TMO‑Non +58.63 TMO‑Non TMO‑Non
SWW672=2 +13.12 +8.82 +30.19 TMO‑Non
SWW618=2 +4.90 +2.50 TMO‑Non TMO‑Non
SWW637=2 +0.93 +27.84 TMO‑Non TMO‑Non
HWV051=2 +74.95 +46.02 TMO‑Non TMO‑Non
ARI693=1 +6.18 +0.05 TMO‑Non +1.19
HWV114=1 +112.86 +72.61 TMO‑Non TMO‑Non
ARI645=1 TMO‑Non GUP‑Non +0.05 TMO‑Non
ARI598=1 TMO‑Non TMO‑Non +0.05 1.27
ARI595=1 TMO‑Non TMO‑Non +0.05 1.43
ARI596=1 TMO‑Non TMO‑Non +0.01 1.32
HWV094=1 +8.73 +23.28 TMO‑Non TMO‑Non
SWW617=2 +54.30 +46.45 TMO‑Non TMO‑Non
SEV424=1 TMO‑Non TMO‑Non +24.98 TMO‑Non
HWV092=1 +8.91 +21.25 TMO‑Non TMO‑Non
SWW603=2 +13.57 +78.33 TMO‑Non TMO‑Non
HWV123=1 +8.51 +4.18 TMO‑Non TMO‑Non
HWV108=1 TMO‑Non +38.73 TMO‑Non TMO‑Non
SEV425=1 TMO‑Non TMO‑Non +25.88 TMO‑Non
HWV088=1 +123.41 +90.92 TMO‑Non TMO‑Non
SWW580=2 +0.05 +37.71 TMO‑Non TMO‑Non
HWV128=1 +10.42 +6.03 TMO‑Non TMO‑Non
HWV125=1 +8.60 +4.22 TMO‑Non TMO‑Non
HWV127=1 +10.51 +6.17 TMO‑Non TMO‑Non
SWW669=2 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW630=2 TMO‑Non +1.78 TMO‑Non TMO‑Non
HWV126=1 +10.36 +6.10 TMO‑Non TMO‑Non
HWV112=1 TMO‑Non +73.77 TMO‑Non TMO‑Non
SWW648=2 +14.78 +26.62 TMO‑Non TMO‑Non
HWV096=1 +8.67 +24.89 TMO‑Non TMO‑Non
Solved/200 163/200 162/200 157/200 105/200
Av. CPU Time 14.22 23.12 14.99 13.39
Av. WC Time 14.24 23.08 15.49 6.50
Solutions 163 81% 162 81% 157 78% 92 46%
μEfficiency 539 491 613 311
μWCEfficiency 541 494 613 177
SOTAC 0.33 0.35 0.36 0.30
Core Usage 0.67 0.75 0.61 2.24
New Solved 0/0 0/0 0/0 0/0
* 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 TFE FNE FEQ FNN FNQ EPT EPS CML

Results for FOF (First-order Theorems)

First-order Theorems Vampire
4.3
Vampire
4.2
CSE_E
1.0
E
2.2pre
CVC4
1.6pre
Leo‑III
1.3
iProver
2.8
leanCoP
2.2
nanoCoP
1.1
CSE
1.1
CSE
1.0
Prover9
1109a
Twee
2.2
Geo‑III
2018C
NUM847+1 +0.05 +0.57 +0.13 +0.05 +0.06 +5.91 +0.05 +0.12 +0.12 +0.60 +0.46 UNK‑Non +1.44 TMO‑Non
CSR028+3 +0.05 +0.05 +0.45 +0.42 +1.53 +17.12 +0.31 +1.43 +2.12 +12.85 +12.93 TMO‑Non +94.87 TMO‑Non
NUM304+1 +0.01 +0.05 +0.38 +0.01 +20.61 TMO‑Non +2.37 +0.13 +0.13 +1.54 +1.45 +0.98 +0.32 TMO‑Non
CSR113+29 +1.23 +0.05 +0.49 +0.05 +266.86 +21.07 +7.55 +247.19 +159.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ128+2 +0.04 +0.04 +0.12 +0.01 +0.04 +4.37 +0.04 TMO‑Non TMO‑Non +0.74 +0.53 +0.20 +0.01 +0.04
CSR114+13 +1.22 +0.05 +0.57 +0.04 +77.77 +26.67 +1.71 +0.58 +0.64 +284.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU386+1 +0.06 +0.05 +0.13 +0.01 +0.05 +7.55 +0.05 +0.15 +0.23 +1.50 +1.49 +0.38 TMO‑Non TMO‑Non
LCL660+1.010 +0.62 +0.77 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +10.62 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +23.80
MSC010+1 +0.57 +1.36 UNK‑Non TMO‑Non +0.05 +7.06 +1.70 +29.36 +0.31 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +19.99
CSR115+4 +0.85 +1.15 +0.48 +0.17 +76.77 GUP‑Non +3.57 +0.60 +0.82 +136.30 +139.92 TMO‑Non TMO‑Non TMO‑Non
SWV397+1 +0.01 +0.04 +0.36 +0.01 +0.05 +6.37 +0.04 +28.21 +3.03 +7.34 +8.03 +0.25 TMO‑Non TMO‑Non
KRS260+1 +0.04 +0.01 +8.80 +9.71 +111.45 +50.55 +0.32 +0.31 +0.62 +114.17 +33.74 +0.39 TMO‑Non TMO‑Non
NUM925+5 +0.05 +0.57 +0.38 +0.05 +0.04 +9.34 +15.74 +13.66 +29.97 +2.77 +2.77 +2.28 +0.41 TMO‑Non
CSR067+3 +0.37 +0.05 +1.72 +1.59 +10.44 +14.53 +5.19 +1.48 +2.01 +13.05 +13.11 TMO‑Non +191.48 TMO‑Non
GRA008+2 +0.04 +0.39 +0.57 +0.31 +55.87 +7.64 +1.05 +68.22 +141.45 +2.62 +2.65 +38.03 TMO‑Non +4.21
CSR115+35 +1.23 +0.04 +0.56 +0.05 +77.75 +25.41 +8.37 +30.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR015+1 +0.05 +0.04 +0.41 +0.04 +0.04 +8.59 +0.33 +140.06 +1.34 +3.44 +3.45 TMO‑Non GUP‑Non TMO‑Non
KRS200+1 +0.01 +0.05 +0.14 +0.05 +8.89 +10.60 +0.04 +0.27 +0.60 +0.62 +0.60 +0.38 TMO‑Non TMO‑Non
GEO344+1 +7.95 +2.86 +0.52 +0.05 +27.57 +17.55 +1.07 +223.66 +110.89 UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
KRS265+1 +0.04 +0.04 +0.12 +0.04 +41.58 +7.64 +0.04 +0.27 +0.63 +0.39 +0.60 +2.65 TMO‑Non TMO‑Non
SET020+1 +0.06 +0.01 +0.12 +0.01 +0.05 +7.35 TMO‑Non +111.10 +99.90 UNK‑Non UNK‑Non TMO‑Non +0.05 TMO‑Non
CSR041+3 +0.26 +0.05 +1.72 +1.60 +4.42 +19.83 +2.22 +1.87 +3.86 +13.43 +13.41 TMO‑Non TMO‑Non TMO‑Non
SWV167+1 +0.01 +0.52 +1.29 +1.40 +0.05 +9.96 +5.43 +165.71 +140.64 +30.60 +30.32 +31.86 TMO‑Non TMO‑Non
CSR113+15 +1.23 +0.05 +0.48 +0.04 +6.54 +26.69 +5.19 +8.81 +244.65 +169.99 +172.15 TMO‑Non TMO‑Non TMO‑Non
SWV153+1 +0.04 +0.56 +0.12 +0.01 +0.04 +10.16 +0.34 +0.69 +0.22 +13.92 +15.54 +5.60 TMO‑Non TMO‑Non
SWB029+3 +0.04 +0.04 +0.66 +0.31 +19.11 +11.22 +60.23 +201.56 +265.73 +4.04 +3.20 +3.92 +26.61 TMO‑Non
SET061+1 +0.04 +0.01 +0.12 +0.01 +21.35 +6.83 +0.05 +0.11 +0.12 +0.41 +0.55 +0.05 +0.05 +47.44
KRS266+1 +0.04 +0.01 +0.12 +0.05 +41.66 +7.71 +0.04 +0.27 +0.62 +0.59 +0.95 +1.72 TMO‑Non TMO‑Non
MGT061+1 +0.58 +0.05 +0.39 +0.04 +20.17 +6.50 +4.61 TMO‑Non TMO‑Non +1.27 +1.29 +0.05 GUP‑Non TMO‑Non
CSR114+7 +1.29 +0.27 +0.38 +0.05 +79.02 +28.87 +1.58 +229.30 +173.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG092+1 +0.04 +0.01 +0.63 +0.01 +0.05 TMO‑Non +13.04 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
CSR029+3 +0.38 +0.04 +4.13 +1.77 +10.45 TMO‑Non +6.02 +113.72 +106.16 +31.07 +31.09 TMO‑Non TMO‑Non TMO‑Non
REL028+2 +42.43 +36.36 +3.35 +2.96 TMO‑Non +22.48 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +14.01 +8.83 TMO‑Non
KRS201+1 +0.01 +0.05 +0.39 +0.05 +7.83 +10.76 +0.04 +0.40 +1.42 +1.68 +1.65 +0.40 TMO‑Non TMO‑Non
GRP777+1 +6.61 +5.11 +3.18 +2.72 +187.04 +8.13 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.52 +6.43 TMO‑Non
KRS258+1 +0.04 +0.05 +0.58 +0.04 +0.33 +8.36 +0.04 +0.28 +0.62 +79.42 +97.29 +0.34 +0.47 TMO‑Non
ALG044+1 +0.01 +0.01 +0.42 +0.01 +0.05 TMO‑Non +0.30 +3.79 TMO‑Non +71.99 +69.44 TMO‑Non GUP‑Non +6.75
CSR055+3 +0.05 +0.29 +1.67 +1.57 +4.34 +10.12 +5.81 +29.58 +44.89 +98.97 +97.85 TMO‑Non +126.72 TMO‑Non
SWB087+1 +0.01 +1.68 +3.27 +3.30 +6.99 +42.37 +10.41 +11.54 +26.57 +3.87 +3.82 GUP‑Non TMO‑Non TMO‑Non
CSR114+12 +1.53 +0.45 +0.61 +0.04 +60.08 +27.07 +7.94 +0.48 +0.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG210+1 +0.04 +0.05 +0.12 +0.04 +0.04 +4.29 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.04 +13.14 +4.76
CSR115+32 +1.03 +0.04 +0.47 +0.05 +77.56 +25.30 +7.39 TMO‑Non TMO‑Non +167.58 +168.71 TMO‑Non TMO‑Non TMO‑Non
MGT005+2 +0.53 +0.05 +83.47 +151.17 +0.40 +6.10 +0.86 TMO‑Non TMO‑Non +12.25 +38.83 +1.28 GUP‑Non +0.04
KRS180+1 +0.05 +0.05 +0.13 +0.05 +0.01 +5.29 +0.05 +0.13 +0.13 +0.40 +0.39 +0.05 GUP‑Non TMO‑Non
SEU019+1 +0.05 +0.05 +0.12 +0.04 +0.79 +5.61 +2.99 TMO‑Non +50.31 UNK‑Non UNK‑Non +0.45 GUP‑Non +0.66
LCL642+1.015 +0.63 +0.35 +24.58 +23.07 +90.43 +29.06 +0.05 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +11.40
AGT015+1 +0.05 +0.41 +0.38 +0.05 +0.34 +8.27 +0.04 +0.14 +0.15 +0.82 +0.81 +0.44 +0.76 TMO‑Non
KRS259+1 +0.04 +0.04 +0.42 +0.04 +111.09 +7.94 +0.04 +0.28 +0.61 +0.94 +0.90 +0.26 +0.06 TMO‑Non
PUZ078+1 +0.60 +1.51 +0.44 +0.04 +0.04 +4.73 +0.41 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWB014+3 +0.01 +0.05 +1.05 +0.90 +55.22 +10.59 +55.20 +216.78 TMO‑Non +0.79 +0.78 +19.48 GUP‑Non TMO‑Non
GRA002+3 +0.05 +0.05 +0.12 +0.05 +0.01 +7.13 +10.09 TMO‑Non +46.63 +1.56 +1.55 TMO‑Non TMO‑Non +3.40
CSR074+3 +0.45 +0.04 +4.08 +1.71 +10.47 TMO‑Non +6.40 +113.15 +102.49 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO498+1 +0.04 +0.04 +0.40 +0.01 +0.04 +5.20 +53.46 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.39 +0.05 TMO‑Non
KRS181+1 +0.05 +0.05 +0.12 +0.01 +0.04 +5.03 +0.05 +0.12 +0.11 +0.37 +0.54 +0.04 GUP‑Non TMO‑Non
ALG018+1 +0.04 +0.01 +0.12 +0.01 +0.05 +4.35 +54.34 +21.89 +36.88 UNK‑Non UNK‑Non +0.04 +0.05 +0.01
CSR113+28 +1.23 +0.50 +0.45 +0.04 +60.12 +26.57 +6.74 +8.34 +220.87 +161.81 +168.73 TMO‑Non TMO‑Non TMO‑Non
NUM854+1 +17.61 +1.02 +1.29 +0.89 +0.05 +6.75 +0.04 +0.11 +0.14 +0.47 +0.42 UNK‑Non +0.48 +95.39
CSR115+6 +1.24 +0.04 +0.46 +0.04 +95.05 +27.34 +8.02 +140.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWC043+1 +0.05 +0.04 +0.13 +0.04 +0.05 +14.99 +4.25 TMO‑Non TMO‑Non +3.08 +3.19 +2.85 +0.42 +9.05
KRS267+1 +0.05 +0.01 +0.64 +0.29 +112.16 +8.99 +0.04 +0.27 +0.61 +84.20 +111.17 +1.78 TMO‑Non TMO‑Non
SWV199+1 +0.01 +0.01 +0.12 +0.04 +0.05 +9.89 +0.63 +141.78 +18.24 UNK‑Non UNK‑Non +1.15 TMO‑Non TMO‑Non
CSR115+53 +1.42 +0.04 +0.46 +0.04 +78.75 +28.21 +6.73 +136.42 +144.57 +169.17 +168.84 TMO‑Non TMO‑Non TMO‑Non
SWV455+1 +0.49 +0.04 +2.40 +2.02 +12.74 +11.24 TMO‑Non TMO‑Non TMO‑Non +1.14 +1.25 +0.40 +0.04 TMO‑Non
KRS202+1 +0.04 +0.04 +0.12 +0.04 +11.44 +7.92 +0.06 +6.18 +17.13 +1.76 +2.05 +0.44 TMO‑Non TMO‑Non
SWB073+1 +0.01 +1.68 +3.19 +3.15 +6.57 +72.18 +2.07 +29.03 TMO‑Non +87.47 +88.14 GUP‑Non TMO‑Non TMO‑Non
CSR072+3 +0.05 +0.05 +0.44 +0.40 +1.54 +24.85 +0.35 +1.44 +2.01 +13.01 +12.94 TMO‑Non +95.70 TMO‑Non
SWW473+5 +0.04 +0.57 +0.11 +0.04 +0.39 +17.90 +15.07 +0.17 +0.17 +5.21 +5.29 +20.85 TMO‑Non TMO‑Non
CSR040+3 +0.24 +0.78 +5.33 +5.19 TMO‑Non TMO‑Non +14.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV204+1 +0.01 +0.04 +0.12 +0.01 +0.05 +9.24 +1.73 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +19.47 TMO‑Non TMO‑Non
CSR115+98 +1.23 +0.05 +0.67 +0.04 +80.37 +27.45 +10.60 +0.59 +0.76 +209.51 +214.99 TMO‑Non TMO‑Non TMO‑Non
HWV050+1 +147.38 +11.70 UNK‑Non TMO‑Non +261.59 TMO‑Non +31.72 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
CSR115+40 +0.05 +0.04 +0.55 +0.05 +23.21 +26.63 +6.47 +0.48 +0.47 +54.43 +54.52 TMO‑Non TMO‑Non TMO‑Non
HWV046+2 +19.79 +24.02 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +27.99 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
CSR054+3 +0.04 +0.05 +0.99 +0.78 +4.36 +21.05 +2.10 +1.48 +2.16 +13.09 +13.07 TMO‑Non +95.58 TMO‑Non
HWV043+2 +21.87 +35.86 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +21.99 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
CSR035+3 +0.04 +0.05 +0.95 +0.80 +4.34 +20.81 +1.61 +1.37 +2.02 +13.15 +13.03 TMO‑Non +96.26 TMO‑Non
HWV041+2 +20.15 +24.31 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +29.01 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
CSR115+72 +1.23 +0.04 +0.48 +0.04 +80.25 +26.34 +6.91 +243.22 +226.96 +169.47 +171.31 TMO‑Non TMO‑Non TMO‑Non
SEU382+1 +0.04 +1.18 +0.12 +0.04 +0.61 +8.49 +0.70 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non +0.42 +8.38
CSR115+44 +1.38 +0.05 +0.38 +0.04 +78.63 +27.01 +7.74 +202.54 +254.71 +170.15 +172.20 TMO‑Non TMO‑Non TMO‑Non
ALG219+1 +0.68 +0.05 +0.40 +0.05 +0.04 +8.14 +5.59 TMO‑Non TMO‑Non UNK‑Non +44.76 +2.27 TMO‑Non TMO‑Non
CSR059+3 +0.43 +0.04 +1.78 +1.63 +4.35 +15.27 +5.61 +3.39 +10.76 +30.05 +30.16 TMO‑Non +203.43 TMO‑Non
SWV461+1 +0.94 +0.04 +84.19 +151.87 +8.97 +11.12 +118.93 TMO‑Non +1.73 +58.15 +38.37 TMO‑Non TMO‑Non TMO‑Non
CSR115+68 +1.24 +0.05 +0.48 +0.04 +78.36 +26.78 +7.44 +30.24 TMO‑Non +161.06 +165.15 TMO‑Non TMO‑Non TMO‑Non
GEO083+1 +0.04 +0.05 +3.08 +2.56 +55.39 +6.15 +0.04 +5.37 TMO‑Non +11.11 +7.19 +8.17 TMO‑Non TMO‑Non
KRS203+1 +0.04 +0.05 +0.40 +0.01 +111.91 +7.70 +0.05 +111.19 +100.59 +9.14 UNK‑Non +0.38 TMO‑Non TMO‑Non
SWV038+1 +0.57 +0.05 +269.39 TMO‑Non +0.04 +10.36 +0.68 +15.23 +0.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR043+3 +0.04 +0.05 +0.57 +0.44 +1.47 +21.47 +0.05 +1.42 +2.02 +12.93 +12.95 TMO‑Non +94.83 TMO‑Non
COM125+1 +0.05 +0.05 +29.74 +29.87 +0.04 +11.17 TMO‑Non +28.57 +2.40 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
CSR032+3 +0.05 +0.05 +1.43 +1.36 +10.36 +35.74 +5.50 +1.92 +4.26 +13.01 +12.91 TMO‑Non TMO‑Non TMO‑Non
GEO275+1 +1.21 +2.62 +1.28 +0.57 +55.74 +19.65 +56.40 +114.90 +2.41 UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR047+3 +0.39 +0.04 +1.04 +0.96 +4.33 +18.40 +5.20 +1.48 +2.00 +13.11 +13.25 TMO‑Non +189.10 TMO‑Non
GEO278+1 +1.21 +3.39 +32.82 +30.80 +48.80 +19.00 TMO‑Non +174.61 +3.63 UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR058+3 +0.04 +0.05 +1.00 +0.83 +4.39 +20.92 +1.66 +1.37 +1.99 +12.98 +13.34 TMO‑Non +95.68 TMO‑Non
SET017+1 +0.87 +0.05 +0.13 +0.04 +41.05 +6.39 TMO‑Non TMO‑Non TMO‑Non +20.39 +20.89 +4.92 TMO‑Non TMO‑Non
KRS179+1 +0.01 +0.05 +0.13 +0.01 +0.04 +5.09 +0.01 +0.12 +0.11 +0.37 +0.38 +0.05 GUP‑Non +169.63
ALG210+2 +0.01 +0.05 +0.39 +0.04 +0.05 +4.10 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.05 +0.01 +8.80
SWV014+1 +3.06 +0.54 +0.11 +0.01 +0.05 +6.06 +0.36 +187.51 TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
GEO084+1 +0.04 +0.05 +2.29 +3.10 +55.69 +6.33 +0.04 +0.56 TMO‑Non +54.29 +68.53 +0.53 TMO‑Non TMO‑Non
CSR115+89 +1.25 +9.42 +0.12 +0.05 +78.44 +28.63 +8.09 TMO‑Non +267.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM299+1 +0.01 +0.57 +42.27 +44.50 +60.34 +108.94 +10.17 +230.51 TMO‑Non +0.95 +0.95 +11.41 TMO‑Non TMO‑Non
SYO606+1 +0.29 +0.05 UNK‑Non TMO‑Non +16.01 +63.01 +0.04 TMO‑Non +4.20 UNK‑Non UNK‑Non UNK‑Non GUP‑Non +8.56
SWB065+1 +0.05 +0.58 +3.50 +3.50 +57.13 +49.35 +122.71 +31.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL656+1.015 +32.01 +13.64 +4.57 +4.11 TMO‑Non +106.10 +6.68 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +58.56
SWB023+1 +0.05 +0.57 +3.47 +3.58 +46.08 +133.25 +264.96 +34.03 TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR037+3 +0.46 +0.05 +1.83 +3.38 +10.37 +17.37 +5.21 +1.60 +2.03 +32.98 +33.12 TMO‑Non TMO‑Non TMO‑Non
SEU187+2 +0.05 +0.05 +0.45 +0.04 +21.05 +11.02 +0.55 +2.47 +6.80 UNK‑Non UNK‑Non +11.07 TMO‑Non TMO‑Non
CSR068+3 +0.46 +0.04 +1.70 +1.59 +10.46 +16.05 +5.00 +30.28 +47.83 +30.31 +30.18 TMO‑Non TMO‑Non TMO‑Non
GEO331+1 +0.05 +0.98 +0.46 +0.04 +0.05 +17.82 +10.55 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR115+92 +0.99 +0.04 +0.46 +0.04 +77.70 +25.63 +6.86 +0.60 +0.76 +164.02 +163.98 TMO‑Non TMO‑Non TMO‑Non
CSR018+1 +2.16 +0.04 +0.12 +0.01 +0.05 +8.10 +0.58 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.29 GUP‑Non TMO‑Non
CSR113+6 +0.04 +0.05 +0.47 +0.05 +23.28 +23.16 +1.23 +0.48 +0.46 +60.69 +58.42 TMO‑Non TMO‑Non TMO‑Non
SEU291+1 +1.14 +0.35 +0.62 +0.05 +0.04 +6.45 +40.41 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.29 TMO‑Non +146.05
CSR069+3 +0.05 +0.04 +0.45 +0.41 +1.50 +14.41 +0.37 +1.39 +2.02 +13.26 +13.05 TMO‑Non +94.55 TMO‑Non
SWB097+1 +0.05 +2.89 +85.42 +152.96 +56.97 +140.55 +32.15 +28.80 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SYN353+1 +0.04 +0.05 +0.12 +0.05 TMO‑Non +4.68 +10.02 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +1.54 GUP‑Non TMO‑Non
COM129+1 +0.04 +0.01 +29.89 +29.51 +0.05 +11.27 +4.01 TMO‑Non +86.76 TMO‑Non TMO‑Non UNK‑Non +0.04 TMO‑Non
KRS261+1 +0.91 +0.57 UNK‑Non +117.11 +0.33 +7.59 +0.05 +9.09 +42.75 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW095+1 +3.98 +5.21 +1.93 +4.24 +0.04 +16.48 +6.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +15.43
CSR113+1 +1.72 +0.78 +0.47 +0.04 +59.95 +27.91 +6.70 +19.39 +201.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO005+4 +2.80 +1.94 +0.42 +0.05 +56.04 +6.66 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +2.70 TMO‑Non +38.16
KRS195+1 +0.05 +0.49 +0.38 +0.01 +0.05 +8.82 +0.01 +0.26 +0.56 +0.60 +0.61 +0.04 TMO‑Non TMO‑Non
MGT047+1 +0.61 +0.33 +4.56 +4.11 +0.05 +6.59 +2.69 TMO‑Non TMO‑Non +1.33 +1.30 +0.05 GUP‑Non +288.07
SYO604+1 +0.79 +4.77 UNK‑Non TMO‑Non +56.03 +7.73 +0.57 +28.48 +2.49 UNK‑Non UNK‑Non TMO‑Non GUP‑Non +2.79
SWV202+1 +1.21 +0.05 +83.49 +151.57 +0.05 +10.01 +0.36 +8.58 +0.92 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
KRS234+1 +0.01 +0.51 +0.41 +0.05 +0.01 +17.85 +0.50 +28.37 +44.28 +0.99 +0.95 +0.40 TMO‑Non TMO‑Non
GEO299+1 +0.05 +10.13 +0.12 +0.05 +20.13 +16.43 +0.40 +111.94 +100.16 +51.93 +52.50 UNK‑Non +25.17 TMO‑Non
KRS190+1 +0.05 +0.50 +1.86 +1.64 +0.04 +9.03 +0.04 +0.86 +1.73 +0.62 +0.98 +0.26 TMO‑Non TMO‑Non
GRP775+1 +0.05 +0.01 +0.14 +0.04 +22.54 +4.49 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +8.49 TMO‑Non +1.79
CSR070+3 +0.79 +0.04 +5.08 +4.94 +144.63 TMO‑Non +5.21 +71.40 +101.43 +232.39 +167.22 TMO‑Non TMO‑Non TMO‑Non
GEO343+1 +3.14 +2.84 +0.55 +0.05 +4.11 +18.97 +1.05 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR116+30 +1.06 +1.47 +0.48 +0.32 +77.40 +28.31 +8.92 +29.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO002+4 +1.47 +10.06 +0.49 +0.04 +60.16 +6.63 +38.63 TMO‑Non TMO‑Non +239.30 UNK‑Non +2.22 TMO‑Non TMO‑Non
CSR038+3 +9.71 +10.24 +1.77 +1.59 +147.55 TMO‑Non +5.41 +1.98 +3.75 +30.10 +30.02 TMO‑Non TMO‑Non TMO‑Non
SEU164+1 +10.14 +3.29 +0.78 +0.41 +40.93 +42.58 +0.84 +0.40 +0.46 +0.40 +0.38 +0.80 TMO‑Non TMO‑Non
CSR064+3 +0.32 +0.44 +2.15 +1.95 +4.30 +13.35 +5.90 +3.28 +10.56 +83.35 +84.36 TMO‑Non TMO‑Non TMO‑Non
GRP655+2 TMO‑Non TMO‑Non +22.17 +21.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +21.18 +9.78 TMO‑Non
KRS196+1 +0.05 +0.56 +0.39 +0.01 +0.05 +8.57 +0.01 +0.85 +0.45 +0.60 +0.39 +0.30 TMO‑Non TMO‑Non
SWV487+1 +4.91 +0.04 +0.12 +0.01 +0.04 +5.23 TMO‑Non TMO‑Non +44.14 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+7 +1.23 +0.40 +0.47 +0.05 +6.55 +28.78 +9.07 +0.48 +0.50 +163.15 +164.86 TMO‑Non TMO‑Non TMO‑Non
SEU253+1 +5.53 +18.07 UNK‑Non TMO‑Non +0.05 +7.14 +1.28 TMO‑Non +203.57 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
KRS217+1 +0.05 +0.05 +43.31 +43.19 +111.61 +60.56 +1.41 +111.21 +99.75 +13.41 +33.16 +2.55 TMO‑Non TMO‑Non
SWB057+1 +0.05 +0.57 +0.58 +0.04 +7.50 +25.33 +45.12 TMO‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non
KRS187+1 +0.05 +0.56 +2.61 +2.16 +0.01 +7.81 +0.04 +0.87 +1.72 +0.61 +0.99 +0.36 TMO‑Non TMO‑Non
COM133+1 +0.01 +0.04 +30.09 +29.66 +0.39 +10.36 TMO‑Non +28.44 +0.20 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
KRS194+1 +0.01 +0.55 +0.13 +0.05 +0.05 +8.89 +0.01 +0.85 +0.34 +0.95 +0.96 +0.05 TMO‑Non TMO‑Non
NUM924+7 +5.97 +16.64 +2.06 +1.69 +0.99 +50.19 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +9.19 TMO‑Non TMO‑Non
CSR062+3 +0.41 +0.05 +2.29 +2.22 TMO‑Non +14.46 +4.89 +113.19 +102.98 +35.78 +35.89 TMO‑Non TMO‑Non TMO‑Non
SWV486+1 +4.94 +0.04 +0.12 +0.01 +0.04 +5.47 +4.62 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
KRS216+1 +0.04 +0.06 +0.50 +0.04 +114.48 +13.59 +1.32 +4.69 +13.81 +18.03 +18.06 +25.34 TMO‑Non TMO‑Non
SWV468+1 +0.05 +0.05 +5.54 +4.34 +0.33 +11.28 +107.19 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +41.72 TMO‑Non TMO‑Non
CSR063+3 +0.33 +0.05 +1.66 +1.55 +4.33 +14.73 +5.91 +29.56 +44.88 +121.10 +100.47 TMO‑Non TMO‑Non TMO‑Non
SWV198+1 +0.01 +0.04 +0.11 +0.04 +0.05 +10.17 +16.59 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +19.63 TMO‑Non TMO‑Non
SYO525+1.018 +45.71 +105.92 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +168.89 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU174+2 +9.73 +0.41 +0.12 +0.04 +0.04 +9.97 +10.78 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.32 TMO‑Non TMO‑Non
SYO525+1.015 +5.32 +9.02 173.31 +26.81 TMO‑Non TMO‑Non +6.39 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +5.78 TMO‑Non TMO‑Non
GRP746+1 +128.03 +95.83 +11.70 +11.36 TMO‑Non +10.09 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +87.94 TMO‑Non TMO‑Non
NUN056+1* +50.82 +26.51 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV109+1 +1.21 +0.04 TMO‑Non TMO‑Non +0.04 +11.58 +1.16 +0.19 +0.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUN057+1* +1.05 +5.34 +90.25 +152.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO524+1 +0.01 +0.04 +0.12 +0.05 +0.05 +9.20 TMO‑Non TMO‑Non TMO‑Non +63.82 +51.84 +0.59 TMO‑Non TMO‑Non
CSR116+47 +1.83 +4.44 +0.48 +0.41 +91.48 +30.24 +8.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO003+3 +4.53 +2.45 +0.96 +0.59 +95.12 +9.93 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +49.45 +3.70 +2.89
LCL658+1.005 +12.36 +0.56 UNK‑Non TMO‑Non TMO‑Non +24.74 +12.08 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +14.70
COM128+1 +0.05 +0.05 +29.79 +29.82 +0.05 +11.00 +26.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.04 TMO‑Non
LCL656+1.020 +32.70 +14.27 +30.04 +29.77 TMO‑Non TMO‑Non +7.09 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
GRP667+1 +44.71 +8.05 +3.25 +2.83 TMO‑Non +16.72 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +7.58 +11.22 TMO‑Non
KRS264+1 +1.16 +0.56 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +1.30 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL494+1 +1.31 +0.04 +0.13 +0.05 +2.22 +6.00 +104.14 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.34 +0.05 TMO‑Non
KRS233+1 +0.05 +0.51 +5.96 +5.99 +0.04 +8.65 +0.04 +28.27 +48.65 +275.66 +277.94 +2.32 TMO‑Non TMO‑Non
LCL902+1 +0.61 +0.05 +0.12 +0.04 +21.32 +4.58 +6.40 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non +0.05 +0.81
KRS188+1 +0.04 +0.52 +32.82 +39.25 +0.04 +9.30 +0.05 +0.85 +102.53 +0.61 +0.61 TMO‑Non TMO‑Non TMO‑Non
GEO274+1 +7.97 +2.32 +0.51 +0.04 +0.05 +24.72 +12.18 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non +11.25
KRS186+1 +0.04 +0.51 +30.28 +37.05 +0.05 +8.94 +0.04 +0.85 +102.23 +0.61 +0.62 +25.40 TMO‑Non TMO‑Non
PUZ133+1 +70.65 +10.62 +2.35 +1.87 +0.04 +7.89 +3.73 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.49 TMO‑Non TMO‑Non
LCL680+1.005 +180.78 +4.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +1.56
PRO003+4 +5.11 +1.95 +0.74 +0.04 +253.79 +6.17 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +4.42 TMO‑Non +2.39
SWB012+3 +0.04 +0.04 +1.45 +1.28 +61.17 +51.35 TMO‑Non TMO‑Non TMO‑Non +5.53 +5.43 UNK‑Non +54.18 TMO‑Non
SWV401+1 +7.67 +0.01 +0.13 +0.01 +0.01 +5.59 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +3.99 TMO‑Non TMO‑Non
SYN986+1.004 +0.45 +3.09 UNK‑Non +121.57 TMO‑Non TMO‑Non +38.11 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
COM149+1 +0.57 +2.89 +26.76 +26.51 +0.04 +11.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
KRS235+1 +0.04 +0.56 +4.79 +4.65 +0.04 +10.50 +0.04 +28.30 +48.70 UNK‑Non UNK‑Non +2.43 TMO‑Non TMO‑Non
PUZ133+2 +5.20 +1.67 +1.04 +0.74 +0.39 +7.48 +56.11 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.38 TMO‑Non TMO‑Non
KRS251+1 +10.28 +0.52 UNK‑Non TMO‑Non +0.05 TMO‑Non +1.14 +28.40 +47.74 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW474+5 +4.32 +6.14 +2.16 TMO‑Non +8.78 +55.10 +1.91 +0.89 +1.16 UNK‑Non +104.68 UNK‑Non TMO‑Non TMO‑Non
LCL676+1.005 +0.04 +0.57 UNK‑Non TMO‑Non +5.40 +25.23 +2.75 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +3.36
SCT147+1 +0.05 +0.59 +0.52 +0.05 +0.37 +84.72 +2.08 +29.23 +6.60 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
BOO109+1 +92.77 +45.25 +248.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +32.18 TMO‑Non +113.75 TMO‑Non
SCT149+1 +0.60 +0.05 UNK‑Non +4.35 +0.04 +36.31 +0.05 +0.33 +0.33 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL652+1.015 +16.15 +20.38 +65.17 +53.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR051+4 +1.60 +1.38 +2.05 +7.59 +246.57 +31.19 +10.06 +60.31 +87.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN007+1.014 +0.05 +0.01 +4.16 +1.91 +0.01 TMO‑Non +0.04 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
KLE170+1.002 +1.01 +3.07 +0.48 +0.05 +0.04 +5.09 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.32 +0.05 +212.01
NUN055+1* TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non +49.69 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV487+3 +4.92 +0.04 +13.09 +11.99 +38.79 +5.57 +14.03 TMO‑Non +63.05 UNK‑Non UNK‑Non TMO‑Non TMO‑Non +26.93
NLP262+1 +32.57 +20.44 +68.19 +68.13 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non
RNG049+2 +1.03 +0.57 +84.02 +151.57 +0.05 +7.02 +0.05 TMO‑Non TMO‑Non +1.61 +1.55 TMO‑Non TMO‑Non TMO‑Non
CSR061+3 +0.85 +0.04 +90.73 +92.20 TMO‑Non TMO‑Non TMO‑Non +180.79 +182.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV486+3 +4.94 +0.05 +0.80 +0.42 +20.65 +52.76 +5.02 TMO‑Non +43.63 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL672+1.010 +12.40 +0.68 UNK‑Non TMO‑Non TMO‑Non +94.97 +10.40 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWB077+1 +0.67 +1.68 +3.60 +3.48 +179.07 TMO‑Non TMO‑Non +60.19 TMO‑Non +39.21 +39.32 GUP‑Non TMO‑Non TMO‑Non
LCL658+1.010 +13.13 +14.64 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +53.86 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +278.01
SWV235+1 +0.32 +0.05 +0.50 +0.05 +58.44 +5.29 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR049+3 +0.80 +0.05 +88.15 +155.98 TMO‑Non TMO‑Non TMO‑Non +178.77 +181.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL901+1 +1.78 +0.04 +0.42 +0.04 +27.40 +4.74 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non +0.05 +3.45
NLP260+1 +32.71 +20.10 +37.88 +37.11 TMO‑Non UNK‑Non +62.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non
SWW375+1 +0.41 +0.87 +3.87 +3.87 +5.12 +110.15 +11.92 TMO‑Non +180.81 +50.08 +50.73 +235.37 TMO‑Non TMO‑Non
NLP261+1 +33.07 +20.31 +40.29 +39.77 TMO‑Non UNK‑Non +63.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non
SWB017+1 +0.04 +0.57 +0.53 +0.05 +7.23 +23.54 TMO‑Non TMO‑Non TMO‑Non +75.77 +76.11 GUP‑Non TMO‑Non TMO‑Non
CSR116+16 +1.50 +9.11 +0.48 +0.04 +79.24 +26.91 +16.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO277+1 +7.97 +15.49 +0.56 +0.05 +20.14 +21.25 +66.71 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non +20.41
SYO525+1.021 TMO‑Non +190.71 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWV476+1 +0.04 +0.41 +0.77 +0.41 +28.84 +12.07 +59.23 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.86 TMO‑Non TMO‑Non
GEO168+1 +68.04 +81.51 UNK‑Non +77.37 TMO‑Non +25.62 +62.51 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV469+1 +0.05 +0.04 +0.37 +0.04 +0.04 +11.28 +220.13 TMO‑Non +50.19 +11.86 +11.93 +26.84 TMO‑Non TMO‑Non
LCL658+1.020 +32.03 +13.65 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWW314+1 +0.41 +0.87 +3.98 +3.96 +5.28 +39.94 +14.41 +2.36 +1.81 +55.82 +55.75 UNK‑Non TMO‑Non TMO‑Non
LCL658+1.015 +34.03 +15.67 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +57.71 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SET634+3 +2.13 +7.22 +22.21 +20.97 +0.69 +7.12 +1.83 +1.50 +4.10 UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
LCL638+1.015 +50.64 +30.30 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV452+1 +0.89 +0.01 +2.27 +2.16 +0.52 +8.58 +51.55 TMO‑Non TMO‑Non +1.58 +1.48 TMO‑Non TMO‑Non TMO‑Non
LCL672+1.020 +12.70 +0.92 UNK‑Non UNK‑Non TMO‑Non TMO‑Non +54.02 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
REL019+1 +168.45 +74.83 +127.48 +227.82 TMO‑Non +62.03 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non +17.09 TMO‑Non
LCL638+1.020 +54.84 +19.18 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB009+1 +3.62 +2.85 +30.51 +35.33 +216.45 TMO‑Non TMO‑Non +33.61 TMO‑Non +243.24 +246.58 GUP‑Non TMO‑Non TMO‑Non
LAT258+1 +150.06 +22.60 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +43.19
GEO340+1 +7.94 +2.31 +83.53 +151.14 +0.05 +20.49 +2.38 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LCL664+1.020 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
NUM924+4 +34.33 +16.93 +30.82 +30.76 +4.92 +115.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL646+1.010 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
KLE143+2 +5.31 +107.37 +1.37 +1.06 +42.31 +92.62 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +2.91 +1.91 TMO‑Non
LCL664+1.015 +12.79 +1.12 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +55.80 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWB056+1 +0.01 +7.93 +87.53 +155.08 +43.47 TMO‑Non TMO‑Non +31.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL678+1.005 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non +14.69
NUM925+4 +0.40 +1.35 +50.70 +49.69 +6.68 +243.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +291.63 TMO‑Non
LCL662+1.015 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV466+1 +1.36 +2.01 +0.47 +0.06 +0.05 +11.49 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.75 TMO‑Non TMO‑Non
GEO167+1 +69.33 +84.13 UNK‑Non TMO‑Non +70.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
PRO008+4 +2.20 +4.23 +1.28 +0.94 +27.55 +38.12 +4.42 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +268.52 TMO‑Non +103.34
LCL688+1.010 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +90.22
SWV480+1 +0.05 +0.89 +0.81 +0.60 +55.37 +13.49 +36.57 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +52.61 TMO‑Non TMO‑Non
LCL688+1.005 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +69.02 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +12.98
GRA007+1 +13.13 +28.11 +0.57 +0.04 +23.52 +8.67 +3.03 TMO‑Non +91.96 UNK‑Non UNK‑Non TMO‑Non TMO‑Non +2.40
LCL876+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV481+1 +0.39 +0.57 +0.79 +0.97 +38.08 +12.10 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +60.13 TMO‑Non TMO‑Non
LCL682+1.015 +13.55 +1.83 UNK‑Non TMO‑Non TMO‑Non +242.83 +19.47 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
GEO526+1 +0.46 +0.98 +6.31 +6.42 +0.39 +54.87 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +9.36 +112.32 TMO‑Non
LCL650+1.020 +2.68 +31.01 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926+6 +85.49 +2.31 +25.51 +24.44 +0.05 TMO‑Non +136.93 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +1.87 TMO‑Non TMO‑Non
LCL666+1.010 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +33.51 TMO‑Non 146.51 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
NUM926+3 +3.07 +1.10 +84.13 +152.06 +0.70 +44.25 +34.79 TMO‑Non TMO‑Non +176.70 +176.00 +47.57 TMO‑Non TMO‑Non
SWV465+1 +2.08 +0.50 +20.57 +17.93 +40.35 +9.96 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +0.05 TMO‑Non TMO‑Non
SCT159+1 +3.08 +0.05 +8.65 +8.21 +112.61 TMO‑Non +141.96 TMO‑Non TMO‑Non +31.36 +31.56 +65.23 TMO‑Non TMO‑Non
SWB083+1 +0.06 +2.83 +125.65 +226.16 +195.42 TMO‑Non TMO‑Non +69.42 TMO‑Non +12.83 +13.38 GUP‑Non TMO‑Non TMO‑Non
MGT035+2 +11.61 +6.11 +1.28 +1.07 +0.04 +6.21 +1.78 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +119.47
SEU266+1 +3.89 +0.04 +0.12 +0.04 +84.09 +53.84 +3.85 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
HAL001+2 +1.62 +8.87 UNK‑Non +100.81 +62.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO298+1 +5.55 +13.85 +1.83 +1.59 +155.29 +25.35 +10.43 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SET722+4 +0.05 +0.01 UNK‑Non TMO‑Non +0.05 +9.79 +3.59 TMO‑Non +20.16 +23.42 +23.69 TMO‑Non TMO‑Non TMO‑Non
GEO497+1 +1.99 +30.75 +38.77 +21.66 +0.04 +14.30 +11.08 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV475+1 +15.45 +1.02 +0.78 +0.45 +55.19 +12.04 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO504+1 +0.04 +0.57 +0.56 +0.05 +6.84 +10.27 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +4.92 +249.29 TMO‑Non
GEO169+2 +6.47 +4.08 +3.20 +2.91 +20.85 +6.35 +10.10 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET651+3 +0.05 +8.95 +0.98 +0.56 TMO‑Non +49.09 +16.40 TMO‑Non TMO‑Non UNK‑Non +73.66 +0.04 TMO‑Non TMO‑Non
SWV378+1 +1.44 +0.05 +0.12 +0.01 +0.04 +6.66 +74.27 TMO‑Non TMO‑Non +7.07 +7.10 UNK‑Non TMO‑Non TMO‑Non
GRP654+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +160.75 +6.77 TMO‑Non
GRP655+1 TMO‑Non TMO‑Non +62.99 +60.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +254.01 +3.45 TMO‑Non
LAT332+1 +1.18 +2.08 +69.44 +72.99 +5.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT353+1 +2.12 +1.34 +87.51 +154.89 +58.57 +27.73 +1.46 +108.26 TMO‑Non +43.18 +40.34 TMO‑Non TMO‑Non TMO‑Non
HAL006+1 +0.57 +28.68 +1.74 +1.37 +76.05 +11.63 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non +32.43 TMO‑Non
COM137+1 +14.72 +5.12 +86.28 +153.86 +55.56 +11.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW473+7 +3.26 +1.16 +2.67 +2.25 +43.67 TMO‑Non TMO‑Non +7.58 +21.80 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW297+1 +0.37 +0.88 +3.86 +4.00 TMO‑Non +47.51 +37.73 +29.92 +45.30 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB040+1 +0.68 +0.58 +25.71 +30.14 +74.80 TMO‑Non +30.53 TMO‑Non TMO‑Non +13.27 +13.35 GUP‑Non TMO‑Non TMO‑Non
NUM558+1 +0.05 +0.05 +0.44 +0.01 +165.66 +22.02 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW313+1 +0.39 +0.97 +7.35 +7.43 +5.23 TMO‑Non +15.00 +31.73 +45.06 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW294+1 +2.18 +0.90 +8.50 +8.37 +171.04 TMO‑Non +274.74 +8.13 +10.16 +49.55 +49.99 +263.39 TMO‑Non TMO‑Non
SET143+4 +0.04 +5.42 +0.39 +0.01 +0.01 +4.87 +3.39 TMO‑Non +59.30 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET155+4 +10.74 +3.19 UNK‑Non TMO‑Non +0.05 +5.63 TMO‑Non +80.56 +186.70 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW394+1 +0.38 +2.70 +7.13 +7.08 +93.07 TMO‑Non +131.50 +32.60 +46.45 +53.87 +54.45 UNK‑Non +297.44 TMO‑Non
GEO474+1 +0.88 +26.23 +92.88 +160.65 +176.17 TMO‑Non TMO‑Non +24.57 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO285+1 +0.61 +0.41 +1.24 +0.60 +55.23 +20.09 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SEU170+2 +0.46 +9.75 +11.79 +10.23 +3.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB047+1 +0.05 +1.17 +9.57 +13.59 +245.02 TMO‑Non +30.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWB075+1 +0.05 +1.68 +3.26 +3.03 +6.68 TMO‑Non +13.92 TMO‑Non TMO‑Non +88.93 +165.06 GUP‑Non TMO‑Non TMO‑Non
GRA009+1 +1.68 +4.96 +15.14 +21.39 TMO‑Non +97.30 +16.59 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +10.00
CSR001+2 +10.04 +165.32 +26.80 +26.18 +60.08 +13.97 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWW386+1 +0.37 +0.89 +4.23 +4.28 +5.29 +146.50 +13.87 +32.69 +46.01 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO535+1 +1.47 +22.03 +116.83 +189.49 +61.75 +16.82 TMO‑Non TMO‑Non TMO‑Non +129.24 +151.51 TMO‑Non TMO‑Non TMO‑Non
SWW311+1 +0.41 +0.96 +3.76 +3.85 TMO‑Non TMO‑Non +68.48 +73.39 +49.04 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
AGT018+1 +12.45 +1.09 +181.56 TMO‑Non TMO‑Non TMO‑Non +78.92 +226.73 TMO‑Non +124.79 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SYN076+1 +99.98 +1.40 UNK‑Non TMO‑Non +20.92 +7.97 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
CSR032+4 +1.77 +1.39 +2.68 +8.33 TMO‑Non TMO‑Non +25.28 +110.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU325+2 +1.32 +0.68 +3.05 +2.70 +3.10 +49.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +245.59 TMO‑Non
ALG165+1 +0.99 +0.05 UNK‑Non TMO‑Non +0.04 +10.19 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
GEO307+1 +0.04 +7.27 UNK‑Non TMO‑Non +40.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
GEO500+1 +283.65 +182.24 +2.16 +1.88 TMO‑Non +71.12 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +4.47 +2.80 TMO‑Non
GEO089+1 +0.05 +0.05 +278.67 TMO‑Non +0.04 +58.02 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET171+3 +2.12 +1.96 UNK‑Non TMO‑Non +1.41 +9.82 +0.88 +28.92 +11.90 UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SET750+4 +15.26 +0.04 TMO‑Non TMO‑Non +55.16 +122.34 TMO‑Non +83.20 TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
NUM320+1 +1.32 +2.88 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +14.59 +241.14 TMO‑Non +7.77 UNK‑Non +30.56 TMO‑Non TMO‑Non
SWV089+1 +0.04 +0.53 +83.98 +152.05 +0.05 +10.40 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET016+1 +10.73 +3.30 +0.13 +0.05 TMO‑Non +6.59 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT122+1 +0.04 +0.87 +80.07 +114.27 +0.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +23.53 TMO‑Non TMO‑Non
SWW470+3 +1.36 +42.80 +255.67 +216.31 +57.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM126+1 +13.09 +4.12 +86.30 +153.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SET730+4 +17.53 +0.01 UNK‑Non TMO‑Non +0.05 +89.97 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
COM142+1 +0.57 +1.98 +86.22 +153.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GRA009+2 +1.63 +4.89 +14.99 +21.42 TMO‑Non +94.04 +50.41 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +2.21
SWV029+1 +0.58 +16.59 TMO‑Non TMO‑Non +0.05 +11.19 +27.87 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO289+1 +0.05 +4.31 +3.47 +3.09 +0.32 +46.87 +15.59 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWB045+1 +0.05 +0.54 +44.51 +51.99 +272.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +209.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB106+1 +5.55 +2.89 +8.00 +9.40 TMO‑Non TMO‑Non +12.50 TMO‑Non TMO‑Non +37.18 +37.32 GUP‑Non TMO‑Non TMO‑Non
SWB004+1 +0.49 +0.57 +32.76 +33.71 +240.92 TMO‑Non +16.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO507+1 +0.05 +0.56 +91.64 +164.90 +74.82 +43.83 +50.89 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB044+1 +0.05 +3.03 +61.95 +67.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT121+1 +4.39 +2.19 +131.99 +124.77 +0.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +124.88 TMO‑Non TMO‑Non
CSR072+5 +15.08 +14.32 +38.17 TMO‑Non TMO‑Non TMO‑Non +26.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
COM123+1 +1.97 +20.47 +86.10 +153.64 +0.62 +20.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL524+1 +1.89 +1.25 +75.56 +73.11 TMO‑Non TMO‑Non +138.52 TMO‑Non TMO‑Non UNK‑Non UNK‑Non +6.15 +9.60 TMO‑Non
PRO016+2 +4.51 +112.48 UNK‑Non TMO‑Non +102.38 +296.67 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non +6.80
RNG064+2 +5.50 +3.51 +9.96 +7.92 +156.70 TMO‑Non +8.51 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW474+6 +1.65 +4.88 +258.95 +251.61 +47.01 +162.70 +10.21 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWW337+1 +0.37 +0.99 +7.99 +8.07 +5.23 +250.68 TMO‑Non +30.96 +45.60 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SCT117+1 +0.59 +2.20 UNK‑Non TMO‑Non +20.49 +32.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW295+1 +0.41 +1.45 +8.14 +8.19 TMO‑Non TMO‑Non TMO‑Non +29.92 +45.14 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO523+1 +84.56 +4.50 +0.38 +0.05 TMO‑Non +9.99 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET749+4 +0.04 +0.05 UNK‑Non TMO‑Non +0.04 TMO‑Non +7.92 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
COM132+1 +17.87 +26.20 +21.40 +21.23 +58.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL896+1 +19.74 +94.14 +2.69 +3.08 TMO‑Non +23.18 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non +4.46 TMO‑Non
SWW322+1 +0.37 +1.39 +9.38 +9.58 +5.48 TMO‑Non TMO‑Non +31.61 +47.37 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW256+1 +100.69 +13.88 +15.19 +14.49 TMO‑Non +209.35 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +16.64 +203.90 TMO‑Non
SWW358+1 +0.37 +2.51 +7.56 +7.57 +5.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWB016+1 +0.68 +1.68 +251.05 TMO‑Non +182.61 TMO‑Non +15.09 TMO‑Non TMO‑Non +38.65 +38.61 GUP‑Non TMO‑Non TMO‑Non
SCT128+1 +31.32 +87.08 UNK‑Non TMO‑Non +0.34 +36.45 TMO‑Non +86.32 +215.62 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRA011+1 +1.63 +4.34 +12.58 +16.88 +220.07 TMO‑Non +62.02 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +4.87
NUM860+1 +11.59 +2.54 UNK‑Non +285.25 +0.05 +5.99 +18.48 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW391+1 +0.37 +0.89 +9.72 +9.78 TMO‑Non TMO‑Non +13.74 +30.22 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
KLE102+1 +63.25 +82.18 +0.65 +0.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +39.64 +32.99 TMO‑Non
NUM924+8 +50.89 +17.49 +2.76 +2.83 +15.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM862+1 +26.27 +83.05 +16.03 +6.33 +0.65 +11.43 +88.98 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW326+1 +0.41 +0.40 +10.29 +10.36 +2.58 +144.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW368+1 +1.03 +0.91 +10.59 +10.49 +97.05 TMO‑Non TMO‑Non +40.78 TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
AGT022+2 +3.42 +3.77 UNK‑Non TMO‑Non +151.63 TMO‑Non +39.51 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
KLE084+1 TMO‑Non TMO‑Non +1.75 +1.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +9.44 +11.32 TMO‑Non
SWB063+1 +0.05 +2.88 +18.65 +20.88 +131.77 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO005+1 +9.12 +99.58 +76.66 +75.90 +112.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRP779+1 +85.09 +8.20 +1.72 +1.32 TMO‑Non +10.88 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +7.29 261.52 TMO‑Non
KLE101+1 +123.35 +144.72 +4.58 +4.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +86.57 +285.11 TMO‑Non
AGT013+2 +10.10 +6.01 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +149.40 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL541+1 +4.80 +40.84 +0.57 +0.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +98.63 +27.28 TMO‑Non
GEO273+1 +5.68 +14.86 +0.50 +0.04 TMO‑Non +21.28 +15.82 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWB080+1 +6.12 +2.86 +23.98 +26.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +257.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
AGT019+1 +0.05 +0.60 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +121.46 TMO‑Non TMO‑Non +81.74 +227.64 TMO‑Non TMO‑Non TMO‑Non
SWB022+1 +0.05 +2.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL898+1 TMO‑Non TMO‑Non +2.07 +2.02 TMO‑Non +18.62 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non +5.23 TMO‑Non
SWC125+1 +111.85 +48.89 +124.55 +225.17 TMO‑Non +90.17 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +30.11
SCT143+1 +30.54 +14.13 +85.78 +158.44 TMO‑Non +89.27 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +3.13 +16.10 TMO‑Non
SCT155+1 +0.59 +2.69 UNK‑Non TMO‑Non +11.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT158+1 +19.45 +2.19 UNK‑Non TMO‑Non +60.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR045+4 +3.41 +9.82 +2.56 +8.09 TMO‑Non TMO‑Non +87.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR074+4 +3.71 +8.55 +3.45 +8.98 TMO‑Non TMO‑Non +30.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET744+4 +16.48 +5.61 UNK‑Non TMO‑Non +55.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRA002+1 +1.64 +4.33 +83.84 +151.47 +222.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non +13.45
SWW321+1 +0.87 +1.47 +9.67 +9.75 +5.43 TMO‑Non TMO‑Non TMO‑Non +55.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO466+1 +3.44 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWB071+1 +0.05 +4.31 +4.04 +4.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +170.63 GUP‑Non TMO‑Non TMO‑Non
SWB027+1 +6.12 +2.89 +184.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +19.04 +18.92 TMO‑Non TMO‑Non TMO‑Non
GRP780+1 TMO‑Non TMO‑Non +0.43 +0.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +1.89 TMO‑Non TMO‑Non
SCT163+1 +72.43 +61.06 +9.91 +9.24 TMO‑Non +31.10 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +3.88 TMO‑Non TMO‑Non
SWW339+1 +0.37 +1.47 +9.46 +9.52 +5.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW319+1 +0.36 +2.53 +9.94 +7.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SET098+1 +96.21 +4.77 +8.91 +0.39 TMO‑Non +51.56 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW310+1 +0.52 +1.25 +10.04 +10.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW252+1 +137.96 +6.60 UNK‑Non TMO‑Non +0.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB082+1 +5.48 +2.89 +252.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +113.99 +114.43 GUP‑Non TMO‑Non TMO‑Non
SWB012+1 +5.69 +2.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB094+1 +5.55 +3.38 +251.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +111.89 +40.63 GUP‑Non TMO‑Non TMO‑Non
CSR047+5 +14.62 +14.55 +37.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWB098+1 +5.55 +2.88 +257.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +116.17 +114.64 GUP‑Non TMO‑Non TMO‑Non
SET105+1 +10.81 +3.28 +29.69 +28.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW328+1 +0.37 +1.10 +10.65 +10.57 +5.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW098+1 TMO‑Non +2.92 +23.59 +22.79 +146.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW100+1 +13.79 +2.80 TMO‑Non TMO‑Non +113.27 +214.55 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW336+1 +0.38 +11.34 +11.67 +11.56 +5.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SCT162+1 +69.99 +63.94 +1.68 +1.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +3.72 TMO‑Non TMO‑Non
LCL553+1 +32.04 +19.85 +1.72 +0.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +268.88 TMO‑Non TMO‑Non
SWB051+1 +19.35 +8.67 +88.01 +155.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL891+1 +42.88 +141.21 +57.73 +55.25 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non +75.38 TMO‑Non
SWW374+1 +0.50 +1.52 +3.29 +3.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWB064+1 +18.58 +58.89 +24.59 +32.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT138+1 +95.03 +11.21 +84.72 +157.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +2.61 +10.73 TMO‑Non
SWW352+1 +13.47 +11.37 +5.98 +5.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW304+1 +13.84 +11.44 +5.74 +5.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW096+1 +13.04 +2.19 +2.75 +2.22 +129.00 +220.01 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW379+1 +3.36 +1.10 +11.07 +11.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
KLE073+1 TMO‑Non TMO‑Non +1.68 +1.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +116.98 +63.19 TMO‑Non
SWW364+1 +0.38 +11.43 +9.87 +9.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO506+1 TMO‑Non TMO‑Non +282.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU334+1 +24.67 +7.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT139+1 +88.67 +14.02 +279.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.03 +15.09 TMO‑Non
LCL552+1 +32.16 +20.19 +1.96 +1.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
BIO002+1 +14.25 +13.96 UNK‑Non +96.48 TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non
AGT022+1 +11.38 +100.54 UNK‑Non TMO‑Non +146.88 TMO‑Non +277.97 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW308+1 +12.44 +9.85 +9.87 +9.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB088+1 +5.55 +24.67 UNK‑Non TMO‑Non +182.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non
SWW268+1 TMO‑Non TMO‑Non +125.87 +125.84 +112.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB104+1 +0.05 +2.89 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW470+6 +20.17 +1.17 UNK‑Non TMO‑Non +92.22 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW228+1 +100.31 +4.56 UNK‑Non TMO‑Non +59.26 +61.73 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB050+1 +19.38 +8.65 +88.02 +155.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
REL021+2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non +114.69 TMO‑Non
REL016+3 TMO‑Non TMO‑Non +19.82 +19.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
REL022+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non +57.55 TMO‑Non
GRP629+3 +15.54 +0.57 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU418+3 +11.54 +14.75 +11.16 +10.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL492+1 +260.54 +156.53 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +218.52 +92.40 TMO‑Non
SWW296+1 +14.36 +11.24 +8.97 +8.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW355+1 +0.37 +10.41 +7.37 +7.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW303+1 +13.12 +11.11 +9.01 +4.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW356+1 +0.52 +10.31 +5.00 +5.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
CSR055+5 +14.70 +14.46 +37.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL892+1 +46.53 +145.11 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non +114.89 TMO‑Non
SWW329+1 +13.68 +11.61 +11.38 +11.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
CSR031+5 +14.81 +14.51 +37.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW347+1 +13.30 +10.41 +6.35 +6.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW363+1 +13.44 +11.50 +7.75 +9.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO330+1 TMO‑Non TMO‑Non +61.14 +160.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
GEO447+1 +2.22 +188.31 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
PUZ076+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR036+4 +14.06 +19.13 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW301+1 +0.38 +11.62 +10.07 +10.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT154+1 +17.10 +3.02 UNK‑Non TMO‑Non +62.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW376+1 +12.23 +10.31 +8.82 +8.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL558+1 +32.33 +19.88 +1.98 +1.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW380+1 +13.34 +11.44 +9.87 +9.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW384+1 +13.14 +11.14 +5.00 +5.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW395+1 +13.17 +2.51 +4.85 +4.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW346+1 +13.22 +10.34 +9.60 +9.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW333+1 +3.70 +1.66 +7.00 +6.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SCT151+1 +20.05 +2.20 UNK‑Non TMO‑Non +60.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO536+1 +1.82 +286.22 TMO‑Non TMO‑Non +56.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW377+1 +13.52 +11.52 +9.75 +9.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW306+1 +0.70 +0.88 +10.32 +10.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO511+1 +101.09 TMO‑Non +230.05 TMO‑Non TMO‑Non TMO‑Non +24.44 TMO‑Non TMO‑Non +60.70 +60.24 TMO‑Non TMO‑Non TMO‑Non
SWW292+1 +16.13 +14.19 +9.69 +10.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO440+1 +11.41 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO322+1 TMO‑Non TMO‑Non +64.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SCT170+3 +27.51 TMO‑Non +269.74 TMO‑Non +157.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWB039+1 +0.05 +2.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO324+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWW357+1 +13.44 +11.44 +11.44 +11.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWW189+1 +60.54 TMO‑Non +252.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
KLE121+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRP664+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL474+1 +56.04 +13.08 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +162.19 TMO‑Non TMO‑Non
CSR056+6 +109.53 +89.03 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +200.59 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT333+3 TMO‑Non +38.56 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL468+1 +59.27 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +182.10 TMO‑Non TMO‑Non
SCT102+1 +22.85 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +31.31 +5.71 TMO‑Non
LCL530+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non +281.91 TMO‑Non
SWB107+1 +0.66 +2.85 UNK‑Non TMO‑Non +280.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR031+6 +109.61 +86.32 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +199.08 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR055+6 +110.03 +86.85 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +209.96 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR033+6 +109.53 +140.17 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +198.93 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL466+1 +54.32 +11.14 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non +176.97 TMO‑Non TMO‑Non
CSR030+6 +112.32 +91.74 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +223.62 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO477+1 +7.18 +26.32 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SCT124+1 +25.40 +66.36 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR050+6 +107.61 +91.26 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +198.45 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT310+4 +5.55 +6.72 +32.53 +295.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO309+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LAT348+3 +5.55 +3.55 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR044+5 +15.04 +14.81 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
CSR071+6 +109.12 +88.46 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +198.65 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB091+1 +20.94 +8.66 TMO‑Non TMO‑Non +275.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT359+2 +79.10 +59.15 +49.71 +50.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU252+2 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +13.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRP623+4 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT144+1 +18.45 +84.27 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL570+1 +38.35 +46.60 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT329+4 +6.20 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CAT032+2 TMO‑Non +1.51 UNK‑Non TMO‑Non TMO‑Non +77.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT360+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT160+1 +96.39 +195.36 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SCT169+3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL572+1 +185.18 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO345+1 +72.79 +45.60 TMO‑Non TMO‑Non +155.24 TMO‑Non +261.92 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWW264+1 +62.98 +30.93 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO471+1 +26.29 +214.11 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SEU383+2 +128.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT140+1 +17.66 +81.00 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO302+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LAT379+2 +186.40 +65.07 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT376+4 +3.87 +29.28 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
SWV393+1 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
TOP041+3 +25.70 +18.58 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT145+1 +18.20 +81.50 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO483+1 +12.00 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO338+1 +55.83 +104.51 UNK‑Non TMO‑Non +156.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
Solved/500 461/500 454/500 363/500 350/500 298/500 256/500 248/500 143/500 133/500 126/500 123/500 122/500 74/500 50/500
Av. CPU Time 16.37 15.06 26.94 25.64 43.50 31.23 29.44 46.71 48.59 54.93 50.20 29.68 62.24 40.09
Av. WC Time 16.36 15.06 26.89 25.69 45.68 11.88 29.22 46.37 48.13 55.05 50.28 29.74 62.30 40.13
Solutions 461 92% 454 90% 362 72% 350 70% 298 59% 256 51% 247 49% 143 28% 133 26% 126 25% 123 24% 122 24% 73 14% 50 10%
μEfficiency 483 473 333 339 232 94 167 56 55 61 64 113 50 21
μWCEfficiency 485 479 331 342 232 39 167 101 95 66 65 113 50 21
SOTAC 0.20 0.19 0.15 0.15 0.14 0.13 0.14 0.11 0.10 0.10 0.10 0.13 0.17 0.18
Core Usage 0.83 0.83 0.95 0.84 0.82 2.67 0.92 0.81 0.81 0.97 0.99 0.87 0.87 0.95
New Solved 2/3 2/3 1/3 1/3 0/3 1/3 0/3 0/3 0/3 0/3 0/3 0/3 0/3 0/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 LTB TNE TEQ TFI TFE FNE FEQ FNN FNQ EPT EPS CML

Results for FNT (First-order Non-theorems)

First-order Non-theorems Vampire
SAT‑4.3
Vampire
SAT‑4.1
iProver
SAT‑2.8
CVC4
SAT‑1.6pre
E
FNT‑2.2pre
Geo‑III
2018C
SWB010+3 +52.37 +95.81 TMO‑Non TMO‑Non +1.63 TMO‑Non
LCL571+1 +4.29 +0.45 +32.34 TMO‑Non TMO‑Non TMO‑Non
KRS238+1 +90.89 +108.54 +36.87 +38.88 TMO‑Non TMO‑Non
LCL883+1 +4.34 +0.42 +1.98 +30.89 TMO‑Non TMO‑Non
KRS232+1 +90.70 +99.25 +23.09 +39.59 TMO‑Non TMO‑Non
HAL003+2 +4.30 +0.47 +2.68 TMO‑Non TMO‑Non TMO‑Non
KRS246+1 +115.87 +131.61 +30.37 +48.00 TMO‑Non TMO‑Non
RNG110+1 +4.30 +0.45 +3.51 +35.77 TMO‑Non TMO‑Non
KRS198+1 +99.90 +115.96 +43.71 +37.05 TMO‑Non TMO‑Non
LCL567+1 +4.28 +0.46 +41.97 TMO‑Non TMO‑Non TMO‑Non
KRS185+1 +97.72 +99.56 +32.48 +38.74 TMO‑Non TMO‑Non
NUM447+1 +4.28 +0.47 +0.41 +0.05 TMO‑Non TMO‑Non
KRS249+1 +82.26 +101.43 +30.78 +40.77 TMO‑Non TMO‑Non
PRO007+4 +4.30 +0.46 +14.26 TMO‑Non TMO‑Non +1.48
SWB018+3 +76.95 +74.61 TMO‑Non TMO‑Non +2.55 TMO‑Non
KLE172+1 +4.30 +0.47 +16.46 +35.22 TMO‑Non TMO‑Non
KRS223+1 +88.81 +128.06 +40.90 +39.63 TMO‑Non TMO‑Non
LCL577+1 +4.30 +0.42 +0.92 +35.55 TMO‑Non TMO‑Non
SWB026+3 +109.20 +68.97 TMO‑Non TMO‑Non +3.17 TMO‑Non
PRO013+4 +4.30 +0.46 +3.86 +75.92 TMO‑Non +1.28
SWV012+1 +0.01 +7.05 +0.05 +0.05 TMO‑Non +0.04
NUM440+1 +4.29 +0.45 +0.05 +8.59 TMO‑Non +66.86
KRS245+1 +86.31 +137.71 +29.81 +45.41 TMO‑Non TMO‑Non
PUZ133+3 +4.30 +0.46 +13.16 +1.32 TMO‑Non TMO‑Non
KRS208+1 +95.21 +113.42 +31.61 +38.06 TMO‑Non TMO‑Non
HWV113+1 +5.73 +75.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS250+1 +91.55 +113.37 +40.95 +58.49 TMO‑Non TMO‑Non
NUM449+1 +4.28 +0.46 +0.05 +0.04 TMO‑Non +0.05
SWB023+3 +84.05 +86.48 TMO‑Non TMO‑Non +2.99 TMO‑Non
LCL884+1 +4.29 +0.39 +0.89 +0.15 TMO‑Non +0.05
KRS225+1 +103.68 +130.71 +32.22 +38.77 TMO‑Non TMO‑Non
LCL885+1 +4.29 +0.46 +0.04 +0.04 TMO‑Non +0.05
KRS228+1 +108.74 +94.71 +33.85 +38.92 TMO‑Non TMO‑Non
PRO013+3 +4.29 +0.47 +13.12 +2.95 TMO‑Non +15.15
LCL637+1.005 +191.28 +1.46 +37.77 TMO‑Non +0.76 +82.88
LCL886+1 +4.29 +0.47 +0.04 +0.04 TMO‑Non +0.05
CSR155+1 +0.04 +7.23 +3.61 TMO‑Non TMO‑Non TMO‑Non
NUM448+1 +4.30 +0.42 +0.03 +0.04 TMO‑Non +0.85
KRS221+1 +82.48 +112.25 +26.05 +38.55 TMO‑Non TMO‑Non
LCL569+1 +4.29 +0.45 +0.04 +40.34 TMO‑Non TMO‑Non
KRS204+1 +80.56 +125.31 +32.44 +38.16 TMO‑Non TMO‑Non
NUM446+1 +4.29 +0.42 +0.94 +0.04 TMO‑Non TMO‑Non
KRS212+1 +107.06 +125.57 +30.52 +37.91 TMO‑Non TMO‑Non
GEG001+1 +6.08 +2.17 +27.27 TMO‑Non +0.81 TMO‑Non
KRS247+1 +114.29 +108.04 +43.23 +40.28 TMO‑Non TMO‑Non
LCL576+1 +4.29 +0.41 +0.05 +31.40 TMO‑Non TMO‑Non
SWB027+3 +44.76 +47.36 TMO‑Non TMO‑Non +3.22 TMO‑Non
PRO007+3 +4.30 +0.47 +31.45 +53.93 TMO‑Non +134.22
MED012+1 +0.05 +7.11 +1.08 +30.42 TMO‑Non +9.12
HWV079+1 +4.78 +74.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS237+1 +81.89 +140.33 +29.34 +37.50 TMO‑Non TMO‑Non
NUM439+1 +4.29 +0.43 +2.62 +1.01 TMO‑Non +220.19
KRS184+1 +92.87 +98.42 +22.63 +37.86 TMO‑Non TMO‑Non
PRO007+1 +4.30 +0.46 +45.66 +37.43 TMO‑Non TMO‑Non
LCL675+1.005 +216.90 +1.28 +6.13 TMO‑Non +152.74 +55.26
NUM441+1 +4.35 +0.47 +3.71 +31.80 TMO‑Non TMO‑Non
GEO353+1 +0.01 +7.07 +0.04 +0.05 TMO‑Non +2.43
COM014+4 +4.28 +0.44 +0.04 +0.44 TMO‑Non +11.08
KRS271+1 +41.56 +104.94 +46.36 +37.85 TMO‑Non TMO‑Non
LCL565+1 +4.30 +0.46 +33.28 TMO‑Non TMO‑Non TMO‑Non
KRS210+1 +76.68 +110.93 +29.80 +38.04 TMO‑Non TMO‑Non
LAT385+1 +4.29 +0.42 +0.04 +0.04 TMO‑Non TMO‑Non
KRS209+1 +88.08 +110.19 +30.98 +37.93 TMO‑Non TMO‑Non
KLE136+1 +4.31 +0.46 +12.65 +11.37 TMO‑Non TMO‑Non
SWB034+1 +2.50 +10.18 +235.27 TMO‑Non +3.01 TMO‑Non
NUM437+1 +4.29 +0.44 +0.04 +0.05 TMO‑Non +85.59
KRS176+1 +0.01 +7.08 +0.05 +0.04 +0.05 TMO‑Non
HWV071+1 +4.70 +74.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS197+1 +89.36 +103.78 +40.95 +44.03 TMO‑Non TMO‑Non
LAT386+1 +4.30 +0.45 +0.04 +0.04 TMO‑Non TMO‑Non
SWB030+3 +3.10 +9.56 +251.93 TMO‑Non +1.78 TMO‑Non
LAT384+1 +4.28 +0.38 +0.90 +0.04 TMO‑Non +0.58
KRS207+1 +90.62 +102.95 +48.71 +38.14 TMO‑Non TMO‑Non
NUM445+5 +4.30 +0.45 +1.18 +0.04 TMO‑Non +140.23
KRS206+1 +77.81 +125.69 +39.36 +38.07 TMO‑Non TMO‑Non
HAL005+1 +4.27 +0.47 +6.56 TMO‑Non TMO‑Non TMO‑Non
KRS230+1 +88.56 +109.44 +29.42 +39.86 TMO‑Non TMO‑Non
HWV073+1 +4.92 +74.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS213+1 +97.48 +115.60 +50.46 +38.04 TMO‑Non TMO‑Non
HWV072+1 +7.37 +76.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL657+1.005 +191.33 +1.49 +7.21 TMO‑Non +151.81 +30.20
PRO013+2 +4.33 +0.47