Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for THF

THF/300 Satallax
 2.1
LEO‑II
 1.2.8
LEO‑II
 1.2
Isabelle
 2011
TPS
 3.110228S1a
PUZ108^5* 184.70 TMO‑Non TMO‑Non +146.21 0.75
SYO549^1* 0.00 +3.28 +4.19 +6.16 0.41
NUM809^5* 14.55 TMO‑Non TMO‑Non TMO‑Non 0.36
SYO527^1* 0.04 +0.00 +0.02 +4.76 GUP‑Non
PUZ107^5* TMO‑Non +0.08 +0.06 +2.06 12.59
SET201^5 0.00 +0.03 +0.03 +3.00 0.32
SEV181^5* 0.00 UNK‑Non TMO‑Non +2.33 21.65
SYN049^5 0.02 +0.02 +0.02 +2.80 0.64
SEV116^5* 0.00 TMO‑Non UNK‑Non +2.30 39.11
NUM784^1 0.00 +0.02 +0.03 +1.98 0.51
SEV432^1* 14.44 +0.01 +0.02 +4.06 GUP‑Non
NUM728^1 0.00 +0.01 +0.01 +2.18 0.26
ALG260^1* 22.20 +0.88 +0.55 +229.53 TMO‑Non
SEV140^5 TMO‑Non +256.93 +54.24 +2.34 283.79
SYO365^5* 0.00 +0.04 TMO‑Non +3.91 0.38
NUM694^1 0.00 +0.02 +0.02 +2.59 0.35
SYO538^1* 0.05 +1.17 +1.00 +2.43 GUP‑Non
NUM698^1 0.00 +0.09 +0.08 +2.63 0.67
SEV179^5* 0.00 UNK‑Non UNK‑Non +2.41 14.39
SYO377^5 0.00 +0.12 TMO‑Non +2.47 4.38
SEV299^5* 0.60 TMO‑Non TMO‑Non +2.47 0.33
NUM787^1 0.00 +0.01 +0.00 +2.38 0.57
SEV430^1* 85.11 +0.01 +0.01 +4.06 GUP‑Non
SET630^5 0.00 +0.02 +0.03 +2.60 0.26
SYO547^1* 0.00 UNK‑Non TMO‑Non +2.16 0.38
NUM786^1 0.00 +0.03 +0.02 +3.11 0.42
ALG253^2* 14.84 +0.34 +0.27 TMO‑Non 67.66
SET200^5 0.00 +0.01 +0.03 +2.37 0.57
ALG257^1* 0.98 +0.94 +0.68 +284.92 125.04
SYN059^5 0.00 +0.28 +0.27 +2.36 0.35
SYO543^1* 0.00 +1.11 +2.10 +2.44 GUP‑Non
SYN356^5 0.00 +0.02 +0.02 +2.30 0.30
ALG263^1* 5.31 +0.97 +0.71 +292.22 TMO‑Non
SEV238^5 0.04 TMO‑Non TMO‑Non +2.07 1.13
SEV292^5* 0.04 UNK‑Non TMO‑Non +2.58 14.65
SET633^5 0.00 +0.04 +0.01 +2.41 0.51
SEV293^5* 233.76 +0.45 +0.55 TMO‑Non 0.75
NUM767^1 0.43 +0.01 +0.02 +2.08 0.29
NUM808^5* 3.45 TMO‑Non TMO‑Non TMO‑Non 1.35
SEV384^5 TMO‑Non +0.53 +0.93 +22.39 0.31
SYO540^1* 0.00 +0.36 +0.54 +2.11 GUP‑Non
SEV218^5 0.64 +0.08 +0.09 +2.25 GUP‑Non
SEV289^5* 0.00 TMO‑Non TMO‑Non +2.00 1.36
SYO387^5 2.04 +1.34 +1.05 +2.61 GUP‑Non
ALG264^1* 5.55 +1.44 +0.80 +41.34 TMO‑Non
SYO264^5 0.05 +7.72 TMO‑Non +38.96 0.30
SYO542^1* 4.43 +1.80 +7.62 +2.02 GUP‑Non
SYO370^5 0.00 +0.07 +0.04 +6.53 0.37
SYO379^5* 0.59 UNK‑Non UNK‑Non +1.97 16.47
NUM749^1 0.00 +0.01 +0.01 +2.09 0.25
SEV225^5* 0.00 +0.01 +0.01 UNK‑Non 0.25
SYN377^5 0.00 +0.03 +0.05 +1.99 0.46
SYO541^1* 4.44 +2.32 +3.62 +2.00 GUP‑Non
NUM692^1 0.00 +0.01 +0.01 +2.02 0.76
SEV300^5* 233.84 +0.76 +0.34 TMO‑Non 117.64
NUM736^1 0.00 +0.00 +0.02 +2.27 0.38
NUM830^5* TMO‑Non +0.08 +0.08 UNK‑Non 81.54
SYO391^5 2.20 +4.23 +3.23 +2.54 TMO‑Non
ALG255^1* 0.01 +0.52 +0.43 +293.81 17.46
SYN364^5 1.15 +0.02 +0.02 +2.04 0.96
ALG259^1* 0.93 +0.83 +0.49 +262.23 16.65
NUM785^1 0.00 +0.01 +0.02 +2.42 0.44
ALG254^1* 0.01 +0.64 +0.84 +284.29 16.07
NUM689^1 0.00 +2.35 +3.08 +2.43 0.33
SEU550^2* 1.42 +0.07 +0.05 +1.94 9.43
SET585^5 0.00 +0.01 +0.02 +2.52 0.26
SEV434^1* 0.02 +0.16 +0.16 UNK‑Non 8.62
NUM757^1 1.94 +0.04 +0.02 +2.27 0.99
ALG263^3* 22.18 +0.98 +1.14 +220.06 TMO‑Non
SYO310^5 6.95 +0.36 UNK‑Non +54.19 GUP‑Non
SET747^4 0.00 +0.02 +0.01 +2.12 0.43
SET043^5 0.00 +0.02 +0.01 +2.51 0.39
SET096^1 0.00 +0.04 +0.06 +40.23 8.67
SEU537^2 0.00 +0.02 +0.02 +1.95 0.40
LCL603^1 4.43 +0.08 +0.08 TMO‑Non 0.99
CSR135^1 0.00 +0.01 +0.01 +3.08 0.29
SEV037^5 13.81 TMO‑Non TMO‑Non +2.91 TMO‑Non
NUM690^1 0.00 +2.30 UNK‑Non +2.53 0.44
GEG008^1 0.41 +0.41 +0.55 +3.35 TMO‑Non
NUM666^1 0.59 +3.18 +2.82 +2.55 0.37
SEU568^1 1.10 +35.97 +36.36 +17.68 62.99
SYO180^5 0.00 +0.95 +0.87 +2.04 TMO‑Non
SEU899^5 0.00 +0.04 +0.08 +2.68 0.42
SET586^5 0.00 +0.01 +0.00 +2.31 0.25
SEU925^5 0.00 +0.02 +0.00 +1.91 0.29
SET624^5 0.00 +0.06 +0.05 +2.37 0.37
SEU884^5 0.00 +0.01 +0.02 +2.60 0.40
LCL732^5 0.00 +0.01 +0.01 +2.33 0.25
NUM703^1 0.00 +0.01 +0.01 +2.61 0.26
NUM756^1 1.97 +0.04 +0.03 +2.28 0.55
LCL719^1 0.00 +0.00 +0.00 +3.16 0.27
SYN355^5 0.00 +0.02 +0.01 +1.94 0.26
NUM659^1 0.00 +0.01 +0.02 +2.05 0.44
CSR137^1 0.29 +0.02 +0.03 +2.90 0.43
LCL581^1 0.00 +0.01 +0.01 +2.14 0.32
SEV054^5 22.17 TMO‑Non TMO‑Non TMO‑Non 0.60
SEV121^5 0.00 +0.06 +0.27 +22.16 11.28
SEU834^5 0.00 +0.01 +0.01 +2.54 0.28
LCL704^1 0.00 +0.04 +0.03 +2.99 9.40
SET629^5 0.00 +0.01 +0.01 +2.47 0.26
SET607^5 0.00 +0.01 +0.01 +40.37 0.42
NUM791^1 0.00 +0.01 +0.01 +2.59 0.26
SEU657^2 107.45 +0.03 +0.04 +2.50 GUP‑Non
CSR125^1 0.00 +0.06 +0.06 +2.27 4.25
SEU761^2 0.59 +0.09 +0.04 +2.05 3.06
SYN382^5 1.13 +0.01 +0.01 +2.00 0.39
CSR142^2 14.78 +0.27 +0.67 +74.39 TMO‑Non
NUM759^1 264.06 +0.01 +0.01 +2.58 8.87
SEU459^1 0.00 +0.01 +0.01 +2.71 0.27
NUM762^1 TMO‑Non +0.03 +0.02 +2.06 67.43
SEU462^1 0.00 +0.04 +0.06 +2.50 0.37
SEV252^5 24.93 TMO‑Non TMO‑Non +2.10 GUP‑Non
LCL597^1 0.59 +13.72 +12.86 +42.33 0.35
SYO173^5 TMO‑Non +0.11 +0.06 +25.01 GUP‑Non
SET601^5 0.00 +0.04 +0.03 +41.12 0.40
SEV406^5 0.00 +0.01 +0.01 +1.96 0.33
NUM699^1 0.00 +0.01 +0.02 +2.11 0.28
PUZ082^1 0.00 +0.13 +0.07 UNK‑Non 4.31
PUZ093^5 0.02 +12.36 +14.05 +2.25 1.45
SYO376^5 0.00 +6.52 +9.26 UNK‑Non 18.56
SEU712^2 0.57 +0.01 +0.01 +2.23 0.34
CSR143^1 0.01 TMO‑Non +0.25 +2.67 GUP‑Non
LCL608^1 0.00 +0.01 +0.02 +2.75 0.39
SEV064^5 12.71 UNK‑Non UNK‑Non TMO‑Non 8.62
LCL625^1 6.42 TMO‑Non TMO‑Non +60.10 0.54
SYO209^5 3.42 UNK‑Non TMO‑Non TMO‑Non 0.29
SEU552^2 0.00 +0.01 +0.01 +1.96 0.36
SEV148^5 90.14 UNK‑Non UNK‑Non +2.51 TMO‑Non
NUM687^1 0.59 +0.01 +0.01 +2.00 0.43
CSR131^1 4.65 +9.90 +17.56 UNK‑Non GUP‑Non
LCL580^1 0.00 +0.01 +0.01 +2.10 0.25
SEV155^5 TMO‑Non UNK‑Non UNK‑Non +2.56 TMO‑Non
SEU722^2 0.00 +0.01 +0.02 +2.04 0.30
CSR120^1 0.00 +0.14 +0.13 UNK‑Non 4.30
SEV002^5 177.84 +10.16 +6.26 +2.10 93.54
CSR148^1 0.07 +0.14 +0.09 UNK‑Non 8.50
LCL583^1 0.00 +0.01 +0.02 +2.15 0.29
SYO026^1 0.00 +2.65 +2.58 UNK‑Non 3.24
SEV223^5 0.53 TMO‑Non TMO‑Non +72.76 GUP‑Non
SYO373^5 0.00 +0.10 +0.09 UNK‑Non 4.29
SYO235^5 0.00 +0.02 +0.21 TMO‑Non 0.27
CSR128^1 0.00 +0.12 +0.18 UNK‑Non 4.40
NUM709^1 0.05 +0.01 +0.01 +2.40 0.26
SEU926^5 0.00 TMO‑Non +120.36 +51.46 0.41
LCL714^1 1.39 +0.13 +0.10 +145.71 0.40
PUZ081^3 1.40 UNK‑Non +0.03 +2.36 3.06
LCL701^1 0.00 +0.02 +0.01 +126.92 0.56
SEV154^5 90.55 UNK‑Non UNK‑Non +2.39 TMO‑Non
LCL586^1 0.00 +0.00 +0.01 +2.21 0.33
CSR144^1 0.04 +75.55 +0.79 +112.83 84.40
LCL873^1 0.25 +0.11 +0.09 +2.67 105.79
NUM721^1 0.00 +27.83 UNK‑Non +2.12 0.27
ALG001^5 1.09 +0.04 +0.02 +2.04 0.30
CSR123^1 1.51 +0.17 +0.14 UNK‑Non 4.41
LCL602^1 4.57 +0.11 +0.11 TMO‑Non 7.36
SYO033^1 TMO‑Non UNK‑Non TMO‑Non +2.70 0.28
SET143^5 0.00 +0.01 +0.01 +35.94 0.26
SEV058^5 3.90 +168.33 UNK‑Non TMO‑Non 33.46
SEU497^1 0.02 +0.09 +0.09 +2.54 76.22
SEV245^5 1.04 TMO‑Non TMO‑Non +1.93 14.79
SEU551^3 0.00 +0.01 +0.01 +2.10 0.31
CSR149^1 0.42 +0.11 +0.08 UNK‑Non 8.51
SEU956^5 0.00 +0.01 +0.01 +2.05 1.21
LCL726^5 1.41 TMO‑Non UNK‑Non +85.96 60.21
PUZ092^5 0.16 +0.17 +0.12 +2.05 TMO‑Non
SYO560^1* 0.01 TMO‑Non UNK‑Non TMO‑Non GUP‑Non
SET580^3 0.00 +0.04 +0.04 +2.04 0.30
SYO559^1* 0.11 UNK‑Non UNK‑Non TMO‑Non GUP‑Non
NUM681^1 4.07 +0.03 +0.03 +2.17 147.13
SYO548^1* 6.50 UNK‑Non UNK‑Non UNK‑Non GUP‑Non
NUM706^1 0.00 +0.01 +0.01 +2.15 0.30
SYO332^5 7.50 UNK‑Non UNK‑Non TMO‑Non 77.28
LCL866^1 0.00 +0.18 +0.12 +3.47 1.75
LCL736^5 1.41 TMO‑Non UNK‑Non TMO‑Non GUP‑Non
LCL718^1 0.00 +0.08 +0.09 +146.66 0.53
SEV318^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU761^1 8.42 TMO‑Non UNK‑Non +231.10 TMO‑Non
SYO272^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.58
SET144^5 0.00 +0.01 +0.02 +41.37 0.43
SYO364^5 91.14 UNK‑Non UNK‑Non TMO‑Non GUP‑Non
NUM801^1 1.40 +0.33 +0.21 +61.99 0.45
SEV312^5 TMO‑Non UNK‑Non TMO‑Non TMO‑Non 19.30
SYN045^4 0.02 +0.37 +0.47 +2.29 91.38
SEV072^5 TMO‑Non UNK‑Non UNK‑Non TMO‑Non 57.05
CSR145^2 168.99 +151.37 +1.73 +204.49 TMO‑Non
LCL740^5 1.38 TMO‑Non TMO‑Non TMO‑Non 31.03
SET672^3 0.00 +0.02 +0.03 +2.65 0.29
SEU940^5 16.13 TMO‑Non TMO‑Non TMO‑Non 39.53
SEV288^5 0.00 +0.04 +0.11 UNK‑Non 0.41
SYO374^5 TMO‑Non +15.65 +14.49 UNK‑Non GUP‑Non
SYO007^1 0.00 +0.07 +0.06 +20.00 0.33
SEV050^5 TMO‑Non UNK‑Non TMO‑Non TMO‑Non 13.48
SEU570^2 0.59 +0.01 +0.03 +2.16 0.32
SYO288^5 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 0.35
SET640^3 0.00 +0.02 +0.01 +2.58 0.29
SEV100^5 12.72 UNK‑Non UNK‑Non TMO‑Non GUP‑Non
SET591^5 0.00 +0.02 +0.02 +30.67 0.26
SEV257^5 98.50 UNK‑Non TMO‑Non +79.81 4.32
SEU961^5 0.00 +0.05 +0.04 +2.18 41.26
SYN997^1 0.00 TMO‑Non TMO‑Non UNK‑Non GUP‑Non
SEV046^5 13.81 +0.23 +0.43 +2.14 GUP‑Non
SET008^5 0.00 +0.00 +0.00 +40.05 0.26
ALG247^2* TMO‑Non UNK‑Non TMO‑Non +235.16 4.61
ALG261^1* 30.25 +0.62 +0.56 +235.31 TMO‑Non
SEV302^5* 0.60 UNK‑Non UNK‑Non +2.07 GUP‑Non
ALG264^3* 74.25 +3.48 +2.88 TMO‑Non TMO‑Non
AGT033^1* 3.40 +0.31 +0.29 +196.45 TMO‑Non
SYO536^1* 0.00 TMO‑Non TMO‑Non +2.10 GUP‑Non
ALG279^5* TMO‑Non +0.05 +0.04 UNK‑Non 166.09
AGT028^1* 7.54 +0.92 +0.75 TMO‑Non TMO‑Non
SYO530^1* 0.00 UNK‑Non TMO‑Non +1.92 GUP‑Non
SYO534^1* 0.00 TMO‑Non TMO‑Non +2.13 GUP‑Non
AGT035^1* 9.50 +215.90 +62.67 TMO‑Non TMO‑Non
SEV303^5* 0.59 UNK‑Non UNK‑Non +2.19 GUP‑Non
ALG267^1* TMO‑Non TMO‑Non UNK‑Non +59.01 153.37
LCL877^2* 22.24 +0.06 +0.08 +79.36 9.59
NUM812^5* TMO‑Non +150.12 +120.34 +22.43 15.58
SYO535^1* 0.01 TMO‑Non TMO‑Non +1.97 GUP‑Non
ALG277^5* TMO‑Non +0.04 +0.05 UNK‑Non 149.35
SYO378^5* 1.41 UNK‑Non UNK‑Non +2.37 GUP‑Non
CSR143^2 14.78 UNK‑Non UNK‑Non +196.36 TMO‑Non
SEU650^1 1.14 UNK‑Non TMO‑Non +55.69 TMO‑Non
ALG283^5 TMO‑Non +0.05 +0.03 +3.11 GUP‑Non
SEU813^1 40.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU698^1 0.09 TMO‑Non TMO‑Non +102.40 TMO‑Non
SEU584^1 8.28 +127.38 +241.26 +17.48 TMO‑Non
SEU724^1 11.90 TMO‑Non TMO‑Non +136.27 TMO‑Non
SYN391^4 4.46 +5.62 +5.06 +5.73 GUP‑Non
CSR124^2 0.01 +0.53 +61.09 TMO‑Non TMO‑Non
SYO245^5 5.46 UNK‑Non TMO‑Non +2.13 GUP‑Non
CSR146^3 0.32 +1.52 +3.07 +34.21 0.38
SEU801^2 0.00 UNK‑Non TMO‑Non +2.01 0.30
SYO050^2 0.60 UNK‑Non UNK‑Non +103.57 0.41
LCL694^1 0.05 +0.10 +0.15 TMO‑Non TMO‑Non
SWV441^1 16.88 +1.11 +2.44 TMO‑Non TMO‑Non
SEU827^1 0.00 +0.19 +0.20 UNK‑Non 0.43
NUM417^1 0.01 TMO‑Non TMO‑Non +96.17 TMO‑Non
NUM418^1 0.02 TMO‑Non TMO‑Non +62.07 0.29
SEU490^1 1.41 UNK‑Non UNK‑Non +2.57 144.35
NUM713^1 TMO‑Non +0.07 +0.03 +2.05 89.22
NUM696^1 TMO‑Non +0.04 +0.03 +25.17 TMO‑Non
SEU758^1 109.94 TMO‑Non TMO‑Non +231.05 TMO‑Non
SWV444^1 1.62 +1.07 +11.27 TMO‑Non TMO‑Non
SEU620^1 0.03 TMO‑Non UNK‑Non +34.49 TMO‑Non
AGT032^1* 8.15 +230.92 +63.17 TMO‑Non TMO‑Non
SYO532^1* TMO‑Non UNK‑Non TMO‑Non TMO‑Non 68.41
AGT038^1* 0.01 +0.33 +0.42 TMO‑Non TMO‑Non
AGT041^1* 0.00 +0.32 +0.31 TMO‑Non TMO‑Non
ALG266^2* TMO‑Non +0.36 +0.21 TMO‑Non TMO‑Non
SEU969^5* 158.84 TMO‑Non TMO‑Non TMO‑Non 0.84
AGT039^1* 0.57 +0.56 +0.57 TMO‑Non TMO‑Non
SYO556^1* 0.02 UNK‑Non UNK‑Non TMO‑Non GUP‑Non
ALG268^2* TMO‑Non +0.42 +0.22 TMO‑Non TMO‑Non
SYO555^1* 0.01 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL879^1* 23.16 +0.07 +0.06 TMO‑Non 9.88
SYO515^1* 0.00 UNK‑Non UNK‑Non UNK‑Non 18.79
ALG258^2* TMO‑Non +0.10 +0.06 UNK‑Non TMO‑Non
SYO557^1* 0.00 UNK‑Non UNK‑Non UNK‑Non GUP‑Non
ALG265^2* TMO‑Non TMO‑Non TMO‑Non TMO‑Non 1.69
ALG251^2* TMO‑Non +0.33 +0.31 TMO‑Non TMO‑Non
AGT037^2* 0.00 +0.14 +0.16 TMO‑Non 220.20
SYO544^1* 0.63 UNK‑Non TMO‑Non TMO‑Non GUP‑Non
SEU557^2* GUP‑Non TMO‑Non TMO‑Non +2.17 14.61
AGT032^2* TMO‑Non +0.31 +0.21 TMO‑Non TMO‑Non
AGT029^1* TMO‑Non +1.11 +0.93 TMO‑Non TMO‑Non
AGT040^1* 4.43 +0.58 +0.76 TMO‑Non TMO‑Non
SYO558^1* 0.00 UNK‑Non UNK‑Non UNK‑Non GUP‑Non
AGT028^2* 4.41 +0.21 +0.17 TMO‑Non TMO‑Non
NUM811^5* TMO‑Non UNK‑Non TMO‑Non TMO‑Non 31.18
AGT031^2* TMO‑Non +0.31 +0.20 TMO‑Non TMO‑Non
ALG276^5* TMO‑Non +13.75 +2.50 UNK‑Non TMO‑Non
SEV291^5* TMO‑Non UNK‑Non UNK‑Non TMO‑Non 11.15
NUM810^5* TMO‑Non TMO‑Non TMO‑Non TMO‑Non 30.39
AGT033^2* 1.57 +0.15 +0.14 TMO‑Non 81.09
ALG273^5* TMO‑Non +0.14 +0.10 UNK‑Non GUP‑Non
LCL872^1* 0.59 +0.09 +0.08 +195.14 10.05
ALG278^5* TMO‑Non +0.02 +0.03 UNK‑Non GUP‑Non
ALG274^5* TMO‑Non +0.24 +0.18 UNK‑Non GUP‑Non
AGT034^2* TMO‑Non +0.33 +0.24 TMO‑Non TMO‑Non
SYO545^1* 0.01 UNK‑Non TMO‑Non TMO‑Non GUP‑Non
SEU947^5* TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
NUM827^5* TMO‑Non TMO‑Non TMO‑Non UNK‑Non 70.16
LCL880^1* 22.18 +0.06 +0.06 +79.63 9.51
ALG258^1* TMO‑Non +5.00 +2.48 TMO‑Non TMO‑Non
ALG271^5* TMO‑Non +0.15 +0.09 UNK‑Non GUP‑Non
LCL878^1* 6.23 +0.04 +0.05 +251.19 0.43
SYO546^1* 0.00 UNK‑Non TMO‑Non TMO‑Non GUP‑Non
ALG272^5* TMO‑Non +0.09 +0.08 UNK‑Non TMO‑Non
AGT037^1* 4.42 +0.63 +0.59 +261.86 TMO‑Non
AGT031^1* TMO‑Non +231.40 +62.82 TMO‑Non TMO‑Non
ALG268^3* TMO‑Non +1.37 +0.79 TMO‑Non TMO‑Non
SEV224^5 TMO‑Non UNK‑Non UNK‑Non +56.51 GUP‑Non
SEU999^5 TMO‑Non +9.37 +3.85 +2.16 TMO‑Non
SEU760^1 123.41 TMO‑Non TMO‑Non +205.85 TMO‑Non
SWV428^2 71.73 +22.88 +20.28 TMO‑Non TMO‑Non
SET597^5 0.01 TMO‑Non TMO‑Non TMO‑Non 37.40
SEU875^5 TMO‑Non TMO‑Non TMO‑Non +2.09 GUP‑Non
SEU483^1 TMO‑Non TMO‑Non TMO‑Non +2.67 41.50
ALG294^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU701^2 TMO‑Non TMO‑Non TMO‑Non +9.55 TMO‑Non
Solved 246/300 208/300 204/300 201/300 190/300
Av. CPU Time 12.04 8.97 4.95 36.55 18.69
Solutions 0/300 208/300 204/300 201/300 0/300
μEfficiency 604.56 597.03 590.20 200.21 393.86
SOTAC 0.32 0.26 0.26 0.28 0.30
New Solved 73/105 65/105 64/105 47/105 46/105
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for TNT

TNT/100 Nitpick
 2011
Refute
 2011
Satallax
 2.1
PUZ126^5* +5.07 +2.57 TMO‑Non
SYN985^1 +4.13 +2.53 TMO‑Non
PUZ097^5* +3.88 +2.62 TMO‑Non
SYO339^5 +6.34 +1.99 TMO‑Non
PUZ105^5* +3.71 +2.58 TMO‑Non
SYO316^5 +5.49 +2.82 TMO‑Non
PUZ117^5* +4.39 +2.40 TMO‑Non
SYO313^5 +3.79 +2.42 TMO‑Non
PUZ099^5* +4.28 +2.24 TMO‑Non
SYO297^5 +4.22 +2.36 TMO‑Non
PUZ116^5* +3.84 +2.30 TMO‑Non
SYO294^5 +4.06 +1.85 TMO‑Non
SEV304^5* +5.96 +4.61 TMO‑Non
SYN993^1 +3.80 +2.17 TMO‑Non
PUZ125^5* +5.03 +2.37 TMO‑Non
SYO318^5 +4.52 +2.35 TMO‑Non
PUZ096^5* +6.57 +2.86 TMO‑Non
SYO333^5 +8.42 +2.13 TMO‑Non
PUZ124^5* +6.50 +2.41 TMO‑Non
SYO165^5 +4.88 +1.98 TMO‑Non
PUZ106^5* +6.81 +2.05 TMO‑Non
SEV336^5 UNK‑Non UNK‑Non 0.00
PUZ123^5* +4.07 +2.45 TMO‑Non
SYO340^5 +14.84 TMO‑Non TMO‑Non
PUZ118^5* +4.36 +2.01 TMO‑Non
SEV350^5 UNK‑Non UNK‑Non 0.00
PUZ121^5* +7.62 TMO‑Non 9.66
SYO157^5 UNK‑Non UNK‑Non 0.00
SEV298^5* +5.19 +2.39 TMO‑Non
SEV340^5 UNK‑Non UNK‑Non 0.00
PUZ119^5* +3.28 +2.36 TMO‑Non
SYO137^5 UNK‑Non UNK‑Non 0.00
PUZ101^5* +3.36 +2.01 TMO‑Non
SYO126^5 UNK‑Non UNK‑Non 0.00
PUZ115^5* +4.26 +1.96 TMO‑Non
SYO121^5 UNK‑Non UNK‑Non 0.00
PUZ120^5* +3.80 +1.85 TMO‑Non
CSR142^3 UNK‑Non UNK‑Non 0.00
SEU880^5 +12.01 +4.93 TMO‑Non
CSR143^3 UNK‑Non UNK‑Non 0.00
LCL633^1 +4.36 +2.43 TMO‑Non
SEV020^5 +3.26 +1.99 TMO‑Non
SYO451^4 +20.96 +19.38 TMO‑Non
SYO473^1 +4.42 +3.09 TMO‑Non
SYO452^2 +3.74 +2.53 TMO‑Non
SYO472^2 +4.11 +2.68 TMO‑Non
LCL617^1 +2.89 +2.02 TMO‑Non
SEV348^5 +3.15 +2.08 0.58
SYO469^1 +3.64 +2.54 TMO‑Non
SYO467^2 +3.91 +2.49 TMO‑Non
LCL598^1 +3.41 +3.09 TMO‑Non
SEV251^5 +3.08 +2.15 UNK‑Non
SYO459^3 +4.58 +2.58 TMO‑Non
SYO453^1 +4.33 +2.73 TMO‑Non
SYO451^3 +3.38 +3.15 TMO‑Non
SYO453^3 +5.47 +3.11 TMO‑Non
SYO451^1 +3.60 +2.87 TMO‑Non
SYO450^1 +4.46 +2.96 TMO‑Non
SYO464^2 +3.32 +3.38 TMO‑Non
SYO456^1 +3.78 +2.50 TMO‑Non
SYO453^2 +3.87 +2.54 TMO‑Non
SYO470^2 +4.72 +2.48 TMO‑Non
LCL599^1 +4.78 +2.59 TMO‑Non
SYO452^4 +41.51 +42.03 TMO‑Non
SYO467^4 +35.27 +22.13 TMO‑Non
SYN995^1 +2.64 +1.95 TMO‑Non
SYO471^2 +3.66 +2.40 TMO‑Non
SYO473^3 +6.53 +4.91 TMO‑Non
SYO454^2 +4.68 +3.20 TMO‑Non
SYO054^2 +4.75 +2.48 TMO‑Non
SYO453^4 +34.37 +49.54 TMO‑Non
SYO473^4 +31.76 +29.94 TMO‑Non
SEV172^5 +3.50 +2.36 TMO‑Non
SEU911^5 +10.21 +2.68 TMO‑Non
SYO450^2 +4.74 +3.14 TMO‑Non
SYO051^2 +3.36 +2.39 TMO‑Non
SYO468^2 +4.41 +3.25 TMO‑Non
SEU966^5 +3.01 +2.06 TMO‑Non
SEV296^5* UNK‑Non TMO‑Non TMO‑Non
PUZ095^5* TMO‑Non +1.98 TMO‑Non
SYO491^6 TMO‑Non TMO‑Non 0.01
SYO489^6 TMO‑Non TMO‑Non 0.00
SYN916^4 TMO‑Non TMO‑Non 0.00
SEV352^5 UNK‑Non UNK‑Non 0.60
SYO461^5 TMO‑Non TMO‑Non 0.00
SYN977^4 TMO‑Non TMO‑Non 0.29
SEV360^5 UNK‑Non UNK‑Non 0.60
SYO493^6 TMO‑Non TMO‑Non 0.00
SEV358^5 UNK‑Non UNK‑Non 0.58
SYO492^6 TMO‑Non TMO‑Non 0.00
SYO486^6 TMO‑Non TMO‑Non 0.00
SYO471^5 TMO‑Non TMO‑Non 0.01
SYO454^5 TMO‑Non TMO‑Non 0.00
SYO467^5 TMO‑Non TMO‑Non 0.61
SYO461^6 TMO‑Non TMO‑Non 0.00
SYO472^6 TMO‑Non TMO‑Non 0.00
SYO472^5 TMO‑Non TMO‑Non 0.00
SYO511^1 UNK‑Non UNK‑Non 0.00
SEV316^5 +5.53 TMO‑Non TMO‑Non
CSR145^3 +3.52 +2.44 TMO‑Non
Solved 71/100 69/100 29/100
Av. CPU Time 6.75 4.75 0.45
Solutions 71/100 69/100 0/100
μEfficiency 155.19 261.26 281.04
SOTAC 0.51 0.50 0.96
New Solved 19/21 19/21 1/21
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for TFA

TFA/100 SPASS+T
 2.2.14
Z3
 2.20
CVC3
 2.4
H2WO4
 11.07
MetiTarski
 1.8
SPASS‑XDB
 0.8
MELIA
 0.1.2
NUM894=1 +0.62 0.05 0.30 0.16 GUP‑Non GUP‑Non 1.38
ARI563=1 +0.17 0.05 0.30 0.16 +0.19 +0.25 GUP‑Non
ARI545=1 +0.20 0.05 0.18 0.15 GUP‑Non +0.44 1.15
ARI208=1 +0.26 0.05 0.31 0.15 GUP‑Non +0.26 GUP‑Non
GEG021=1* +0.20 0.06 0.26 GUP‑Non +0.33 +0.29 TMO‑Non
ARI248=1 +0.19 0.05 0.29 0.15 +0.28 +0.30 GUP‑Non
SWW013=1 +3.84 2.92 1.45 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ARI402=1 +0.28 0.02 0.32 0.10 +0.20 +0.37 GUP‑Non
NUM900=1 +0.31 0.03 0.27 0.15 +0.45 GUP‑Non 1.16
ARI295=1 +0.17 0.05 0.16 0.13 +0.18 +0.25 GUP‑Non
SWW033=1 +4.57 38.50 1.82 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ARI287=1 +0.17 0.03 0.16 0.10 +0.29 +0.24 GUP‑Non
NUM890=1 +0.28 0.01 0.28 0.10 +0.18 +0.43 0.83
ARI286=1 +0.30 0.05 0.18 0.12 +0.29 +0.39 GUP‑Non
SWV997=1 +0.18 0.03 GUP‑Non UNK‑Non +10.11 TMO‑Non TMO‑Non
ARI302=1 +0.24 0.01 0.20 0.16 +0.17 +0.37 GUP‑Non
GEG024=1* +0.17 0.04 0.18 GUP‑Non GUP‑Non +0.47 TMO‑Non
ARI291=1 +0.28 0.04 0.21 0.10 +0.17 +0.37 GUP‑Non
NUM891=1 +0.19 0.05 0.27 0.10 +0.36 GUP‑Non 0.75
ARI244=1 +0.16 0.01 0.16 0.09 +0.17 +0.30 GUP‑Non
ARI115=1 +0.24 0.05 GUP‑Non 0.11 GUP‑Non +0.37 0.69
ARI439=1 +0.29 0.03 0.17 0.16 +0.21 +0.25 GUP‑Non
ARI547=1 +0.28 0.04 GUP‑Non 0.16 GUP‑Non +0.27 1.48
ARI450=1 +0.28 0.02 0.15 0.16 +0.18 +0.24 GUP‑Non
ARI114=1 +0.16 0.03 GUP‑Non 0.16 GUP‑Non +0.24 0.73
ARI253=1 +0.28 0.01 0.28 0.10 GUP‑Non +0.35 GUP‑Non
SWW002=1 +0.50 0.33 GUP‑Non GUP‑Non +217.52 TMO‑Non TMO‑Non
ARI339=1 +0.28 0.01 0.18 0.11 +0.20 +0.26 GUP‑Non
NUM893=1 +0.30 0.05 0.26 0.16 GUP‑Non +0.31 1.75
ARI459=1 +0.27 0.01 0.18 0.10 +0.28 +0.38 GUP‑Non
ARI612=1 +0.18 0.03 0.18 GUP‑Non GUP‑Non GUP‑Non UNK‑Non
ARI296=1 +0.18 0.01 0.24 0.10 +0.44 +0.27 GUP‑Non
ARI578=1 +0.25 0.01 GUP‑Non 0.11 GUP‑Non +0.25 1.11
ARI272=1 +0.17 0.03 0.18 0.10 GUP‑Non +0.25 GUP‑Non
SWW029=1 +15.74 89.09 GUP‑Non GUP‑Non +255.41 TMO‑Non TMO‑Non
ARI294=1 +0.29 0.01 0.27 0.12 GUP‑Non +0.38 GUP‑Non
SWW082=1 +10.95 17.31 GUP‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
ARI397=1 +0.20 0.01 0.19 0.10 +0.31 +0.38 GUP‑Non
DAT026=1 +0.19 0.02 0.17 GUP‑Non +3.89 TMO‑Non TMO‑Non
ARI389=1 +0.28 0.01 0.16 0.10 +0.45 +0.24 GUP‑Non
SWW090=1 +52.57 47.52 TMO‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
ARI351=1 +0.17 0.02 0.17 0.10 +0.27 +0.30 GUP‑Non
NUM918=1 +0.16 0.02 0.18 0.14 GUP‑Non GUP‑Non 1.13
ARI365=1 +0.18 0.03 0.17 0.15 +0.19 +0.29 GUP‑Non
SYO524=1 +0.29 0.02 0.19 GUP‑Non +3.75 TMO‑Non TMO‑Non
ARI394=1 +0.24 0.03 0.16 0.10 +0.17 +0.23 GUP‑Non
DAT012=1 +0.33 0.04 0.23 GUP‑Non +39.67 TMO‑Non TMO‑Non
ARI395=1 +0.29 0.02 0.17 0.15 +0.17 +0.24 GUP‑Non
DAT017=1 +0.19 0.01 0.19 GUP‑Non +5.34 TMO‑Non TMO‑Non
ARI364=1 +0.16 0.01 0.17 0.10 +0.18 +0.26 GUP‑Non
NUM916=1 +0.23 0.02 GUP‑Non 0.09 GUP‑Non GUP‑Non 0.99
ARI229=1 +0.28 0.01 GUP‑Non 0.15 GUP‑Non +0.37 GUP‑Non
DAT024=1 +0.28 0.01 0.33 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM904=1 +0.23 0.02 0.16 0.09 +0.19 +0.29 GUP‑Non
DAT004=1 +0.17 0.03 0.19 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM907=1 +0.26 0.02 0.16 0.10 GUP‑Non +0.30 GUP‑Non
SWW080=1 +109.27 TMO‑Non GUP‑Non GUP‑Non +264.32 TMO‑Non UNK‑Non
ARI344=1 +0.16 0.01 0.23 0.09 GUP‑Non +0.27 GUP‑Non
SWW075=1 +35.95 TMO‑Non GUP‑Non GUP‑Non +259.62 TMO‑Non UNK‑Non
NUM911=1 +0.20 0.01 0.16 0.10 +0.16 +0.25 GUP‑Non
GEG022=1* +0.35 0.03 0.33 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM903=1 +0.23 0.01 0.16 0.16 +0.16 GUP‑Non GUP‑Non
GEG025=1* +0.48 0.03 0.33 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM901=1 +0.17 0.02 0.22 0.10 +0.23 +0.38 GUP‑Non
DAT015=1 +0.17 TMO‑Non 0.31 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
ARI269=1 +0.19 0.03 0.18 0.10 GUP‑Non +0.30 GUP‑Non
DAT006=1 +0.23 0.03 GUP‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
ARI375=1 +0.17 0.02 0.27 0.09 +0.28 +0.24 GUP‑Non
DAT007=1 +0.18 0.07 GUP‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
ARI494=1 +0.17 0.02 0.18 0.09 +0.46 +0.31 GUP‑Non
DAT028=1 +0.38 0.02 0.18 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM908=1 +0.27 0.02 0.17 0.16 +0.18 +0.29 GUP‑Non
DAT039=1 +0.49 0.05 UNK‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM914=1 +0.25 0.03 0.27 0.10 +0.30 +0.32 GUP‑Non
NUM919=1 +0.20 0.01 0.17 0.12 GUP‑Non TMO‑Non TMO‑Non
NUM902=1 +0.28 0.01 0.23 0.16 +0.27 GUP‑Non GUP‑Non
ARI182=1 +0.24 0.02 0.17 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
ARI432=1 +0.18 0.02 0.22 0.15 +0.32 GUP‑Non GUP‑Non
NUM921=1 +0.25 0.02 0.24 GUP‑Non +0.17 TMO‑Non TMO‑Non
NUM910=1 +0.16 0.01 0.16 0.15 +0.28 GUP‑Non GUP‑Non
ARI185=1 +0.29 0.02 0.28 GUP‑Non GUP‑Non UNK‑Non TMO‑Non
ARI536=1 UNK‑Non UNK‑Non GUP‑Non 0.10 +0.28 +0.24 GUP‑Non
GEG023=1* +0.28 0.07 0.40 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM913=1 +0.19 0.02 0.18 0.10 +0.32 GUP‑Non GUP‑Non
ARI120=1 UNK‑Non 0.02 GUP‑Non GUP‑Non GUP‑Non +0.39 UNK‑Non
NUM909=1 +0.17 0.02 0.27 0.10 +0.45 GUP‑Non GUP‑Non
DAT035=1 +0.35 0.02 0.18 GUP‑Non GUP‑Non TMO‑Non TMO‑Non
MSC022=2 +0.25 0.04 0.20 GUP‑Non +0.27 GUP‑Non GUP‑Non
DAT040=1 +0.23 0.03 UNK‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
ARI489=1 +0.28 0.01 0.19 0.10 +0.44 +0.23 GUP‑Non
DAT036=1 +0.26 0.03 0.18 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NUM906=1 +0.18 0.01 0.17 0.09 +0.43 GUP‑Non GUP‑Non
NUM861=1 TMO‑Non TMO‑Non GUP‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non
NUM912=1 +0.18 0.02 0.16 0.15 +0.25 GUP‑Non GUP‑Non
DAT016=1 +2.36 TMO‑Non GUP‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
NUM905=1 +0.17 0.03 0.26 0.11 +0.33 GUP‑Non GUP‑Non
NUM862=1 TMO‑Non TMO‑Non GUP‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non
ARI621=2 +0.22 0.01 UNK‑Non GUP‑Non GUP‑Non UNK‑Non GUP‑Non
NUM858=1 +6.62 0.07 0.77 UNK‑Non TMO‑Non UNK‑Non TMO‑Non
MSC023=2 +0.16 TMO‑Non 0.19 GUP‑Non GUP‑Non GUP‑Non GUP‑Non
Solved 96/100 92/100 77/100 60/100 54/100 48/100 12/100
Av. CPU Time 2.74 2.15 0.26 0.12 19.85 0.31 1.10
Solutions 96/100 0/100 0/100 0/100 54/100 48/100 0/100
μEfficiency 882.65 874.58 762.39 600.00 458.51 480.00 104.89
SOTAC 0.26 0.24 0.22 0.19 0.21 0.19 0.19
New Solved 5/5 5/5 5/5 0/5 1/5 2/5 0/5
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for FOF

FOF/300 Vampire
 0.6
Vampire
 1.8
E‑MaLeS
 1.0
EP
 1.4pre
iProver
 0.9
leanCoP
 2.2
iProver‑Eq
 0.7
E‑KRHyper
 1.2
E‑Darwin
 1.4
Metis
 2.3
LEO‑II
 1.2.8
Otter
 3.3
Muscadet
 4.1
SYO525+1.015* +2.19 +3.98 +38.75 +38.95 10.95 TMO‑Non 159.49 5.60 35.97 +35.52 TMO‑Non GUP‑Non TMO‑Non
SWV488+2 +0.01 +0.00 +0.52 +0.67 0.34 +29.47 0.68 0.03 0.05 +1.21 +7.39 +0.33 TMO‑Non
SWB022+2* +0.01 +0.01 +0.10 +0.08 0.06 +3.29 0.81 0.02 0.03 +13.68 +2.89 +0.40 +0.11
KRS162+1 +0.01 +0.58 +0.13 +0.06 0.76 +214.53 1.42 0.24 TMO‑Non +0.04 +0.61 TMO‑Non TMO‑Non
SWV076+1 +0.00 +0.00 +0.13 +0.03 0.01 +0.19 0.59 9.61 UNK‑Non +0.26 +6.46 +18.77 +0.07
SWB012+2* +0.00 +0.00 +0.12 +0.03 0.10 +172.99 0.69 0.03 0.02 +0.58 +2.76 +0.96 +0.09
PUZ075+1 +0.02 +0.02 +1.09 +1.28 0.15 +28.93 1.04 0.12 0.64 +0.65 UNK‑Non GUP‑Non +3.13
GEO112+1 +2.38 +0.17 +0.19 +0.16 0.61 +0.11 TMO‑Non 0.05 0.01 TMO‑Non UNK‑Non +0.57 TMO‑Non
SWB025+2* +0.00 +0.00 +0.11 +0.01 0.04 +0.31 1.13 0.02 0.02 +6.71 +1.23 +0.36 +0.08
SYN442+1 +0.51 +0.11 +21.28 +23.08 0.04 TMO‑Non 0.87 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SYN074+1 +0.00 +0.00 +0.10 +0.05 0.19 +0.09 TMO‑Non 0.03 TMO‑Non +0.00 +0.07 +7.13 +0.08
MGT008+1 +0.00 +0.00 +0.09 +0.02 0.01 +0.10 0.65 0.01 0.02 +0.06 +0.24 +0.19 +0.06
SYN448+1 +1.00 +0.07 +15.71 +15.30 0.03 TMO‑Non 0.55 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SYN075+1 +0.00 +0.00 +0.10 +0.01 2.05 +0.08 1.83 0.02 TMO‑Non +0.01 +0.13 +7.34 +0.09
GEO260+1 +0.00 +0.00 +0.16 +0.02 0.01 +0.11 0.43 1.86 0.01 +0.00 +0.50 +0.30 TMO‑Non
SYN451+1 +0.50 +0.22 +51.33 +53.75 0.03 TMO‑Non 0.83 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
MGT011+1 +0.42 +0.00 +0.26 +0.16 0.07 TMO‑Non 0.88 0.01 0.02 +0.03 +0.16 +0.18 +0.06
KRS157+1 +0.00 +0.09 +0.23 +0.26 0.05 +0.24 0.66 0.12 TMO‑Non +1.36 +4.99 +0.38 +0.83
ALG064+1 +0.51 +0.04 +0.37 +0.36 56.15 TMO‑Non 0.68 14.53 TMO‑Non +2.57 TMO‑Non GUP‑Non TMO‑Non
SWV177+1 +0.00 +0.00 +0.19 +0.05 0.02 +0.20 1.53 GUP‑Non 0.34 +51.36 +8.69 GUP‑Non TMO‑Non
GEO234+3 +0.01 +0.00 +0.10 +0.02 0.05 +1.81 0.66 0.08 0.03 +0.38 +0.71 +0.37 TMO‑Non
SYN458+1 +0.43 +0.06 +6.83 +6.46 0.05 TMO‑Non 0.74 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO085+1 +0.00 +0.00 +0.17 +0.02 0.01 +0.16 0.64 0.03 0.23 +0.09 +0.62 +0.54 TMO‑Non
CSR039+1 +0.14 +0.06 +0.30 +0.23 0.05 UNK‑Non 0.61 0.03 0.24 +0.12 +226.30 +0.23 +9.06
SYN504+1 +1.25 +0.32 +32.85 +33.02 0.06 TMO‑Non 0.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT056+1 +0.42 +0.58 +0.09 +0.07 0.20 +70.66 60.27 0.16 0.02 +0.16 +0.39 +4.90 TMO‑Non
KRS153+1 +0.02 +0.04 +0.24 +0.06 0.08 +175.03 0.55 TMO‑Non TMO‑Non +4.65 UNK‑Non +0.24 TMO‑Non
SYN445+1 +0.78 +0.07 +5.35 +5.62 0.04 TMO‑Non 0.77 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
NUM304+1 +0.00 +0.01 +0.15 +0.07 1.07 +0.13 2.39 0.10 3.67 +0.37 +2.95 +0.28 TMO‑Non
SWV438+1 +0.00 +0.00 +0.11 +0.03 0.03 +0.16 0.67 0.02 0.05 +0.07 +0.98 +0.19 TMO‑Non
SYN505+1 +0.61 +0.19 +47.71 +49.95 0.03 TMO‑Non 0.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR015+1 +0.02 +0.02 +0.17 +0.07 0.26 +40.19 2.75 0.62 0.15 +0.35 UNK‑Non TMO‑Non TMO‑Non
GEO182+3 +0.00 +0.00 +0.16 +0.03 0.01 +0.10 0.44 TMO‑Non 0.04 +0.04 +0.39 +0.26 TMO‑Non
ALG021+1 +6.30 +0.05 +1.59 +1.12 TMO‑Non TMO‑Non 0.50 TMO‑Non 0.93 +2.01 +74.80 GUP‑Non +22.55
SWV236+1 +0.09 +0.12 +0.11 +0.05 10.36 +196.18 0.81 GUP‑Non TMO‑Non TMO‑Non +1.59 +37.64 GUP‑Non
MGT009+1 +0.00 +0.00 +0.15 +0.07 0.01 +0.10 0.56 0.01 0.02 +0.09 +0.63 +0.17 +0.09
NLP004+1 +0.01 +2.03 +0.16 +0.03 0.04 +0.43 0.89 1.06 1.35 +0.14 +4.46 TMO‑Non TMO‑Non
SET956+1 +0.00 +0.00 +0.08 +0.02 0.92 +28.40 0.81 7.50 0.13 TMO‑Non +0.21 +0.27 GUP‑Non
SYN549+1 +0.00 +0.00 +61.32 UNK‑Non 0.01 +0.09 0.60 0.00 TMO‑Non +25.69 TMO‑Non +0.41 GUP‑Non
ALG081+1 +0.80 +0.00 +0.09 +0.09 3.49 TMO‑Non 0.43 0.09 TMO‑Non +2.75 +64.66 +1.39 6.56
SWC001+1 +0.00 +0.00 +0.22 +0.06 0.05 +72.74 0.51 0.12 TMO‑Non +4.21 +6.89 +1.09 TMO‑Non
MED001+1 +0.01 +0.00 +0.32 +0.19 0.01 +29.12 0.43 0.12 TMO‑Non +0.57 +2.93 +0.26 TMO‑Non
ALG188+1 +0.05 +0.11 +0.28 +0.17 122.39 +1.39 0.85 TMO‑Non 0.52 +3.85 TMO‑Non GUP‑Non +2.41
PUZ128+2 +0.40 +0.00 +0.08 +0.01 0.00 TMO‑Non 0.64 0.01 0.01 +0.01 UNK‑Non +0.26 GUP‑Non
ALG211+1 +0.00 +0.00 +0.14 +0.00 0.02 +0.13 0.42 0.00 0.01 +0.27 +0.05 +0.17 TMO‑Non
NLP011+1 +0.01 +2.03 +0.15 +0.02 0.04 +201.13 0.91 0.93 1.14 +0.14 +4.06 TMO‑Non TMO‑Non
SWB002+1* +0.02 +0.03 +0.68 +0.52 0.14 +0.31 1.27 0.50 TMO‑Non +78.79 +7.79 GUP‑Non TMO‑Non
GEO225+3 +0.00 +0.00 +0.10 +0.01 0.03 +0.09 0.45 1.74 0.02 +0.01 +0.34 +0.20 TMO‑Non
SYN507+1 +1.16 +0.16 +128.81 +73.12 0.03 TMO‑Non 0.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT062+1 +0.42 +1.21 +0.11 +0.02 0.97 TMO‑Non 27.51 TMO‑Non TMO‑Non +0.69 +1.22 TMO‑Non TMO‑Non
GEO181+2 +0.07 +0.00 +0.11 +0.09 0.01 +0.22 0.46 TMO‑Non 0.01 +3.61 +1.39 +3.69 TMO‑Non
NLP007+1 +0.01 +2.03 +0.10 +0.02 0.04 +0.23 0.62 1.00 1.15 +0.09 +4.08 TMO‑Non TMO‑Non
GEO146+1 +0.01 +1.99 +0.17 +0.07 0.05 +0.34 TMO‑Non 0.35 1.79 +6.58 UNK‑Non TMO‑Non TMO‑Non
PUZ047+1 +0.00 +0.00 +0.13 +0.06 0.02 +0.07 0.41 0.01 0.00 +0.47 +0.34 +0.29 GUP‑Non
ALG033+1 +5.55 +1.01 +3.82 +3.63 TMO‑Non TMO‑Non 1.02 TMO‑Non 1.31 +16.51 TMO‑Non GUP‑Non 1.29
SWW229+1* +3.19 +6.79 +252.84 UNK‑Non 31.07 +0.46 TMO‑Non 0.50 3.52 TMO‑Non TMO‑Non GUP‑Non UNK‑Non
CSR032+2 +0.00 +0.05 +0.27 +0.17 0.07 +0.33 0.49 0.09 0.23 +0.80 +3.70 GUP‑Non TMO‑Non
ALG116+1 +3.58 +11.56 +11.62 +11.50 TMO‑Non TMO‑Non 0.70 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
GRP194+1 +0.05 +0.01 +0.08 +0.01 TMO‑Non TMO‑Non 0.68 TMO‑Non TMO‑Non UNK‑Non +32.43 +0.28 +0.14
CSR059+2 +0.02 +0.09 +0.31 +0.33 0.11 +0.31 0.70 0.15 0.33 +0.94 +1.02 GUP‑Non TMO‑Non
SYO525+1.018* +45.05 +63.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 56.03 TMO‑Non +206.15 TMO‑Non GUP‑Non TMO‑Non
GRP745+1 +222.38 TMO‑Non +11.33 +12.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR048+2 +0.03 +0.09 +0.23 +0.15 0.12 +0.22 0.48 0.12 0.12 +1.02 +1.03 GUP‑Non TMO‑Non
ALG167+1 +5.42 +8.21 +1.04 +1.12 TMO‑Non TMO‑Non 1.05 TMO‑Non TMO‑Non +67.24 TMO‑Non GUP‑Non TMO‑Non
SWB074+1* +0.01 +0.05 +2.53 +2.28 0.59 +23.53 TMO‑Non 1.30 TMO‑Non +72.92 TMO‑Non GUP‑Non TMO‑Non
CSR063+1 +0.00 +0.00 +0.12 +0.05 0.03 UNK‑Non 0.68 0.04 0.13 +0.04 +149.31 +0.20 +0.17
PUZ074+1 +0.58 +10.86 +4.75 +4.96 7.21 +31.61 TMO‑Non 7.31 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SET082+1 +0.01 +0.10 +0.18 +0.03 TMO‑Non +139.89 TMO‑Non GUP‑Non TMO‑Non TMO‑Non +1.32 GUP‑Non UNK‑Non
GEO190+2 +0.08 +0.00 +0.15 +0.02 0.01 +1.12 0.46 TMO‑Non 0.01 +5.76 +1.18 +3.39 TMO‑Non
ALG122+1 +83.54 TMO‑Non TMO‑Non +168.70 TMO‑Non TMO‑Non 0.72 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
SWV463+1 +0.47 +0.02 +0.17 +0.08 1.06 +215.29 TMO‑Non TMO‑Non 1.36 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
MGT016+1 +0.00 +0.00 +0.11 +0.01 0.02 +0.10 0.44 0.01 0.01 +0.10 +0.60 +0.27 +0.05
PUZ073+1 +157.09 TMO‑Non +35.80 +36.51 14.42 TMO‑Non TMO‑Non 146.72 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWV454+1 +0.07 +0.00 +2.93 +3.36 17.86 TMO‑Non TMO‑Non 1.46 1.50 TMO‑Non +9.41 GUP‑Non TMO‑Non
MGT004+1 +0.00 +0.00 +0.13 +0.02 0.01 +172.55 0.45 0.02 0.01 +0.48 +0.43 +0.17 +0.06
NUM855+2 +1.12 +0.00 +1.10 +1.23 1.25 +7.97 UNK‑Non 43.57 0.09 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NLP079+1 +0.02 +0.03 +0.11 +0.03 0.28 +0.15 0.71 0.09 TMO‑Non +0.18 +4.02 GUP‑Non TMO‑Non
SWV455+1 +0.08 +0.00 +3.45 +3.52 14.91 TMO‑Non TMO‑Non 0.60 1.62 TMO‑Non +11.79 GUP‑Non TMO‑Non
GEO254+1 +0.00 +0.00 +0.11 +0.02 0.01 +0.10 0.52 0.19 0.01 +0.02 +0.78 +0.29 TMO‑Non
SWW317+1* +1.22 +2.79 +7.12 +6.20 1.57 +2.98 TMO‑Non GUP‑Non UNK‑Non +28.44 TMO‑Non GUP‑Non TMO‑Non
CSR057+2 +0.10 +0.08 +0.32 +0.27 0.61 +212.55 0.74 1.86 2.31 +1.17 +1.04 GUP‑Non TMO‑Non
GEO300+1 +0.03 +0.03 +0.52 +0.41 3.57 TMO‑Non 1.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR054+1 +0.00 +0.00 +0.09 +0.02 0.01 UNK‑Non 0.63 0.01 0.00 +0.00 +0.10 +0.18 TMO‑Non
SWW216+1* +46.62 +6.93 +32.82 +38.12 136.84 +0.34 TMO‑Non TMO‑Non 42.22 UNK‑Non TMO‑Non GUP‑Non TMO‑Non
NLP094+1 +0.00 +0.00 +0.24 +0.16 0.01 +0.09 0.65 0.02 TMO‑Non +0.09 +0.75 TMO‑Non TMO‑Non
SWB087+1* +0.29 +7.21 +25.52 +24.78 86.03 +24.71 TMO‑Non 1.11 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS179+1 +4.35 +0.00 +0.09 +0.01 0.01 +0.13 0.46 0.15 0.01 +0.13 +0.44 +0.17 +0.08
SWB005+1* +0.02 +0.05 +3.06 +2.53 7.08 +35.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR038+1 +0.00 +0.00 +0.09 +0.02 0.01 UNK‑Non 0.42 0.02 0.02 +0.05 +0.24 +0.30 TMO‑Non
CSR085+1 +0.51 +1.92 +2.25 +1.47 1.01 +2.27 10.64 2.78 19.18 TMO‑Non UNK‑Non GUP‑Non +6.07
GRP001+6 +0.04 +0.00 +0.28 +0.10 10.16 +0.08 0.79 0.01 0.01 TMO‑Non +0.14 +0.18 +0.05
GEO344+1 +0.06 +0.06 +0.48 +0.38 10.52 TMO‑Non 58.75 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SET009+3 +0.00 +0.00 +0.11 +0.02 0.01 +0.08 0.44 TMO‑Non 0.02 +29.17 +0.16 +0.29 +0.05
CSR098+5 +0.42 +0.37 +2.56 +2.09 0.60 +37.59 3.66 6.05 TMO‑Non +15.24 TMO‑Non GUP‑Non +36.35
GEO180+2 +0.06 +0.00 +0.09 +0.02 0.03 +0.11 0.50 TMO‑Non 0.01 +3.07 +1.58 +3.58 GUP‑Non
SWV449+1 +0.11 +0.00 +0.24 +0.13 TMO‑Non TMO‑Non TMO‑Non 15.72 1.87 TMO‑Non +10.06 GUP‑Non +0.53
SYN550+1 +0.09 +0.00 +0.10 +0.02 0.13 +0.22 0.66 0.00 2.32 +0.02 +0.08 TMO‑Non TMO‑Non
SWW128+1* +17.32 +7.33 TMO‑Non +229.97 11.14 +0.23 UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS156+1 +0.00 +0.00 +0.17 +0.08 0.02 +0.18 0.53 0.11 TMO‑Non +0.41 +0.82 +0.29 +0.91
SWB053+1* +0.02 +0.40 +2.44 +2.25 4.22 +29.62 TMO‑Non 121.85 TMO‑Non TMO‑Non +8.56 GUP‑Non TMO‑Non
CSR044+1 +0.00 +0.00 +0.11 +0.02 0.02 UNK‑Non 0.42 0.01 0.01 +0.02 +0.19 +0.30 TMO‑Non
SWV461+1 +0.23 +0.01 +0.32 +0.34 5.37 TMO‑Non TMO‑Non 40.98 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO191+2 +0.40 +0.00 +1.23 +1.22 0.03 +0.17 0.59 0.13 0.02 TMO‑Non TMO‑Non +25.81 TMO‑Non
GRP666+1 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non
CSR056+1 +0.00 +0.00 +0.11 +0.01 0.01 UNK‑Non 0.43 0.01 0.02 +0.01 +0.15 +0.26 +1.32
SWC332+1 +0.00 +0.01 +0.16 +0.14 5.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +14.86 GUP‑Non TMO‑Non
SWB009+3* +0.04 +0.18 +0.29 +0.28 6.45 +0.18 0.62 TMO‑Non 0.80 TMO‑Non UNK‑Non GUP‑Non +11.45
GEO343+1 +0.06 +0.04 +0.48 +0.37 2.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR050+1 +0.00 +0.00 +0.09 +0.08 0.01 UNK‑Non 0.66 0.01 0.02 +0.03 +0.27 +0.18 +0.16
SWW186+1* +2.97 +1.94 +0.75 +0.95 TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non 254.92 GUP‑Non TMO‑Non
GEO184+3 +0.02 +0.01 +0.16 +0.01 0.02 +0.09 0.66 TMO‑Non 0.02 +236.98 +0.30 +12.36 TMO‑Non
SWB008+1* +0.65 +67.03 +6.26 +5.79 TMO‑Non +37.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR072+3 +0.12 +0.14 +1.39 +0.80 0.32 +2.59 0.98 1.07 1.29 +12.23 +55.97 GUP‑Non TMO‑Non
SWW225+1* +1.12 +0.19 +4.89 +4.62 0.31 +4.92 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL414+1 +0.00 +0.00 +0.10 +0.00 0.03 +0.07 0.46 0.00 0.01 +0.00 +0.03 +0.27 GUP‑Non
SWV456+1 +0.56 +0.02 +14.50 +17.68 TMO‑Non +247.73 TMO‑Non TMO‑Non 1.74 TMO‑Non 115.22 GUP‑Non TMO‑Non
CSR034+2 +0.12 +0.10 +0.39 +0.46 0.21 TMO‑Non 0.70 1.98 3.28 +1.00 TMO‑Non GUP‑Non TMO‑Non
SWV480+1 +2.53 +2.04 +8.74 +9.17 52.34 TMO‑Non TMO‑Non TMO‑Non 1.71 TMO‑Non +25.00 GUP‑Non TMO‑Non
SYN067+1 +0.00 +0.00 +0.62 +0.76 0.05 +0.11 0.69 0.03 TMO‑Non +0.01 +0.32 TMO‑Non TMO‑Non
SWB057+1* +0.02 +20.54 +2.64 +2.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +187.60 +9.09 GUP‑Non TMO‑Non
CSR040+2 +0.01 +0.03 +0.45 +0.59 1.35 +184.74 1.45 0.93 6.28 +0.64 +159.32 +0.83 TMO‑Non
SWW180+1* +44.57 +4.09 +34.01 +33.54 131.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
NLP081+1 +0.01 +0.03 +0.13 +0.04 0.17 +0.19 0.65 0.05 TMO‑Non +0.15 +4.05 GUP‑Non TMO‑Non
SWB049+1* +0.04 +0.45 +2.55 +2.28 14.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS161+1 +0.07 +0.07 +0.27 +0.18 0.06 +3.23 0.66 1.08 TMO‑Non +16.59 +136.25 +0.31 TMO‑Non
SWW314+1* +0.73 +0.51 +56.16 +58.35 1.49 +2.75 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
CSR046+3 +0.17 +0.19 +1.10 +0.80 0.30 +2.37 0.80 0.88 1.30 +15.13 +64.72 GUP‑Non TMO‑Non
SWW383+1* +0.65 +0.51 +45.78 +46.51 1.55 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS147+1 +0.01 +0.02 +0.12 +0.05 0.04 +115.90 0.46 4.43 TMO‑Non +2.34 +15.33 +0.33 TMO‑Non
SWW179+1* +35.23 +4.01 +47.98 +46.85 24.88 +78.10 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
GEO203+2 +0.35 +0.00 +10.85 +12.30 0.02 +3.47 0.47 0.79 0.12 +21.29 TMO‑Non +135.69 +1.88
SWV486+2 +3.04 +0.08 +26.30 +26.52 16.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS155+1 +0.01 +0.03 +0.15 +0.07 0.14 +7.30 0.57 0.17 TMO‑Non +3.11 +8.60 +0.21 TMO‑Non
CSR001+2 +2.57 +8.87 +1.66 +2.46 TMO‑Non TMO‑Non TMO‑Non 0.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR043+3 +0.09 +0.18 +1.29 +0.86 0.29 +2.28 0.83 0.89 1.45 +14.16 +49.93 GUP‑Non TMO‑Non
SWW315+1* +1.27 +0.86 +53.35 +56.11 1.38 +3.44 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL674+1.015 +0.07 +21.92 +5.88 +5.73 1.39 TMO‑Non 0.49 8.76 42.22 +0.89 +63.59 GUP‑Non TMO‑Non
SWW300+1* +0.26 +0.33 +49.15 +49.05 1.42 +30.27 228.77 GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS193+1 +0.72 +0.04 +0.11 +0.04 0.13 +1.00 0.42 TMO‑Non 3.60 +0.29 +68.75 TMO‑Non +2.15
SWW375+1* +0.75 +0.80 +44.00 +46.57 1.36 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
KRS263+1 +8.43 +0.05 +0.46 +0.39 0.47 +28.42 1.01 0.03 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW271+1* +184.89 +23.01 +62.60 UNK‑Non 2.28 +77.50 TMO‑Non TMO‑Non 14.21 TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR034+3 +0.15 +0.15 +1.59 +1.25 0.55 +3.03 1.04 0.90 1.13 +12.80 +107.08 GUP‑Non TMO‑Non
SET169+3 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +0.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.07
GEO202+3 +0.70 +0.00 +2.69 +2.70 0.02 +0.17 0.74 TMO‑Non 0.03 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KLE104+1 +40.57 +44.73 +18.77 +20.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
KRS255+1 +0.47 +0.04 +0.10 +0.04 0.03 +0.21 0.46 0.04 0.04 TMO‑Non +1.39 +13.61 TMO‑Non
SWV475+1 +3.03 +2.09 +6.93 +7.29 22.82 TMO‑Non TMO‑Non TMO‑Non 1.88 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS196+1 +0.74 +0.04 +0.11 +0.04 0.13 +0.21 0.47 TMO‑Non 3.75 +0.19 TMO‑Non TMO‑Non +2.68
COM008+2 +1.91 +3.54 +117.36 +156.32 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.16
SYN938+1 +8.64 +0.04 +0.32 +0.41 0.07 +30.32 0.70 GUP‑Non TMO‑Non +0.71 +5.83 GUP‑Non TMO‑Non
GEO169+2 +19.74 +1.26 +10.02 +10.03 15.78 TMO‑Non 5.66 6.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB029+3* +0.13 +0.45 +11.73 +11.52 TMO‑Non +0.16 TMO‑Non 0.26 0.57 TMO‑Non TMO‑Non +2.19 +11.15
SWW170+1* +0.20 +6.81 +4.43 +4.34 TMO‑Non +16.83 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS203+1 +0.51 +0.07 +0.14 +0.08 0.53 +110.05 0.79 TMO‑Non 0.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW213+1* +2.51 +0.89 +24.02 +24.71 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
KRS215+1 +12.63 +0.07 +0.13 +0.04 0.58 +3.07 0.47 TMO‑Non 0.55 TMO‑Non +63.90 TMO‑Non TMO‑Non
SWW207+1* +2.35 +4.18 +1.00 +0.52 25.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KRS259+1 +3.80 +0.05 +0.10 +0.04 0.47 +0.21 0.43 0.03 0.07 TMO‑Non +4.32 +7.28 TMO‑Non
CSR108+7* +2.02 +9.08 +18.85 +13.30 6.06 +59.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
MED006+1 +0.05 +0.01 +3.42 +3.21 0.01 +243.08 0.67 TMO‑Non 0.09 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW222+1* +17.11 +5.95 +3.58 +3.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
CSR060+2 +0.36 +0.29 +13.94 +13.36 0.98 +220.91 1.67 12.94 TMO‑Non +14.35 +180.67 GUP‑Non TMO‑Non
SWW261+1* +26.71 +112.60 +8.46 +8.25 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non TMO‑Non
SWB014+3* +12.74 +0.07 +11.90 +11.13 TMO‑Non +173.49 TMO‑Non 0.50 0.57 TMO‑Non TMO‑Non GUP‑Non +11.70
SWW210+1* +1.13 +20.39 TMO‑Non UNK‑Non 2.25 +31.16 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
COM003+1 +0.01 +0.01 +1.78 +1.66 0.19 +28.72 0.43 TMO‑Non TMO‑Non TMO‑Non +1.05 TMO‑Non GUP‑Non
SWW394+1* +4.35 +4.71 +55.15 +55.07 2.44 +33.05 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
MED010+1 +0.05 +0.02 +49.57 +52.87 0.01 +166.90 0.69 TMO‑Non 0.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE170+1.004* +90.38 +10.27 +17.57 +19.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
CSR041+3 +0.14 +0.28 +2.13 +2.24 0.61 +2.96 2.11 203.18 TMO‑Non +13.81 +41.21 GUP‑Non TMO‑Non
SWW322+1* +17.28 +54.86 +51.44 +51.11 1.79 +34.41 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SYN548+1 +0.09 +0.26 TMO‑Non UNK‑Non 0.46 TMO‑Non 29.28 0.06 TMO‑Non TMO‑Non TMO‑Non +59.63 GUP‑Non
SWV234+2 +4.58 +0.07 +0.11 +0.07 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non +5.37 TMO‑Non GUP‑Non
SYN723+1 +8.74 +18.68 +138.79 +139.05 0.04 TMO‑Non 0.50 GUP‑Non TMO‑Non +9.72 UNK‑Non GUP‑Non GUP‑Non
GRP776+1 +0.48 +0.56 +1.50 +1.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non GUP‑Non
KRS234+1 +8.61 +0.04 +0.17 +0.13 0.95 +28.71 0.51 TMO‑Non TMO‑Non TMO‑Non 79.10 TMO‑Non TMO‑Non
GEO285+1 +0.04 +0.19 +1.06 +0.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MED005+1 +0.07 +0.02 +2.15 +1.59 0.01 +244.30 0.60 TMO‑Non 0.13 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR041+4 +0.77 +1.44 +51.54 +55.76 6.73 TMO‑Non 42.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
CSR114+27 +0.58 +0.47 +3.81 +3.06 0.81 +14.85 2.03 0.77 10.73 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GRP664+1 TMO‑Non TMO‑Non +84.69 +171.35 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
MED009+1 +6.40 +0.03 +62.92 TMO‑Non 0.01 TMO‑Non 0.56 TMO‑Non 1.14 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW265+1* +10.11 +10.94 TMO‑Non UNK‑Non 10.77 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SYN353+1 +0.00 +0.00 +0.13 +0.01 10.03 TMO‑Non 0.68 TMO‑Non TMO‑Non +170.08 +0.30 TMO‑Non TMO‑Non
SWW318+1* +4.87 +2.81 +58.91 +63.83 TMO‑Non +33.92 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
LCL652+1.001 +13.14 +20.77 +3.57 +3.17 0.39 TMO‑Non TMO‑Non 1.45 TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
SWW220+1* +13.87 +2.03 TMO‑Non +113.67 TMO‑Non +106.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR115+23 +0.48 +0.38 +3.19 +4.23 1.54 +31.79 4.29 1.77 10.06 +117.19 TMO‑Non GUP‑Non TMO‑Non
SWW253+1* TMO‑Non TMO‑Non +17.29 +16.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
CSR115+61 +0.58 +0.35 +3.61 +3.28 1.66 +141.07 3.97 1.65 9.82 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR103+7* +3.74 +5.67 +18.73 +13.79 8.91 TMO‑Non UNK‑Non TMO‑Non TMO‑Non +174.28 UNK‑Non GUP‑Non TMO‑Non
CSR115+96 +0.49 +0.37 +3.40 +3.97 1.71 TMO‑Non 4.22 1.68 9.85 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW391+1* +1.25 +0.39 +59.02 +58.26 2.46 +31.16 TMO‑Non GUP‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non UNK‑Non
SWB020+2* +13.00 +0.01 TMO‑Non TMO‑Non 19.49 +203.27 188.45 TMO‑Non 0.08 TMO‑Non +2.43 +1.28 TMO‑Non
CSR089+7* +1.94 +3.99 +18.91 +14.73 5.43 +59.51 TMO‑Non TMO‑Non TMO‑Non +156.81 UNK‑Non GUP‑Non TMO‑Non
CSR045+3 +0.15 +0.32 +3.38 +3.34 2.13 +24.64 178.14 3.33 295.98 +14.66 +62.38 GUP‑Non TMO‑Non
SWW192+1* +4.94 +40.21 +36.56 +36.07 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL642+1.005 +8.67 +2.22 +15.18 +15.22 0.49 TMO‑Non 1.59 0.29 TMO‑Non TMO‑Non UNK‑Non GUP‑Non GUP‑Non
SWB009+1* +0.90 +0.44 +72.07 TMO‑Non 16.30 +39.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR050+3 +5.06 +0.22 +4.82 +4.83 19.59 +75.16 6.50 TMO‑Non TMO‑Non +20.69 +39.33 GUP‑Non TMO‑Non
CSR105+7* +1.94 +5.65 +19.03 +13.28 5.59 +63.03 TMO‑Non TMO‑Non TMO‑Non +176.41 UNK‑Non GUP‑Non TMO‑Non
SWB012+3* +242.12 +0.50 +20.94 +18.35 TMO‑Non +229.57 TMO‑Non 0.50 1.01 TMO‑Non TMO‑Non +2.17 +17.29
SWW337+1* +4.53 +2.97 +51.16 +55.80 TMO‑Non +32.69 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
CSR113+24 +5.14 +0.31 +3.33 +3.28 1.30 TMO‑Non 33.66 1.12 9.63 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB096+1* +7.17 +7.12 TMO‑Non TMO‑Non 20.00 +39.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
COM008+1 +1.32 +0.80 +11.29 +12.22 0.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +115.98 GUP‑Non +0.18
SWW238+1* +7.62 +4.91 +250.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR116+27 +0.63 +177.62 +3.31 +3.21 1.24 TMO‑Non 35.80 10.69 106.76 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO281+1 +20.79 +19.85 +0.40 +0.46 14.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LCL660+1.001 +0.14 +0.29 TMO‑Non TMO‑Non 3.09 TMO‑Non 1.65 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non GUP‑Non
GEO270+1 +12.99 +3.77 +0.64 +0.30 6.74 +212.68 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL640+1.015 +12.01 +23.96 +3.06 +2.76 60.84 TMO‑Non TMO‑Non 19.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV467+1 +23.93 +2.05 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.80 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR049+3 +16.72 +2.00 +31.75 +36.37 146.52 TMO‑Non TMO‑Non 84.34 TMO‑Non +173.09 TMO‑Non GUP‑Non TMO‑Non
GEO332+1 +21.01 +0.36 +0.43 +0.31 50.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SYN986+1.004 TMO‑Non TMO‑Non +178.67 +111.03 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non GUP‑Non
GEO292+1 +17.79 TMO‑Non +0.42 +0.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR033+3 +0.73 +1.89 +65.93 TMO‑Non 21.71 TMO‑Non 1.62 104.85 TMO‑Non +232.44 UNK‑Non GUP‑Non TMO‑Non
GEO089+1 +17.97 +63.33 +41.35 +42.40 75.21 +15.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL672+1.010 +19.95 +20.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV471+1 +24.75 +2.04 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 1.72 TMO‑Non TMO‑Non GUP‑Non +1.33
LAT258+1 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +225.05
SWW211+1* +42.79 +37.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
LCL668+1.010 TMO‑Non +8.07 TMO‑Non TMO‑Non 0.08 TMO‑Non 0.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non
SWW266+1* TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +221.03 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW123+1* +15.97 +2.06 TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non 19.06 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW165+1* +9.51 +7.50 +10.61 +10.94 TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWW326+1* +2.28 +0.34 +44.08 +46.02 2.34 TMO‑Non TMO‑Non GUP‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non UNK‑Non
SWW178+1* TMO‑Non +28.87 +186.50 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
KLE170+1.006* TMO‑Non +101.49 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWW259+1* +2.59 +5.27 TMO‑Non UNK‑Non 0.18 +115.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SET770+4 TMO‑Non TMO‑Non TMO‑Non UNK‑Non 37.96 TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non
HAL006+1 +0.63 +5.42 +6.81 +7.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO295+1 +0.97 +0.22 +5.57 +5.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP641+2 +1.29 +158.30 TMO‑Non +100.63 UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
GEO296+1 TMO‑Non +20.42 +9.09 +9.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV492+1 +1.55 +0.00 +80.98 +109.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
TOP041+1 +1.90 +0.69 +80.51 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 26.97 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO306+1 +1.31 +3.68 +0.50 +0.38 81.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
AGT023+1 +14.48 +1.03 TMO‑Non +188.72 TMO‑Non +31.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWB108+1* +0.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW176+1* +154.96 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW228+1* TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
SWB045+1* +0.72 +131.09 +24.05 +24.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB068+1* +0.75 +0.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW240+1* TMO‑Non TMO‑Non +58.02 +54.77 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW301+1* +1.24 +18.74 TMO‑Non TMO‑Non 2.60 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW139+1* +13.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW173+1* TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW155+1* +25.31 TMO‑Non TMO‑Non TMO‑Non 48.54 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW321+1* +25.59 TMO‑Non TMO‑Non TMO‑Non 2.10 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW130+1* TMO‑Non +215.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW293+1* +10.82 +7.29 TMO‑Non +126.05 1.74 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWB058+1* +0.75 +18.74 +70.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW190+1* +6.69 +0.09 +82.52 +81.65 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
GEO291+1 +49.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LAT295+4 +42.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
LCL558+1 +283.85 +9.00 +4.03 +3.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL561+1 +25.46 +16.85 +4.30 +4.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV490+3 +17.92 +0.52 +82.13 +182.86 15.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU429+4 +76.94 +183.91 TMO‑Non +228.18 UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
GEO307+1 +19.50 +0.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
TOP027+2 +54.42 TMO‑Non +25.33 +26.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SET745+4 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.10
NUM862+1 TMO‑Non +14.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW348+1* +13.67 +5.31 +51.26 +49.67 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW367+1* +7.69 +9.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW289+1* TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW268+1* TMO‑Non TMO‑Non +142.99 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW257+1* TMO‑Non +169.01 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWB038+1* +4.46 +129.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW332+1* TMO‑Non TMO‑Non TMO‑Non +161.15 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW359+1* +25.85 TMO‑Non +61.47 +55.69 38.46 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW264+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW286+1* TMO‑Non +67.01 TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB064+1* +1.10 +151.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB106+1* +1.24 +104.40 TMO‑Non TMO‑Non 90.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW364+1* +17.20 +6.49 +60.31 +59.68 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
SWW369+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW137+1* +25.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB051+1* +195.64 +147.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWB050+1* +194.60 +131.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW231+1* TMO‑Non +210.00 +78.49 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SWW360+1* +30.12 +9.70 +78.09 +72.31 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWW187+1* TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
TOP024+4 +148.89 +155.87 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
AGT018+1 +0.54 +6.01 TMO‑Non +235.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ALG214+4 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non
CSR075+6 +8.88 +12.46 TMO‑Non +269.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
GEO323+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR082+6 +12.80 +4.09 TMO‑Non +278.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
CSR075+5 +2.43 +0.71 +10.75 +10.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR118+2 +2.11 +1.95 +14.31 +12.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR034+5 +30.80 +210.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GEO337+1 +68.82 +0.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR108+2 +1.74 +8.80 +14.22 +12.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SEU228+1 +26.86 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +166.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ076+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non
SEU074+1 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved 269/300 263/300 233/300 232/300 192/300 136/300 135/300 109/300 103/300 101/300 97/300 62/300 42/300
Av. CPU Time 12.95 13.62 18.85 22.55 9.22 46.80 8.68 8.93 6.97 24.75 25.18 5.84 8.99
Solutions 269/300 263/300 233/300 232/300 0/300 136/300 0/300 0/300 0/300 101/300 94/300 62/300 40/300
μEfficiency 583.80 602.87 416.27 420.42 439.32 201.88 375.71 280.00 262.84 201.35 165.53 160.32 97.38
SOTAC 0.19 0.19 0.16 0.16 0.14 0.13 0.11 0.10 0.11 0.10 0.10 0.09 0.15
New Solved 81/98 80/98 61/98 57/98 45/98 39/98 8/98 13/98 13/98 12/98 8/98 6/98 7/98
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for FNT

FNT/200 Paradox
 3.0
FIMO
 0.2
iProver‑SAT
 0.9
Nitrox
 0.2
iProver‑Eq
 0.7
E‑KRHyper
 1.2
EP
 1.4pre
E‑Darwin
 1.4
LCL641+1.001 +0.08 +0.99 +0.48 +5.97 0.72 0.03 TMO‑Non +2.16
MGT066+1 +0.00 +0.30 +0.51 +2.52 1.38 0.01 TMO‑Non +0.01
NLP027+1 +0.06 +4.17 0.03 +4.12 0.44 0.02 +0.18 +1.27
NLP050+1 TMO‑Non +14.10 TMO‑Non TMO‑Non TMO‑Non 0.81 +0.09 +38.53
LCL667+1.005 +0.07 +0.56 0.04 +4.70 0.66 13.51 +0.92 TMO‑Non
NLP211+1 +0.13 +1.38 +62.91 TMO‑Non 4.21 0.67 +1.59 +1.04
NLP198+1 +0.19 +123.34 0.09 +10.71 0.51 0.17 +0.86 +0.37
NLP217+1 +0.21 +1.66 +62.88 TMO‑Non 3.59 0.37 +1.58 +0.77
NLP195+1 +0.21 +121.78 +1.76 +9.32 2.76 0.22 +0.90 +0.24
NLP049+1 TMO‑Non +14.32 TMO‑Non TMO‑Non TMO‑Non 0.80 +0.03 +38.65
NLP192+1 +0.24 +121.12 +1.69 +11.14 2.43 0.17 +0.89 +0.40
NLP051+1 TMO‑Non +14.43 TMO‑Non TMO‑Non TMO‑Non 0.56 +0.04 +39.10
LCL649+1.005 +0.11 +0.48 0.05 +3.75 0.69 TMO‑Non +1.03 TMO‑Non
NLP218+1 +0.21 +1.80 +63.48 TMO‑Non 5.58 0.39 +0.28 +0.75
NLP197+1 +0.23 +119.47 0.09 +11.95 0.53 0.26 +0.71 +0.24
NLP216+1 +0.15 +1.36 +63.06 TMO‑Non 5.71 0.59 +1.41 +1.02
NLP160+1 +0.19 +10.96 +2.76 +10.54 3.04 0.13 +1.05 +0.33
NLP212+1 +0.22 +1.88 +63.14 TMO‑Non 4.16 0.78 +1.32 +0.79
SYN316+1 +0.00 +0.23 0.01 +2.39 0.64 TMO‑Non +0.00 TMO‑Non
NLP053+1 TMO‑Non +14.45 TMO‑Non TMO‑Non UNK‑Non 0.84 +0.03 +38.27
NLP162+1 +0.19 +10.16 2.50 +10.10 3.40 0.13 +0.61 +0.21
NLP213+1 +0.13 +1.89 +62.83 TMO‑Non 4.32 0.67 +1.32 +0.95
NLP199+1 +0.15 +117.90 0.16 +10.83 0.53 0.25 +0.95 +0.26
NLP219+1 +0.20 +1.75 +64.15 TMO‑Non 5.03 0.86 +1.56 +0.78
NLP194+1 +0.24 +117.57 +1.72 +11.13 2.71 0.27 +0.80 +0.40
GRP396+1 +0.00 +0.17 +0.51 +3.23 0.63 0.00 +0.06 +0.00
SWB035+1* +0.49 +0.27 0.13 +3.77 0.82 0.01 +0.06 +0.13
KRS049+1 +0.03 +0.36 +0.46 +3.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA016+1 +0.09 +1.04 +0.54 +20.74 1.44 TMO‑Non TMO‑Non +0.28
GEG001+1 TMO‑Non +65.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN423+1 +0.56 +3.63 +3.29 +6.19 5.89 TMO‑Non +2.10 +0.63
KRS048+1 +0.02 +0.26 +0.19 +4.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN546+1 +0.61 +2.68 +0.51 +6.22 4.30 11.59 +11.67 +0.91
MGT038+2 +0.03 +0.29 +62.65 +4.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA021+1 +0.39 +11.79 +0.33 +172.75 1.98 0.13 TMO‑Non +2.94
NLP084+1 UNK‑Non +21.91 TMO‑Non TMO‑Non TMO‑Non 9.71 +0.10 TMO‑Non
GRA015+1 +0.06 +0.85 +0.15 +14.63 0.79 154.39 TMO‑Non +0.23
NLP188+1 +0.18 TMO‑Non +63.58 TMO‑Non TMO‑Non 0.21 +0.22 +1.07
SYN520+1 +0.69 +3.93 +4.78 +7.12 7.49 TMO‑Non UNK‑Non TMO‑Non
NLP077+1 TMO‑Non +1.44 TMO‑Non +159.16 TMO‑Non 7.59 +0.03 TMO‑Non
SYN463+1 +0.13 +0.46 +0.05 +4.76 0.57 209.24 +13.48 TMO‑Non
NLP085+1 UNK‑Non +21.54 TMO‑Non TMO‑Non UNK‑Non 9.87 +0.05 TMO‑Non
SYN429+1 +0.55 +4.20 +0.13 +6.90 8.66 TMO‑Non TMO‑Non +0.94
SWV482+1 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non 0.46 +0.57 +15.01
SYN438+1 +0.08 +0.59 +0.16 +4.02 0.87 TMO‑Non TMO‑Non TMO‑Non
NLP072+1 TMO‑Non +1.69 TMO‑Non +167.60 TMO‑Non 7.76 +0.03 TMO‑Non
SYN547+1 +0.40 +2.53 +0.10 +6.19 0.62 236.86 +0.65 +0.34
NLP184+1 +0.14 TMO‑Non +62.94 TMO‑Non TMO‑Non 0.26 +0.18 +0.92
GRA020+1 +0.24 +6.90 +5.47 +95.75 28.52 0.08 TMO‑Non +2.87
NLP082+1 UNK‑Non +21.57 TMO‑Non TMO‑Non TMO‑Non 9.88 +0.02 TMO‑Non
GRA023+1 +1.40 +105.37 +0.94 TMO‑Non 5.25 TMO‑Non TMO‑Non +9.50
NUM450+1 +0.12 +0.55 +33.93 +4.11 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SYN419+1 +0.40 +2.61 +0.11 +4.85 1.65 88.31 +0.66 +0.52
NLP070+1 TMO‑Non +1.82 TMO‑Non +108.20 TMO‑Non 7.52 +0.08 TMO‑Non
SYN420+1 +0.43 +4.03 +0.13 +6.78 1.19 42.30 +0.36 +0.95
NUM449+1 +0.07 +0.80 +0.54 +3.50 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
KRS176+1 +0.07 +0.37 +0.09 +3.47 0.42 TMO‑Non TMO‑Non +0.09
NLP186+1 +0.21 TMO‑Non +61.85 TMO‑Non TMO‑Non 0.24 +0.17 +1.15
PLA024+1 +0.04 +0.32 +0.14 +4.86 1.01 0.04 UNK‑Non TMO‑Non
NLP183+1 +0.15 TMO‑Non +63.89 TMO‑Non TMO‑Non 0.36 +0.31 +1.49
NLP029+1 +0.09 +4.55 0.02 +7.57 0.42 0.02 +0.30 +1.05
NLP071+1 UNK‑Non +6.06 TMO‑Non TMO‑Non TMO‑Non 7.42 +0.02 TMO‑Non
SYN324+1 +0.00 +0.26 0.01 +2.82 0.60 TMO‑Non +0.01 TMO‑Non
NLP075+1 UNK‑Non +6.12 TMO‑Non TMO‑Non TMO‑Non 11.31 +0.03 TMO‑Non
NLP166+1 +0.19 +7.44 +1.33 +6.21 1.96 0.23 +2.69 +0.28
NLP089+1 UNK‑Non +21.90 TMO‑Non TMO‑Non UNK‑Non 9.68 +0.05 TMO‑Non
NLP190+1 +0.23 +226.03 +2.14 +12.21 3.08 0.23 +1.18 +0.27
NLP083+1 UNK‑Non +21.17 TMO‑Non TMO‑Non UNK‑Non 9.91 +0.05 TMO‑Non
LCL643+1.001 +0.09 +2.35 +0.20 +4.16 0.68 0.01 +0.44 TMO‑Non
NLP091+1 UNK‑Non +21.60 TMO‑Non TMO‑Non UNK‑Non 10.00 +0.56 TMO‑Non
NLP165+1 +0.19 +21.13 3.02 +7.81 3.86 0.14 +0.85 TMO‑Non
NLP189+1 +0.22 TMO‑Non +61.38 TMO‑Non TMO‑Non 0.28 +0.19 +1.35
NLP164+1 +0.19 +18.25 2.68 +10.96 3.14 0.09 +0.80 TMO‑Non
NLP180+1 +0.22 TMO‑Non +61.40 TMO‑Non TMO‑Non 0.39 +0.35 +1.15
MSC013+1 TMO‑Non TMO‑Non 0.02 TMO‑Non 0.43 0.01 +0.01 +0.14
NUM445+5 +0.12 +0.99 +64.52 +4.87 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
NLP161+1 +0.19 +10.91 +2.36 +10.62 2.83 0.10 +1.12 +0.32
NUM448+1 +0.10 +0.57 +0.72 +3.76 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
LCL643+1.005 +0.08 +2.39 +0.22 +4.80 0.74 0.03 +0.70 TMO‑Non
NUM440+1 +0.09 +0.75 +66.85 +4.66 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
NLP196+1 +0.15 +231.18 +1.77 +8.89 2.50 0.21 +1.23 +0.28
LAT385+1 +0.05 +0.32 +62.58 +4.44 TMO‑Non 0.06 TMO‑Non TMO‑Non
NLP193+1 +0.15 TMO‑Non +1.36 +9.96 1.77 0.33 +1.28 +0.42
NUM437+1 +0.08 +0.83 +65.24 +3.59 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SYN330+1 +0.19 +1.28 0.01 +3.10 0.59 TMO‑Non +0.00 TMO‑Non
COM014+1 +0.04 +0.35 +62.53 +4.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV018+1 +0.06 +0.44 3.36 +4.33 1.26 TMO‑Non +0.04 TMO‑Non
NUM447+1 +0.08 +0.54 +61.29 +3.77 TMO‑Non GUP‑Non UNK‑Non TMO‑Non
MED004+1 +0.03 +0.43 +0.81 +3.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM445+1 +0.07 +0.54 +0.71 +4.35 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
KRS173+1 +0.00 +0.19 0.01 +2.95 0.46 TMO‑Non +0.01 TMO‑Non
NUM439+1 +0.12 +0.81 +86.94 +4.50 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
LCL663+1.005 +0.07 +0.50 0.06 +4.48 0.67 TMO‑Non +20.22 TMO‑Non
LAT387+1 +0.05 +0.51 +61.88 +3.74 TMO‑Non 0.06 TMO‑Non TMO‑Non
LCL637+1.005 TMO‑Non TMO‑Non +31.49 TMO‑Non 27.53 24.36 +3.87 +54.03
NLP093+1 UNK‑Non +22.15 TMO‑Non TMO‑Non UNK‑Non 9.69 TMO‑Non TMO‑Non
LCL667+1.010 +0.70 +3.16 +0.27 +16.51 2.16 TMO‑Non TMO‑Non TMO‑Non
LAT386+1 +0.07 +0.36 +62.17 +3.63 TMO‑Non 0.07 TMO‑Non TMO‑Non
PLA025+1 +0.20 +2.55 +21.82 +57.14 20.09 0.48 UNK‑Non +26.45
NLP092+1 UNK‑Non +22.35 TMO‑Non TMO‑Non UNK‑Non 9.92 TMO‑Non TMO‑Non
SWV016+1 +0.08 +0.42 0.17 +4.63 0.58 TMO‑Non +0.04 TMO‑Non
LAT384+1 +0.08 +0.31 +62.63 +4.44 TMO‑Non 0.07 TMO‑Non TMO‑Non
LCL649+1.010 +1.05 +4.24 +0.31 +20.70 2.18 TMO‑Non TMO‑Non TMO‑Non
LAT383+1 +0.04 +0.40 +62.54 +3.62 TMO‑Non 0.09 TMO‑Non TMO‑Non
SYN542+1 +0.17 +0.56 +1.00 +6.55 10.51 TMO‑Non TMO‑Non +0.16
SWW103+1* +0.10 +0.49 +62.85 +4.71 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SYN464+1 +0.19 +0.60 +0.14 +5.31 1.37 TMO‑Non TMO‑Non TMO‑Non
SWB036+1* +0.58 +2.18 +0.15 +13.43 1.42 GUP‑Non UNK‑Non +0.11
SYN426+1 +0.56 +5.78 +2.81 +7.95 120.02 TMO‑Non TMO‑Non +1.75
PRO013+4 +0.10 +0.51 +64.56 +7.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN435+1 +0.14 +0.58 +0.03 +5.84 0.73 0.76 TMO‑Non TMO‑Non
RNG110+4 +0.14 +0.66 +66.61 +5.53 TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SYN434+1 +0.20 +0.49 +0.10 +4.40 0.96 TMO‑Non TMO‑Non TMO‑Non
PRO013+2 +0.17 +0.49 +65.67 +5.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA026+1 UNK‑Non TMO‑Non +5.60 TMO‑Non 63.59 7.32 TMO‑Non TMO‑Non
PRO007+2 +0.19 +0.73 +89.98 +7.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN441+1 +0.33 +0.68 +0.17 +5.06 0.99 138.90 TMO‑Non TMO‑Non
SWV484+1 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non 0.93 +0.75 TMO‑Non
SYN453+1 +0.24 +0.70 +0.16 +5.22 0.88 TMO‑Non TMO‑Non TMO‑Non
PRO007+1 +0.24 +0.99 +255.49 +7.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN456+1 +0.10 +0.42 +0.12 +4.55 0.67 TMO‑Non TMO‑Non TMO‑Non
PRO007+3 +0.26 +1.23 +205.25 +9.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA024+1 +1.66 +285.96 +0.30 TMO‑Non 2.78 0.17 TMO‑Non +61.83
LCL577+1 +0.10 +0.60 +62.65 +3.45 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
LCL661+1.001 +0.06 +3.18 +2.06 +3.57 3.01 1.16 +0.40 TMO‑Non
PRO008+2 +0.20 +1.31 +115.89 +7.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP032+1 +0.09 +5.50 0.02 +3.76 0.44 TMO‑Non +2.19 TMO‑Non
SWV485+1 GUP‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non 5.06 +11.54 TMO‑Non
SWV439+1 +0.08 +0.57 0.04 +7.06 0.47 TMO‑Non +0.03 TMO‑Non
RNG110+1 +0.09 +0.54 +77.04 +4.80 TMO‑Non GUP‑Non UNK‑Non TMO‑Non
LCL649+1.015 +2.76 +18.67 +4.48 UNK‑Non 12.12 TMO‑Non TMO‑Non TMO‑Non
HAL005+1 +0.49 +2.93 +171.29 +9.65 UNK‑Non TMO‑Non UNK‑Non TMO‑Non
LCL354+1 +0.01 +0.28 +61.80 +3.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRO013+3 +0.20 +0.67 +68.81 +6.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL655+1.001 +0.02 +0.31 +10.78 +3.13 TMO‑Non 9.08 +36.37 TMO‑Non
SWV483+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.87 +8.47 TMO‑Non
SWV440+1 +0.08 +0.57 0.05 +5.50 0.49 TMO‑Non +0.03 TMO‑Non
PRO013+1 +0.12 +0.54 +70.28 +5.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL665+1.005 +0.15 +0.62 0.11 +8.31 0.59 TMO‑Non TMO‑Non TMO‑Non
SWV485+2 GUP‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non 4.39 +18.70 TMO‑Non
LCL687+1.020 +9.80 +1.56 +0.21 TMO‑Non 1.04 TMO‑Non TMO‑Non TMO‑Non
LCL578+1 +0.14 +0.61 +85.11 +3.93 TMO‑Non GUP‑Non UNK‑Non TMO‑Non
LCL685+1.005 +0.11 +0.69 +0.12 +5.11 0.49 TMO‑Non TMO‑Non TMO‑Non
NUM444+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SYN335+1 +33.00 +27.95 0.01 +38.28 0.45 TMO‑Non +0.02 TMO‑Non
HAL003+1 +0.56 +3.38 +82.87 +10.23 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
LCL665+1.015 +1.31 +2.01 9.75 TMO‑Non 10.97 TMO‑Non TMO‑Non TMO‑Non
NUM451+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
LCL687+1.001 +0.00 +0.15 +2.12 +3.04 0.49 TMO‑Non TMO‑Non TMO‑Non
KLE136+1 +0.10 +0.66 +144.50 +4.55 UNK‑Non TMO‑Non UNK‑Non TMO‑Non
LCL649+1.020 +7.74 +72.19 +32.50 TMO‑Non 60.73 TMO‑Non TMO‑Non TMO‑Non
LCL657+1.005 TMO‑Non TMO‑Non 13.15 TMO‑Non 10.61 TMO‑Non TMO‑Non +55.79
LCL659+1.001 +0.03 +0.38 +30.38 +3.60 TMO‑Non 132.41 TMO‑Non TMO‑Non
LCL669+1.015 +11.75 TMO‑Non +21.72 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR111+2 TMO‑Non +6.87 +119.65 +50.36 129.89 12.98 +23.73 TMO‑Non
SYN519+1 +0.47 +3.41 +66.34 +7.48 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA018+1 +0.26 +3.39 +40.37 +100.93 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
LCL669+1.010 +3.31 TMO‑Non +4.91 TMO‑Non 8.01 TMO‑Non TMO‑Non TMO‑Non
GEO213+3 +0.03 +0.31 +60.72 +3.37 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL655+1.010 +0.60 GUP‑Non +67.78 +70.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL653+1.005 +0.55 +1.13 +66.84 +14.31 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL651+1.010 +2.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL671+1.005 +0.72 +0.53 +62.90 +10.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO224+1 +0.01 +0.29 +61.08 +4.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL681+1.010 +2.64 +5.13 +62.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL653+1.015 +7.68 +6.17 +84.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL663+1.010 +1.80 +6.81 +62.33 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
LCL671+1.015 +13.08 +4.87 +61.88 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
LCL661+1.015 +0.24 +5.54 +34.03 +10.80 TMO‑Non 122.28 TMO‑Non TMO‑Non
GEO224+2 +0.02 +0.26 +60.71 +3.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL677+1.015 +0.25 +5.44 +60.33 +9.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL651+1.020 +16.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL689+1.001 +0.05 +0.37 +60.58 +3.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO254+3 +0.04 +0.32 +60.42 +3.71 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO214+3 +0.04 +0.31 +60.23 +3.82 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL689+1.020 +51.58 +11.55 +65.58 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO260+3 +0.05 +0.38 +60.47 +4.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO229+3 +0.04 +0.33 +60.13 +4.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL689+1.005 +0.85 +1.47 +62.65 +237.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL689+1.010 +5.98 +3.96 +64.66 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO259+3 +0.05 +0.33 +60.44 +5.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL677+1.010 +0.18 +4.70 +60.26 +5.55 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
GEO230+3 +0.04 +0.33 +60.19 +3.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB034+1* +3.63 TMO‑Non TMO‑Non +17.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB011+3* +3.72 TMO‑Non TMO‑Non +19.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB028+3* +2.84 GUP‑Non TMO‑Non +20.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB004+3* +2.76 GUP‑Non TMO‑Non +21.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB007+3* +3.74 GUP‑Non TMO‑Non +22.56 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB005+3* +3.38 GUP‑Non TMO‑Non +18.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB032+3* +2.84 GUP‑Non TMO‑Non +18.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB018+3* +14.55 GUP‑Non TMO‑Non +217.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB015+3* +3.15 GUP‑Non TMO‑Non +17.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB016+3* +2.48 GUP‑Non TMO‑Non +18.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB017+3* +3.68 GUP‑Non TMO‑Non +20.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL681+1.020 +283.94 +37.75 +147.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL647+1.015 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL673+1.020 +12.59 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
LCL647+1.010 +15.78 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL659+1.015 +0.43 GUP‑Non +64.49 +28.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL683+1.020 +2.49 +3.51 +62.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved 169/200 162/200 159/200 140/200 86/200 85/200 78/200 57/200
Av. CPU Time 3.33 14.43 34.93 17.42 7.52 15.92 2.40 7.23
Solutions 169/200 162/200 133/200 140/200 0/200 0/200 78/200 57/200
μEfficiency 728.43 484.37 338.06 118.80 263.50 288.32 327.43 219.28
SOTAC 0.24 0.22 0.21 0.22 0.17 0.21 0.20 0.16
New Solved 14/14 3/14 3/14 14/14 2/14 1/14 1/14 2/14
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for CNF

CNF/200 E
 1.4pre
Vampire
 0.6
Vampire
 1.8
iProver
 0.9
E‑Darwin
 1.4
iProver‑Eq
 0.7
E‑KRHyper
 1.2
LEO‑II
 1.2.8
Metis
 2.3
Otter
 3.3
HEN010‑4 0.00 +0.99 +0.03 10.55 8.29 TMO‑Non TMO‑Non 81.32 +0.68 +0.29
LCL089‑1 0.02 +8.35 +0.11 25.40 18.51 3.79 6.45 +14.46 +6.43 +0.32
SWV338‑2 0.00 +0.00 +0.00 8.87 0.01 0.71 0.02 UNK‑Non +0.00 +0.18
SYN762‑1 0.13 +10.75 +3.16 2.63 TMO‑Non 1.65 0.69 UNK‑Non TMO‑Non TMO‑Non
GRP094‑1 0.02 +0.00 +0.01 TMO‑Non 1.59 UNK‑Non GUP‑Non +3.26 +0.74 +0.30
RNG001‑4 0.05 +1.71 +0.14 8.54 0.16 TMO‑Non TMO‑Non UNK‑Non +0.16 +0.25
GRP048‑2 0.07 +10.48 +0.78 2.42 7.47 4.04 0.11 78.06 TMO‑Non +0.58
SYN075‑1 0.00 +0.00 +0.00 0.86 TMO‑Non 13.97 0.07 TMO‑Non +0.00 +0.61
SYN796‑1 0.14 +6.48 +0.88 0.97 46.06 0.62 0.29 UNK‑Non +15.08 +183.28
GRP078‑1 0.09 +0.06 +0.02 TMO‑Non 28.19 UNK‑Non TMO‑Non +1.03 +0.12 +0.38
HEN004‑6 0.01 +0.00 +0.04 15.36 0.16 TMO‑Non 6.44 +0.69 +0.17 +0.29
GEO002‑4 0.00 +0.85 +0.01 10.16 0.04 0.42 0.01 +0.21 +0.04 +0.29
LCL792‑1 0.03 +0.04 +0.03 0.23 14.92 4.45 0.56 +167.16 +6.35 GUP‑Non
SYN604‑1 0.30 +0.18 +0.18 5.94 TMO‑Non 2.41 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GRP095‑1 0.01 +0.01 +0.01 TMO‑Non 0.58 UNK‑Non GUP‑Non +1.63 +0.43 +0.36
RNG005‑1 0.17 +1.55 +0.01 0.61 0.49 UNK‑Non 0.34 TMO‑Non TMO‑Non +0.30
RNG001‑3 1.00 +0.04 +1.65 2.81 0.01 1.90 8.01 TMO‑Non +23.09 +0.62
LCL846‑1 0.05 +0.01 +0.03 0.16 12.55 2.82 0.70 +162.41 +7.53 GUP‑Non
SYN759‑1 0.85 +70.63 +3.64 2.77 TMO‑Non 2.79 0.44 UNK‑Non TMO‑Non TMO‑Non
HEN010‑5 0.04 +0.64 +1.57 TMO‑Non 2.45 TMO‑Non TMO‑Non TMO‑Non +1.34 +1.23
LCL199‑3 1.72 +12.27 +0.78 17.15 1.13 TMO‑Non 61.61 +20.16 TMO‑Non GUP‑Non
RNG006‑2 5.04 +2.37 +1.91 0.04 0.03 0.58 5.86 TMO‑Non TMO‑Non +0.79
SWV319‑2 0.00 +0.00 +0.00 0.05 0.03 0.66 0.01 UNK‑Non +0.00 +0.21
SYN696‑1 128.14 +0.09 +0.11 0.11 TMO‑Non 0.69 TMO‑Non TMO‑Non UNK‑Non GUP‑Non
GRP068‑1 0.01 +0.00 +0.00 TMO‑Non 1.50 UNK‑Non GUP‑Non +0.62 +0.26 +0.84
RNG039‑1 0.01 +0.01 +0.01 14.73 1.74 TMO‑Non 15.77 UNK‑Non +0.08 +0.53
LCL218‑1 1.69 +0.09 +2.05 11.90 TMO‑Non 4.13 1.30 +32.35 +2.41 +0.24
SET822‑2 0.00 +0.00 +0.00 0.02 0.00 TMO‑Non 0.00 TMO‑Non +0.00 +0.16
GRP039‑6 0.34 +0.13 +0.83 9.62 TMO‑Non 8.35 41.08 TMO‑Non UNK‑Non TMO‑Non
GRP101‑1 0.38 +1.52 +0.02 TMO‑Non 21.78 UNK‑Non TMO‑Non +2.86 +0.65 +2.30
LCL201‑3 0.80 +0.61 +108.90 18.66 1.00 TMO‑Non 62.64 +21.33 TMO‑Non GUP‑Non
PLA001‑1 1.29 +0.00 +0.00 0.85 0.00 4.93 0.50 UNK‑Non UNK‑Non GUP‑Non
SET016‑1 0.00 +0.00 +0.01 10.15 0.05 TMO‑Non 0.01 +0.04 +0.02 +0.33
SYN698‑1 TMO‑Non +0.14 +0.10 0.18 TMO‑Non 0.81 TMO‑Non UNK‑Non UNK‑Non GUP‑Non
CAT003‑2 0.02 +0.04 +2.92 55.96 0.06 TMO‑Non TMO‑Non +58.84 +0.21 +0.22
HEN012‑1 0.00 +0.51 +0.01 0.75 3.47 TMO‑Non 0.02 +0.21 TMO‑Non +0.19
SYN597‑1 0.99 +0.00 +1.60 0.05 1.33 0.89 TMO‑Non UNK‑Non TMO‑Non GUP‑Non
SET836‑1 0.36 +0.04 +0.02 0.11 0.33 1.31 0.25 TMO‑Non TMO‑Non GUP‑Non
SET010‑1 0.24 +13.71 +0.21 1.83 0.14 2.18 TMO‑Non 77.20 +4.40 +44.13
GRP069‑1 0.00 +0.01 +0.01 TMO‑Non 1.22 UNK‑Non GUP‑Non +0.60 +0.12 +0.80
CAT009‑4 0.05 +0.85 +0.02 24.07 0.02 UNK‑Non 0.08 +7.24 TMO‑Non +1.68
LCL237‑1 0.96 +10.66 +7.57 14.10 TMO‑Non 2.51 1.05 +4.77 +165.02 GUP‑Non
ALG391‑1 0.13 +0.03 +0.10 0.24 TMO‑Non TMO‑Non 1.58 TMO‑Non +0.98 GUP‑Non
SYN067‑1 0.37 +179.59 +0.52 0.07 TMO‑Non 0.82 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
GRP057‑1 0.72 +3.49 +2.70 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL226‑3 0.00 +0.00 +0.00 166.69 0.45 1.62 TMO‑Non +35.89 +0.54 GUP‑Non
PUZ042‑1 4.05 +8.60 +0.93 0.23 TMO‑Non 1.50 0.26 TMO‑Non +205.62 +1.02
LCL755‑1 0.05 +0.02 +0.02 0.15 2.06 1.71 0.56 TMO‑Non +1.04 GUP‑Non
FLD068‑3 11.28 +13.47 +34.01 16.85 TMO‑Non 9.03 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
GRP058‑1 0.02 +0.49 +0.75 TMO‑Non TMO‑Non UNK‑Non GUP‑Non +21.24 +7.40 GUP‑Non
HEN006‑2 0.93 +1.43 +1.12 138.02 168.95 TMO‑Non 5.32 +14.86 TMO‑Non +0.21
LCL250‑1 16.93 +10.12 +0.87 98.74 TMO‑Non 61.63 1.16 UNK‑Non +22.99 GUP‑Non
MGT043‑1 1.14 +0.00 +0.00 0.30 0.03 0.63 0.02 TMO‑Non +1.03 +8.93
SYN036‑1 4.49 +6.24 +1.15 0.03 TMO‑Non 0.46 1.06 UNK‑Non +8.64 TMO‑Non
GRP748‑3 0.03 +0.71 +0.70 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +13.92 TMO‑Non GUP‑Non
HEN007‑3 0.00 +0.17 +11.05 TMO‑Non 2.13 TMO‑Non TMO‑Non +0.69 +0.17 +1.29
PLA016‑1 0.01 +0.83 +0.00 1.97 1.74 0.64 TMO‑Non +0.24 TMO‑Non GUP‑Non
SWV354‑2 0.00 +0.00 +0.00 0.34 0.04 0.83 0.01 UNK‑Non +0.03 +0.60
SYN612‑1 5.68 +0.00 +0.00 0.05 TMO‑Non 0.95 TMO‑Non UNK‑Non TMO‑Non GUP‑Non
GRP098‑1 0.09 +0.03 +0.02 TMO‑Non 126.74 TMO‑Non GUP‑Non +18.87 +0.37 GUP‑Non
HEN009‑3 0.00 +0.01 +0.28 TMO‑Non 0.41 TMO‑Non TMO‑Non +3.64 +1.47 +1.66
RNG004‑3 181.28 +28.16 +19.03 TMO‑Non TMO‑Non TMO‑Non 178.16 TMO‑Non TMO‑Non +3.19
LDA007‑2 0.01 +0.11 +0.01 164.28 0.07 0.86 59.28 +0.83 +0.13 +0.48
SET012‑2 1.46 +1.15 +0.33 23.47 TMO‑Non 1.31 TMO‑Non +0.31 +15.91 +31.17
GRP074‑1 0.02 +0.19 +0.99 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
COL002‑3 TMO‑Non +1.49 TMO‑Non 293.50 TMO‑Non UNK‑Non 0.02 TMO‑Non TMO‑Non GUP‑Non
PUZ040‑1 0.02 +7.81 +0.15 1.46 TMO‑Non 5.31 0.62 TMO‑Non +109.34 +0.21
LCL825‑1 0.02 +0.01 +0.03 90.05 TMO‑Non UNK‑Non 1.13 +27.67 +0.55 GUP‑Non
SYN657‑1 0.05 +0.01 +0.01 0.01 TMO‑Non 0.78 TMO‑Non UNK‑Non TMO‑Non GUP‑Non
COL075‑1 0.15 +0.28 +0.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +21.82 GUP‑Non
COL002‑2 0.00 +0.00 TMO‑Non 171.14 2.16 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +0.35
LCL875‑1* 0.00 +0.07 +1.71 10.28 32.96 0.97 4.26 +0.86 TMO‑Non GUP‑Non
SWV311‑2 0.00 +0.00 +0.00 0.86 0.07 0.49 0.27 UNK‑Non +0.11 +0.17
SYN645‑1 1.72 +0.32 +1.08 1.50 TMO‑Non 1.82 TMO‑Non UNK‑Non TMO‑Non +3.14
GRP109‑1 0.04 +0.09 +0.04 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +5.15 +0.53 GUP‑Non
BOO014‑3 0.32 +4.80 +3.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.03
PLA005‑1 0.01 +0.82 +0.00 10.16 TMO‑Non 0.48 TMO‑Non +0.26 TMO‑Non GUP‑Non
SWW409‑1* 0.10 +13.65 +0.00 3.02 0.38 TMO‑Non 0.32 +3.03 TMO‑Non GUP‑Non
SWV248‑2 0.01 +0.00 +0.00 0.09 TMO‑Non 0.49 TMO‑Non +0.18 TMO‑Non TMO‑Non
GRP059‑1 0.04 +0.64 +0.47 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +20.34 TMO‑Non GUP‑Non
ROB014‑2 0.06 +46.12 +11.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
PLA013‑1 0.01 +0.79 +0.00 10.11 TMO‑Non 0.45 TMO‑Non +0.16 TMO‑Non GUP‑Non
HWV021‑2 0.01 +0.14 +0.00 2.58 0.12 TMO‑Non 0.11 TMO‑Non TMO‑Non GUP‑Non
FLD007‑3 0.23 +8.75 +0.00 0.19 TMO‑Non 1.45 127.87 +23.98 TMO‑Non +3.01
SWC424‑1.002.002 15.85 +153.91 +53.87 TMO‑Non TMO‑Non TMO‑Non 0.75 TMO‑Non TMO‑Non TMO‑Non
LCL250‑3 0.01 +0.58 +169.62 TMO‑Non 49.62 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
PLA004‑2 0.00 +0.81 +0.01 10.14 TMO‑Non 0.72 TMO‑Non +0.25 TMO‑Non GUP‑Non
SET821‑2 0.00 +0.00 +0.01 3.49 0.36 0.71 TMO‑Non TMO‑Non +0.01 +0.37
SYN611‑1 227.39 +0.00 +0.00 0.07 TMO‑Non 1.17 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
GRP347‑1 1.45 +0.92 +0.34 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ056‑1 106.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +0.34
SYN616‑1 TMO‑Non +0.00 +1.62 0.03 3.14 1.08 253.05 TMO‑Non TMO‑Non GUP‑Non
SWV256‑1 0.16 +0.07 +0.05 0.43 4.59 TMO‑Non 0.94 +62.34 TMO‑Non GUP‑Non
FLD064‑1 1.26 +0.70 +0.19 11.16 TMO‑Non 0.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV567‑1.015 8.79 +8.26 +6.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +30.68 GUP‑Non
BOO008‑1 21.29 +6.00 +5.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.25
PLA023‑1 0.07 +0.83 +0.01 10.63 TMO‑Non 1.08 TMO‑Non +0.49 TMO‑Non GUP‑Non
COL124‑1 0.33 +0.20 +0.02 0.16 0.44 TMO‑Non 0.17 TMO‑Non TMO‑Non GUP‑Non
SET013‑2 0.52 +95.54 +0.80 2.80 11.11 88.78 TMO‑Non +3.88 TMO‑Non TMO‑Non
GRP073‑1 0.09 +0.16 +4.45 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
BOO012‑3 1.01 +1.54 +2.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.96
SWV014‑1 0.00 +0.00 +0.00 10.16 TMO‑Non 0.48 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SET839‑2 0.00 +0.00 +0.00 16.12 TMO‑Non UNK‑Non TMO‑Non UNK‑Non +0.02 +0.28
SYN353‑1 0.00 +8.72 +0.81 10.03 TMO‑Non 0.42 TMO‑Non UNK‑Non +205.68 TMO‑Non
BOO038‑1 0.61 +37.15 +108.27 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
HWC003‑1 0.08 +0.65 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL223‑1 TMO‑Non +1.76 +239.79 32.43 17.40 20.51 10.20 TMO‑Non TMO‑Non GUP‑Non
LCL851‑1 0.09 +0.02 +0.05 0.65 4.46 TMO‑Non 0.78 +177.90 TMO‑Non GUP‑Non
SET013‑1 0.14 +8.77 +0.41 1.21 11.05 2.18 TMO‑Non +3.58 TMO‑Non TMO‑Non
GRP071‑1 0.38 +0.53 +3.16 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
HEN011‑1 2.11 +262.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +1.48
LCL019‑1 25.15 +18.55 +0.97 222.30 TMO‑Non 41.52 TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL839‑1 0.15 +0.08 +0.02 0.10 0.32 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
COM003‑1 TMO‑Non +1.06 +0.48 0.32 TMO‑Non 0.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP072‑1 0.04 +0.17 +9.63 TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non
HEN004‑1 0.01 +0.53 +0.09 39.01 TMO‑Non TMO‑Non 230.22 +2.84 TMO‑Non +0.27
RNG001‑2 TMO‑Non TMO‑Non +29.24 37.77 0.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +103.30
SET018‑1 0.00 +0.00 +0.00 58.27 0.04 TMO‑Non 0.03 +0.11 +0.07 +90.06
SET012‑1 0.03 +8.71 +0.80 0.16 TMO‑Non 0.52 TMO‑Non +0.45 +0.00 TMO‑Non
SWV541‑1.010 0.43 +2.21 +1.80 UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
ROB015‑2 152.47 +77.06 +12.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non
LCL444‑2 13.11 +20.56 +218.77 TMO‑Non TMO‑Non TMO‑Non 63.46 TMO‑Non TMO‑Non GUP‑Non
CAT004‑3 1.09 +0.00 +1.28 10.60 15.00 TMO‑Non 0.09 TMO‑Non UNK‑Non TMO‑Non
ANA002‑4 67.15 +0.33 +49.40 1.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL078‑2 TMO‑Non +0.15 +0.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
COL044‑3 0.04 +0.18 +0.24 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +6.80 TMO‑Non GUP‑Non
NUM017‑1 3.41 +8.83 +2.18 55.86 TMO‑Non TMO‑Non 268.71 TMO‑Non TMO‑Non +31.53
SWV267‑1 0.99 +0.05 +0.07 0.34 4.74 UNK‑Non 0.88 TMO‑Non TMO‑Non GUP‑Non
ANA002‑2 88.77 +0.11 +51.29 0.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV003‑2 1.07 +41.85 +2.06 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non +245.29 GUP‑Non
LAT002‑1 0.78 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL249‑1 18.87 +73.60 +224.12 99.62 TMO‑Non 53.13 115.73 UNK‑Non TMO‑Non GUP‑Non
LCL815‑1 0.19 +0.02 +0.01 0.45 1.02 UNK‑Non 0.50 TMO‑Non UNK‑Non GUP‑Non
ANA002‑1 201.00 +231.68 +81.28 9.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV505‑1.030 0.13 +0.21 +0.81 TMO‑Non 6.03 TMO‑Non TMO‑Non 224.41 TMO‑Non GUP‑Non
SWV249‑2 0.19 +5.62 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL395‑1 6.22 TMO‑Non +99.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
GEO084‑1 1.52 +2.12 +0.41 0.79 TMO‑Non 259.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
FLD009‑1 TMO‑Non +2.17 +5.22 0.23 TMO‑Non 46.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV565‑1.007 13.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
COL044‑5 1.80 +70.79 +0.28 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 78.55 TMO‑Non GUP‑Non
LCL374‑1 5.20 TMO‑Non +105.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV303‑2 0.01 +0.03 +0.02 114.97 3.65 TMO‑Non 0.15 TMO‑Non TMO‑Non GUP‑Non
ANA002‑3 108.70 +26.62 +53.14 5.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP401‑1 10.35 +2.63 +4.41 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ANA003‑1 0.17 +0.63 +36.00 23.64 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
ANA003‑2 0.04 +1.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL836‑1 25.80 +1.75 +0.01 7.10 1.83 UNK‑Non 0.32 TMO‑Non TMO‑Non GUP‑Non
FLD072‑4 119.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non
RNG034‑1 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL788‑1 0.03 +2.47 +0.06 TMO‑Non 1.01 TMO‑Non TMO‑Non TMO‑Non +0.57 GUP‑Non
SWV501‑1.040 78.06 +14.13 +1.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL835‑1 0.90 +0.90 +1.35 10.80 0.87 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
GRP400‑1 TMO‑Non +13.53 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL777‑1 0.02 +0.00 +0.02 139.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.49 GUP‑Non
SWV565‑1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV317‑1 1.13 +0.06 +0.14 TMO‑Non 5.41 UNK‑Non 2.91 TMO‑Non +3.72 GUP‑Non
RNG029‑3 32.79 TMO‑Non +95.76 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +22.38 GUP‑Non
GRP039‑1 0.70 +8.44 +1.49 49.73 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +46.29
SWV540‑1.010 39.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SET820‑1 0.33 +0.07 +0.02 2.95 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
LAT015‑1 24.62 +9.21 +7.53 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non
LCL800‑1 0.31 +1.87 +0.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non
SWV539‑1.010 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
GEO062‑3 0.23 +0.54 +4.83 2.86 298.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.48
LAT247‑1 3.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV258‑1 1.03 +3.57 +0.19 0.89 9.19 UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SWV555‑1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
GRP026‑1 0.10 +0.07 +5.88 TMO‑Non TMO‑Non 3.39 4.42 +22.56 TMO‑Non GUP‑Non
GRP198‑1 TMO‑Non +194.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL091‑2 0.88 +0.04 +1.10 112.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SET862‑2 TMO‑Non +0.94 +0.09 17.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW437‑1* 0.00 +0.00 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.75 TMO‑Non GUP‑Non
COM010‑1 0.84 +0.06 +0.18 TMO‑Non TMO‑Non 15.67 GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SWV286‑1 11.53 +0.01 +0.03 2.97 TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non
SET849‑1 0.74 +1.04 +0.10 35.60 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non GUP‑Non
LCL803‑1 0.68 +272.34 +227.57 TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SET860‑2 52.32 +0.89 +0.00 0.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV271‑1 0.97 +0.06 +0.09 2.55 74.37 UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SWV353‑1 75.23 +0.19 +0.15 1.13 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SET031‑4 0.50 +0.00 +0.07 41.48 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SET013‑3 2.63 +0.12 +0.75 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +1.48 TMO‑Non GUP‑Non
SET845‑1 0.32 +0.06 +0.02 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SWV770‑1 0.81 +20.45 +2.96 11.76 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWW429‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SET015‑4 0.11 +0.00 +0.02 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +2.31 TMO‑Non TMO‑Non
SWV749‑1 2.04 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
LCL746‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV340‑1 1.09 +11.35 +0.08 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non UNK‑Non GUP‑Non
NUM012‑1 58.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
GEO009‑1 218.11 +141.46 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV251‑1 TMO‑Non +23.05 +28.47 86.41 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
PUZ064‑1 3.74 +178.46 +3.27 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
LCL824‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SET039‑3 76.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
LCL783‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
LCL833‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
LCL745‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non
SWV315‑1 0.83 +0.21 +3.43 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non GUP‑Non
SWC152‑1 0.99 +2.33 +30.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved 178/200 177/200 173/200 116/200 72/200 64/200 63/200 57/200 56/200 55/200
Av. CPU Time 13.06 14.62 12.95 24.16 14.42 10.93 24.60 26.62 20.41 10.50
Solutions 0/200 177/200 173/200 0/200 0/200 0/200 0/200 52/200 56/200 55/200
μEfficiency 679.42 610.46 644.79 268.27 215.91 205.46 214.64 126.37 186.67 207.83
SOTAC 0.24 0.21 0.20 0.17 0.15 0.15 0.14 0.15 0.14 0.15
New Solved 3/4 3/4 3/4 2/4 2/4 1/4 2/4 3/4 0/4 0/4
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: THF TNT TFA FOF FNT CNF EPR UEQ LTB TNE TEQ TTN TTE TFI TFR FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC ISA MZR SMO

Results for EPR

EPR/150 iProver
 0.9
iProver
 0.8
Vampire
 1.8
iProver‑Eq
 0.7
E
 1.4pre
Metis
 2.3
E‑Darwin
 1.4
FIMO
 0.2
E‑KRHyper
 1.2
SYN495‑1 +0.02 +0.03 0.00 0.65 0.00 +0.03 +0.03 +0.38 0.04
SYN819‑1 10.92 10.11 +0.30 1.39 0.37 +6.77 TMO‑Non TMO‑Non TMO‑Non
SYN812‑1 +4.03 +5.15 2.54 6.08 3.54 +126.91 TMO‑Non TMO‑Non TMO‑Non
SYN860‑1 14.34 9.17 +0.49 2.11 0.82 +12.27 TMO‑Non TMO‑Non TMO‑Non
SYN830‑1 +4.81 +7.45 4.26 8.78 5.04 +98.18 TMO‑Non TMO‑Non TMO‑Non
SWV424‑1.300 5.66 4.13 +12.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ028‑1 +0.02 +0.01 0.00 3.29 0.00 +0.01 +0.03 +0.23 0.02
SWV420‑1.020 15.37 19.99 TMO‑Non 265.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP134‑1.005 +0.24 +0.32 0.61 46.15 TMO‑Non TMO‑Non +0.13 +0.36 0.04
SWV424‑1.500 6.84 14.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN545‑1 +0.07 +0.21 63.83 2.21 TMO‑Non TMO‑Non +0.17 +1.86 288.37
SYN877‑1 1.53 1.08 +2.37 0.45 0.02 +0.56 34.13 TMO‑Non GUP‑Non
GRP124‑7.005 +0.19 +0.19 0.34 4.81 TMO‑Non TMO‑Non +0.23 +0.40 0.04
SYN850‑1 4.70 14.22 +1.57 4.27 1.84 +36.29 TMO‑Non TMO‑Non TMO‑Non
NLP012‑1 +0.06 +0.05 0.12 1.05 0.01 +0.11 +0.02 +0.26 0.04
SYN889‑1 0.31 0.31 +0.07 0.70 0.02 +0.33 3.39 TMO‑Non GUP‑Non
GRP130‑3.004 +0.10 +0.10 0.13 1.79 27.20 TMO‑Non +0.08 +0.52 0.03
SYN813‑1 14.12 14.16 +0.62 1.96 0.58 +12.50 TMO‑Non TMO‑Non TMO‑Non
SYN829‑1 +4.48 +7.45 3.67 8.31 4.65 +84.70 TMO‑Non TMO‑Non TMO‑Non
SYN896‑1 7.15 4.95 +0.11 0.57 0.05 +1.31 TMO‑Non TMO‑Non GUP‑Non
SYN322‑1 0.01 0.01 0.00 0.64 0.00 +0.00 +0.00 +0.21 0.00
SWV422‑1.205 18.16 18.88 +31.19 112.97 TMO‑Non TMO‑Non 148.81 TMO‑Non TMO‑Non
SYN429‑1 +0.47 +0.38 121.99 11.05 TMO‑Non TMO‑Non TMO‑Non +2.73 TMO‑Non
PUZ037‑3 6.56 4.20 +12.07 1.56 36.16 UNK‑Non 2.92 GUP‑Non 25.53
SYN059‑1 +0.01 +0.01 0.00 0.58 0.00 +0.01 +0.01 +0.31 0.02
SYN883‑1 2.73 4.30 +0.21 0.62 0.03 +1.19 TMO‑Non TMO‑Non GUP‑Non
PUZ001‑3 +0.01 +0.00 0.00 0.61 0.00 +0.00 +0.00 +0.30 0.01
SWV418‑1.300 40.89 17.20 +39.71 45.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN435‑1 +0.09 +0.03 0.30 0.58 TMO‑Non TMO‑Non +0.13 +0.50 0.78
SYN833‑1 2.19 2.13 +0.27 1.02 0.17 +3.48 107.75 TMO‑Non GUP‑Non
SYN419‑1 +0.17 +0.13 0.19 1.24 0.45 TMO‑Non +0.26 +1.03 TMO‑Non
SWV420‑1.010 3.23 3.77 +280.66 194.07 TMO‑Non TMO‑Non TMO‑Non 13.53 TMO‑Non
SYN517‑1 +0.01 +0.02 0.00 0.42 0.00 +0.03 +0.01 +0.32 0.02
SYN866‑1 14.74 14.33 +1.55 4.06 1.85 +38.17 TMO‑Non TMO‑Non TMO‑Non
SYN317‑1 +0.01 +0.00 0.00 0.43 0.00 +0.00 +0.00 +0.20 0.01
PLA031‑1.004 35.18 166.77 +13.69 TMO‑Non 2.12 TMO‑Non 87.31 TMO‑Non 13.93
MGT066‑1 +0.01 +0.00 0.00 1.19 TMO‑Non TMO‑Non +0.00 +0.21 0.01
PLA031‑1.003 11.21 12.19 +16.41 110.08 21.33 TMO‑Non 7.58 TMO‑Non 3.92
SYN888‑1 +0.17 +0.36 0.11 1.05 0.29 +1.82 TMO‑Non TMO‑Non TMO‑Non
SYN857‑1 6.33 5.92 +0.17 1.58 0.20 +3.82 TMO‑Non TMO‑Non TMO‑Non
SYN527‑1 +0.01 +0.01 0.00 0.44 0.00 +0.02