Results for:
THF THN TFA TFN FOF FNT EPR LTB TNE TEQ TNN TNQ TFI TFR TFE TIN TRN TEN FNE FEQ FNN FNQ EPT EPS HLL HL4 ISA MZR

Results for THF (Higher-order Theorems)

Higher-order Theorems Satallax
 2.8
LEO‑II
 1.6.2
Satallax‑MaLeS
 1.3
Isabelle
 2015
SEV300^5* +0.01 +22.73 1.54 TMO‑Non
SEV095^5 +5.88 TMO‑Non 1.60 22.70
PUZ081^1 +0.01 +0.01 1.71 21.72
SYO109^5 +0.01 +0.01 1.58 6.48
SEU734^1 +13.28 TMO‑Non 11.40 91.01
SEV238^5 +0.01 TMO‑Non 1.56 6.63
SWV431^2 +0.01 +0.02 1.63 TMO‑Non
PUZ047^5 +0.01 +0.01 52.65 21.86
SEU477^1 +0.01 +9.72 1.49 23.67
SEV052^5 +1.62 +1.04 TMO‑Non 22.25
SEU585^2 +20.02 +0.01 152.11 28.11
SYO105^5 +22.63 +0.01 39.22 6.49
SET576^7 +0.01 +0.01 1.64 TMO‑Non
SYO093^5 +0.01 +0.01 1.56 6.45
QUA005^1 TMO‑Non +147.49 TMO‑Non 221.76
SYO309^5 TMO‑Non +54.67 TMO‑Non TMO‑Non
SYO066^4.002 +2.42 +0.02 2.97 88.72
SEU948^5 +0.02 TMO‑Non 259.88 TMO‑Non
SEU776^1 +42.67 TMO‑Non 1.69 184.08
SYO264^5 +0.01 +4.89 1.63 TMO‑Non
CSR146^1 +0.01 TMO‑Non 1.55 8.50
SEV083^5 +1.61 +1.08 TMO‑Non 22.01
SEU800^1 +42.70 TMO‑Non 1.59 90.36
SYO314^5 +0.01 +0.01 98.51 6.62
NUM926^1 +0.01 TMO‑Non TMO‑Non 69.86
SYO315^5 +0.01 +0.01 25.72 6.40
CSR120^2 +70.60 +0.03 TMO‑Non 82.12
SYO113^5 +0.01 +0.01 36.45 6.57
SEU747^1 +1.34 +7.70 14.66 85.37
SEV310^5 +0.82 +0.01 47.37 81.65
ALG251^2 +2.23 +1.26 1.60 175.60
SYO311^5 +0.02 +0.04 6.02 6.55
SEU750^1 +47.53 +7.81 6.29 90.02
SYN381^5 +0.01 +0.02 1.48 6.45
SEU968^5 +6.70 TMO‑Non TMO‑Non TMO‑Non
SEV382^5 +0.01 +0.02 1.57 22.38
NLP001^7 +0.01 +285.09 1.52 23.53
SEV082^5 +1.53 +1.01 TMO‑Non 22.29
SEU625^2 TMO‑Non +0.04 1.79 81.61
SYO327^5 TMO‑Non TMO‑Non 27.58 6.53
SWW474^1 +30.16 +109.26 TMO‑Non 84.16
SYO374^5 +0.01 +0.01 1.58 44.51
SEV119^5 +8.28 TMO‑Non TMO‑Non 46.34
SEU927^5 +0.01 +74.95 1.64 6.42
SET096^1 +0.01 +0.01 1.69 6.51
PUZ081^3 +0.01 +0.01 5.54 6.47
SEU668^2 +0.01 +130.41 1.63 26.78
SYO299^5 +0.01 +0.01 1.62 6.64
LCL713^1 +160.59 +0.01 1.61 85.72
SYO385^5 +0.01 +0.01 5.93 7.21
SEU751^2 +0.02 +0.02 1.57 80.58
SYO026^1 +0.01 +0.02 1.55 6.66
SEU698^1 +0.01 TMO‑Non 1.69 69.69
SEV384^5 +6.68 +0.01 1.62 22.99
SEU534^1 +0.40 TMO‑Non TMO‑Non 35.46
SYO262^5 +0.05 TMO‑Non 1.54 6.44
SEU620^1 +0.01 TMO‑Non 8.68 29.48
SYN364^5 +0.02 +0.01 1.62 6.51
SEU626^1 +0.01 +4.61 3.48 89.19
NUM760^1 TMO‑Non +0.01 TMO‑Non 88.80
CSR139^2 UNK‑Non +4.12 72.66 21.61
SYO114^5 +0.02 +0.01 1.75 6.39
AGT039^1 +0.02 +0.01 1.66 TMO‑Non
SYO018^1 +0.01 +0.01 1.51 7.23
SEU822^1 +0.03 TMO‑Non 1.59 83.65
SYO170^5 +20.09 +0.01 15.79 68.03
SYO448^1 +0.01 +0.01 1.57 81.63
SYO288^5 TMO‑Non TMO‑Non 1.60 TMO‑Non
SEU778^1 +0.01 TMO‑Non 1.62 90.21
SYO287^5 TMO‑Non TMO‑Non 1.56 TMO‑Non
SEU598^1 +13.16 +7.02 1.93 89.30
PUZ094^5 +1.24 +0.01 1.60 66.74
SET557^1 +1.89 +0.01 1.56 TMO‑Non
SYO209^5 +22.89 +43.11 1.56 TMO‑Non
GEG005^1 +2.22 +0.01 3.22 92.53
SYO364^5 +23.31 +0.01 1.54 TMO‑Non
SEU524^1 +0.01 TMO‑Non TMO‑Non 22.05
SYO310^5 +1.61 +0.01 2.00 6.58
SYO542^1 +0.12 +2.15 1.55 68.23
SYO376^5 +0.01 +0.01 1.47 6.56
SEU708^2 +0.03 TMO‑Non 1.57 9.32
SYO325^5 +1.59 TMO‑Non 2.57 27.81
SEU821^1 +0.02 TMO‑Non 1.60 83.61
SEV086^5 +1.60 +6.81 1.53 TMO‑Non
SEU771^1 +1.38 TMO‑Non 1.89 83.54
SYO386^5 +0.01 +0.01 52.59 10.93
SEV108^5 +2.25 +41.85 1.74 61.90
SEU960^5 +0.01 TMO‑Non 1.60 TMO‑Non
GEG011^1 +2.09 +0.02 1.58 88.96
NUM762^1 TMO‑Non +0.01 TMO‑Non 30.58
SEV028^5 +4.82 +0.01 18.61 38.13
SYO169^5 +20.05 +0.01 13.41 67.90
GEG009^1 TMO‑Non +0.15 3.52 TMO‑Non
CSR144^1 +0.01 TMO‑Non 1.49 23.33
SEU657^2 +86.34 +0.01 1.58 6.51
SYO180^5 +0.01 +0.01 3.49 6.56
SEU681^2 +0.01 +0.01 2.00 6.53
CSR134^1 +5.39 TMO‑Non 2.61 43.90
SEU933^5 +0.01 TMO‑Non 1.95 38.42
SYO391^5 +7.99 +1.42 1.60 89.47
SYN391^4 +0.02 +7.82 1.60 22.83
SEV254^5 +0.01 TMO‑Non 1.55 7.12
SEU588^1 +12.69 TMO‑Non 1.57 89.06
SYO387^5 +4.65 +0.01 1.64 88.21
SEU552^1 +0.01 +0.01 1.57 21.75
SEV072^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU712^1 +14.90 +5.83 2.54 89.85
SYN036^5 +0.01 +0.01 1.61 6.44
SEU811^2 TMO‑Non +0.02 TMO‑Non 32.25
SEV148^5 TMO‑Non TMO‑Non 2.43 81.99
SEU875^5 +4.04 TMO‑Non 1.49 22.41
SYO560^1 +0.01 +100.69 1.54 6.63
SEU580^1 +1.19 TMO‑Non 286.08 88.61
PUZ031^5 +8.18 +0.04 1.58 59.89
SEV123^5 +0.01 +17.35 1.60 21.82
SYO388^5 +7.79 +0.02 1.57 86.40
SYO068^4.020 +1.75 +0.02 1.63 66.72
SYO377^5 +0.01 TMO‑Non 1.55 6.61
SEU805^2 +0.01 +0.02 1.61 6.57
SEV019^5 +4.78 +0.01 2.48 6.82
SYO068^4.005 +0.01 +0.01 1.58 81.74
SYO179^5 +1.87 +0.01 73.67 70.92
SEU669^1 +15.17 TMO‑Non TMO‑Non 177.53
SEV246^6 +5.52 TMO‑Non 10.02 67.62
GEG014^1 +4.83 TMO‑Non 1.59 91.91
SEV155^5 +0.95 TMO‑Non 1.68 81.69
SYO016^1 +0.02 TMO‑Non 1.56 6.58
SEV246^5 +5.38 TMO‑Non TMO‑Non 67.51
SYO543^1 +0.01 +0.01 1.63 67.80
GRA027^1 +5.89 TMO‑Non TMO‑Non 17.33
AGT028^1 +0.01 +0.01 1.78 TMO‑Non
SEV064^5 +5.78 TMO‑Non 1.47 TMO‑Non
SEU602^2 +0.01 TMO‑Non 1.53 11.89
CSR131^1 +4.80 +76.18 162.84 TMO‑Non
SCT171^1 +0.01 TMO‑Non 2.60 21.80
SYO174^5 +2.00 TMO‑Non 1.50 11.19
SWV426^4 +0.02 +0.01 1.56 TMO‑Non
SEV243^5 +0.01 TMO‑Non 18.09 67.78
SEU614^1 +13.61 +1.65 11.79 30.54
SEV156^5 +1.02 TMO‑Non 1.57 81.72
SEU632^2 +29.06 +0.01 7.29 6.63
SEV157^5 +1.26 TMO‑Non 1.55 81.66
GEG002^1 +2.10 +0.01 14.65 81.64
SEV050^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU932^5 +0.01 +0.01 1.53 44.64
SYO173^5 TMO‑Non +0.01 1.55 24.06
CSR127^2 TMO‑Non +0.21 TMO‑Non 82.46
SYO332^5 +3.33 UNK‑Non TMO‑Non TMO‑Non
SET582^5 +0.01 +0.01 1.51 6.42
SEV414^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV260^5 UNK‑Non TMO‑Non 178.14 22.10
SEV085^5 TMO‑Non TMO‑Non TMO‑Non 175.91
SWV061^7 +1.10 TMO‑Non 1.72 36.27
SEV153^5 TMO‑Non TMO‑Non 163.27 57.68
SET611^3 +0.01 +0.01 1.59 TMO‑Non
SEV066^5 +1.75 TMO‑Non 1.63 TMO‑Non
SEV242^5 +0.01 +146.84 1.73 66.87
SYO548^1 +1.75 TMO‑Non 1.51 TMO‑Non
SEU638^1 +44.13 TMO‑Non 2.79 176.29
SEV113^5 TMO‑Non TMO‑Non TMO‑Non 21.58
SEU523^1 +0.02 +0.01 TMO‑Non 88.89
GRA030^1 +0.01 TMO‑Non 1.64 TMO‑Non
NUM830^5 +123.85 +0.01 1.54 6.62
SYO269^5 +6.44 TMO‑Non 1.50 TMO‑Non
SEU483^1 TMO‑Non TMO‑Non 82.14 154.16
SYO334^5 TMO‑Non +0.01 TMO‑Non TMO‑Non
SYN397^7 +0.01 +1.24 4.04 81.81
SEV305^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR121^2 +0.01 +0.01 1.56 82.10
MSC021^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU597^1 +12.68 TMO‑Non 1.58 89.07
SEV165^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV428^2 +0.68 +3.91 1.67 TMO‑Non
SYO329^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV210^5 +0.01 TMO‑Non 3.55 81.73
SEV068^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEV011^5 +79.47 +0.06 TMO‑Non TMO‑Non
LCL729^5 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SEV196^5 TMO‑Non +0.01 18.24 67.31
GRA028^1 UNK‑Non TMO‑Non TMO‑Non 9.44
AGT032^2 TMO‑Non +0.01 58.64 TMO‑Non
SEV154^5 TMO‑Non TMO‑Non 163.86 68.17
AGT034^2 +21.42 +0.01 43.77 TMO‑Non
SEU940^5 +9.89 TMO‑Non TMO‑Non TMO‑Non
SEU619^1 +236.53 TMO‑Non 8.67 29.42
SYO326^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
AGT035^2 +148.27 +0.01 52.53 TMO‑Non
SEV069^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET062^7 +109.86 +0.42 TMO‑Non TMO‑Non
SEV312^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU509^1 +0.01 +0.02 1.54 118.17
SYO533^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU726^2 +0.01 +0.01 1.61 68.59
SEV244^5 TMO‑Non TMO‑Non TMO‑Non 67.66
CSR146^3 +0.11 TMO‑Non 1.53 8.42
SEV101^5 +5.23 TMO‑Non 1.62 TMO‑Non
NUM636^1 +29.12 +0.02 11.01 TMO‑Non
SEV100^5 +2.70 TMO‑Non 1.52 TMO‑Non
SYO441^1 +0.01 +0.01 1.61 81.90
SYO509^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925^2 +13.53 +6.67 1.93 85.75
SEU803^1 +45.46 TMO‑Non 2.13 173.57
SYO558^1 +0.01 +0.01 1.55 52.10
SYN393^4.004 +120.18 TMO‑Non TMO‑Non 82.07
SWV445^1 +10.15 +0.01 4.12 TMO‑Non
SET619^5 +0.01 +0.02 1.55 6.48
AGT040^1 +0.03 +0.01 1.52 TMO‑Non
SEU486^1 +0.03 TMO‑Non 2.71 93.37
ALG266^2 TMO‑Non +1.35 43.74 175.72
LCL690^1 +2.01 +0.02 1.63 TMO‑Non
ALG265^2 +3.31 TMO‑Non 43.30 TMO‑Non
AGT033^1 +0.02 +0.01 1.65 TMO‑Non
SET598^5 +0.01 +0.53 3.03 TMO‑Non
SEU674^1 +0.01 TMO‑Non 1.54 75.96
PHI002^1 +0.01 +0.01 1.61 TMO‑Non
SEU589^1 +0.95 TMO‑Non 1.58 89.09
SEV261^5 +3.52 +0.03 2.25 6.60
SEV434^1 +0.02 +0.02 1.57 7.31
SEV428^1 +0.01 +0.02 1.60 67.08
SEU587^1 +12.70 TMO‑Non 1.54 88.74
CSR152^2 +0.02 +17.33 1.80 81.89
SEU823^1 +0.01 TMO‑Non 1.65 83.61
CSR126^2 +8.83 +0.01 1.56 82.05
SEU777^1 +42.50 TMO‑Non 1.74 183.86
SET623^5 +0.01 +0.01 1.63 6.44
SYO064^4.001 +0.01 +0.01 1.56 21.53
SEU709^2 +0.01 +0.01 131.18 22.00
SEU774^1 +1.41 TMO‑Non 1.66 90.23
CSR137^2 TMO‑Non +0.01 133.44 22.28
SEV006^5 +0.01 +0.01 1.57 36.33
SEU827^1 +0.04 +0.01 1.58 TMO‑Non
LCL693^1 +3.51 +0.01 13.58 TMO‑Non
SEU581^1 +0.01 TMO‑Non 1.60 23.88
SEU508^1 +0.01 TMO‑Non 2.69 88.82
SEU680^1 +0.01 TMO‑Non 1.79 76.21
SEV295^5* +38.39 TMO‑Non 162.68 TMO‑Non
SEV291^5* TMO‑Non TMO‑Non TMO‑Non 22.67
SEV293^5* +35.40 +25.41 133.66 TMO‑Non
ALG285^5 TMO‑Non +0.01 TMO‑Non 37.09
SET741^4 TMO‑Non +0.01 222.43 124.03
SEV158^5 +1.52 +9.45 1.48 TMO‑Non
SEU704^2 +2.01 TMO‑Non 46.24 22.44
ALG279^5 TMO‑Non +0.01 8.77 6.68
SEU677^1 +13.25 TMO‑Non 1.81 77.86
ALG268^3 UNK‑Non +1.31 TMO‑Non 160.75
SEU695^1 +13.04 TMO‑Non 4.74 78.17
LCL877^1 +2.81 +0.01 1.93 TMO‑Non
ALG290^5 +0.02 TMO‑Non 1.56 21.69
QUA012^1 TMO‑Non TMO‑Non TMO‑Non 6.60
SYO244^5 TMO‑Non +0.01 TMO‑Non TMO‑Non
ALG258^2 TMO‑Non +1.23 TMO‑Non 140.61
SEU613^1 +13.27 TMO‑Non 180.59 89.24
SYO515^1 +0.01 TMO‑Non 1.54 6.67
NUM810^5 +2.23 TMO‑Non 1.53 TMO‑Non
SEU704^1 TMO‑Non TMO‑Non 1.65 90.15
SEU621^1 TMO‑Non TMO‑Non 22.37 89.19
LCL874^1 +213.57 +0.06 3.24 TMO‑Non
NUM814^5 TMO‑Non +150.55 TMO‑Non TMO‑Non
SYO069^4.002 TMO‑Non +79.34 TMO‑Non 95.53
GRP001^5 TMO‑Non +0.01 1.63 6.65
SYO064^4.004 +15.43 TMO‑Non 1.59 91.55
SEV431^1 +0.01 TMO‑Non 15.17 TMO‑Non
DAT056^1 +10.96 +0.01 TMO‑Non 6.42
MSC025^2 +0.01 TMO‑Non 288.64 151.59
SYO208^5 +0.05 TMO‑Non 1.59 TMO‑Non
SEU692^1 +1.20 TMO‑Non 1.58 165.74
ALG278^5 0.01 +0.01 3.30 6.75
SEU466^1 +0.02 TMO‑Non 1.56 TMO‑Non
SEV429^1 +184.89 TMO‑Non TMO‑Non TMO‑Non
SEU797^1 TMO‑Non TMO‑Non TMO‑Non 90.32
LCL716^1 TMO‑Non +25.35 TMO‑Non TMO‑Non
SYO245^5 +0.01 TMO‑Non 1.57 40.50
NUM637^1 TMO‑Non +0.01 TMO‑Non 86.52
SEU558^2 TMO‑Non TMO‑Non 59.10 83.36
SEV141^5 +9.52 TMO‑Non TMO‑Non TMO‑Non
NUM808^5 +1.62 TMO‑Non 1.54 TMO‑Non
AGT027^1 +214.54 +0.01 TMO‑Non TMO‑Non
SEU573^1 TMO‑Non UNK‑Non 278.36 88.98
SEV001^5 TMO‑Non +0.01 43.29 77.87
ALG251^3 +2.23 TMO‑Non 1.61 TMO‑Non
SEU755^1 +46.35 TMO‑Non 4.98 90.11
SEU642^2 TMO‑Non +0.01 1.62 67.01
SEU600^2 +4.63 TMO‑Non 20.07 74.21
SEU708^1 +12.71 TMO‑Non 2.42 90.28
ALG284^5 TMO‑Non +0.01 1.97 6.56
CSR131^2 TMO‑Non +62.38 TMO‑Non 224.14
SEU762^1 TMO‑Non TMO‑Non 2.78 90.22
PHI005^2 +4.04 +0.01 1.71 TMO‑Non
SEU998^5 TMO‑Non +0.01 83.30 7.51
SEU814^1 TMO‑Non TMO‑Non 1.69 90.42
SEU969^5 +3.08 TMO‑Non 16.98 TMO‑Non
SEU818^1 +0.01 TMO‑Non 1.69 90.74
ALG282^5 TMO‑Non +0.01 33.49 6.59
SEU671^2 +0.02 TMO‑Non 1.53 26.84
SEU957^5 TMO‑Non +0.01 TMO‑Non TMO‑Non
SWW474^3 +277.09 TMO‑Non 7.39 92.94
SEU611^1 +13.37 TMO‑Non 181.27 89.13
AGT030^1 +212.73 +0.42 274.17 TMO‑Non
ALG273^5 TMO‑Non +0.01 TMO‑Non 99.83
SEU733^1 +0.01 TMO‑Non 1.65 90.15
SEU709^1 TMO‑Non +6.02 TMO‑Non 89.86
SEU627^2 TMO‑Non +0.01 57.20 21.83
SEU788^2 +1.00 TMO‑Non 21.21 66.52
SWW473^1 +9.37 TMO‑Non 1.62 83.56
SEV041^5 UNK‑Non +8.85 UNK‑Non 142.57
PHI004^2 +0.01 +76.96 1.82 47.52
ALG283^5 UNK‑Non +0.01 32.89 6.53
SEU690^1 +1.21 UNK‑Non 1.68 76.47
PUZ087^1 UNK‑Non +0.01 2.78 UNK‑Non
NUM696^1 UNK‑Non +0.01 2.92 21.70
ALG298^5 UNK‑Non +0.01 TMO‑Non 6.62
SEU593^1 +42.61 TMO‑Non 1.56 89.11
ALG271^5 UNK‑Non +0.01 UNK‑Non 113.98
SYO556^1 +0.01 UNK‑Non 1.58 189.34
SEU570^1 0.01 UNK‑Non UNK‑Non 88.80
SEV174^5 UNK‑Non UNK‑Non UNK‑Non 21.67
SEU817^1 0.01 UNK‑Non 1.59 90.48
SET027^7 +0.01 +0.03 2.45 UNK‑Non
CSR132^1 UNK‑Non +4.33 UNK‑Non TMO‑Non
SYN377^7 UNK‑Non UNK‑Non 64.91 UNK‑Non
SEU615^1 +13.47 +1.76 13.78 89.15
SEU649^2 +1.35 +2.03 2.80 24.14
SEU727^1 +0.01 UNK‑Non 3.14 80.64
SEU760^1 UNK‑Non UNK‑Non 15.56 91.23
NUM926^2 +9.47 UNK‑Non 81.89 88.43
CSR141^2 UNK‑Non +0.01 UNK‑Non 89.23
SWV436^4 +0.01 +0.01 1.99 TMO‑Non
SEU666^1 +0.01 UNK‑Non 1.58 89.43
ALG017^7 +1.88 UNK‑Non 9.88 67.44
SEU645^2 +1.49 UNK‑Non 8.63 7.90
CSR143^2 +9.47 UNK‑Non UNK‑Non 82.06
SEU617^1 UNK‑Non UNK‑Non 10.63 UNK‑Non
SYO248^5 +7.29 56.65 UNK‑Non 65.97
NUM727^1 UNK‑Non +51.44 UNK‑Non 50.35
SEU611^2 +0.01 UNK‑Non 1.64 18.11
LCL460^7 +1.89 UNK‑Non 1.87 UNK‑Non
SEU806^1 UNK‑Non +26.94 16.09 UNK‑Non
CSR149^2 UNK‑Non +0.01 UNK‑Non 89.27
PUZ141^1* +0.01 +0.01 12.30 8.46
PUZ142^1* UNK‑Non UNK‑Non TMO‑Non 58.59
PUZ144^1* UNK‑Non UNK‑Non UNK‑Non 61.63
SYO213^5 +42.54 UNK‑Non UNK‑Non UNK‑Non
SCT170^2 UNK‑Non UNK‑Non UNK‑Non 79.17
SEV089^5 UNK‑Non +0.01 UNK‑Non TMO‑Non
SEU742^1 +47.53 UNK‑Non 1.68 90.03
SYO069^4.003 UNK‑Non +79.01 UNK‑Non UNK‑Non
SEU944^5 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
DAT056^2 UNK‑Non TMO‑Non UNK‑Non UNK‑Non
NUM021^1 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEU684^1 +13.11 UNK‑Non UNK‑Non UNK‑Non
CSR119^3 UNK‑Non 97.22 1.56 UNK‑Non
CSR133^1 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEU749^1 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEU819^1 UNK‑Non UNK‑Non 2.34 UNK‑Non
PUZ127^5 UNK‑Non UNK‑Non UNK‑Non 63.00
KRS272^7 UNK‑Non +77.65 TMO‑Non UNK‑Non
NUM925^4 +20.03 UNK‑Non UNK‑Non UNK‑Non
SEV150^5 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
NUM924^4 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW473^3 UNK‑Non UNK‑Non UNK‑Non 90.22
SYO224^5 +0.01 UNK‑Non 6.52 TMO‑Non
ALG269^2 +6.62 TMO‑Non 44.01 TMO‑Non
SEV170^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU631^1 +1.09 TMO‑Non 1.63 TMO‑Non
COM024^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU651^1 TMO‑Non TMO‑Non 14.15 89.37
SYO532^1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO222^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYO066^4.003 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU781^1 +176.09 TMO‑Non 3.03 90.36
SET914^7 TMO‑Non +0.01 TMO‑Non TMO‑Non
CSR153^3 +6.59 99.53 29.98 TMO‑Non
SEU802^1 +46.09 TMO‑Non TMO‑Non 81.59
NUM926^4 +13.24 TMO‑Non TMO‑Non TMO‑Non
SYO067^4.002 TMO‑Non +5.82 TMO‑Non TMO‑Non
ALG269^3 TMO‑Non TMO‑Non TMO‑Non 142.50
SEU953^5 +187.15 TMO‑Non TMO‑Non TMO‑Non
SEU729^1 +13.22 TMO‑Non 54.32 TMO‑Non
SEU689^1 +13.32 TMO‑Non 27.64 TMO‑Non
SEU912^5 +1.12 TMO‑Non TMO‑Non TMO‑Non
SEU793^1 TMO‑Non TMO‑Non 7.40 TMO‑Non
SEU942^5 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEU700^1 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SYO069^4.004 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEV267^5 UNK‑Non UNK‑Non 1.74 UNK‑Non
SEU646^1 TMO‑Non TMO‑Non 4.15 89.03
SEU655^2 TMO‑Non TMO‑Non TMO‑Non 92.63
SEU950^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU658^1 TMO‑Non TMO‑Non TMO‑Non 89.43
SEU805^1 TMO‑Non TMO‑Non 28.49 152.85
SEU604^1 TMO‑Non TMO‑Non 30.72 167.84
SEU943^5 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR152^3 +30.38 TMO‑Non 1.76 TMO‑Non
SEV005^5 TMO‑Non TMO‑Non TMO‑Non 57.59
SWW473^2 TMO‑Non UNK‑Non 47.29 87.06
LCL692^1 +2.02 TMO‑Non 215.31 TMO‑Non
CSR150^3 TMO‑Non 79.16 176.54 TMO‑Non
AGT027^2 TMO‑Non +0.01 TMO‑Non TMO‑Non
ALG269^1 +6.71 TMO‑Non TMO‑Non TMO‑Non
SEV021^6 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/400 271/400 195/400 285/400 267/400
Av. CPU Time 14.96 12.25 21.67 61.02
Solutions 268/400 191/400 0/400 0/400
μEfficiency 390 366 240 30
SOTAC 0.36 0.36 0.35 0.38
Core Usage 0.92 0.91 0.94 0.99
New Solved 4/7 3/7 4/7 4/7
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF THN TFA TFN FOF FNT EPR LTB TNE TEQ TNN TNQ TFI TFR TFE TIN TRN TEN FNE FEQ FNN FNQ EPT EPS HLL HL4 ISA MZR

Results for THN (Higher-order Non-theorems)

Higher-order Non-theorems Nitpick
 2015
Refute
 2015
Satallax
 2.8
SEV304^5* +13.07 38.02 TMO‑Non
SYO165^5 +6.69 10.88 TMO‑Non
PUZ121^5* +6.56 TMO‑Non 0.01
SYO278^5 +6.55 7.02 TMO‑Non
PUZ095^5* +6.71 9.42 TMO‑Non
SYO340^5 +9.55 173.58 TMO‑Non
PUZ097^5* +6.65 GUP‑Non 1.21
SYO339^5 +7.27 27.88 TMO‑Non
SYO454^3 +6.68 UNK‑Non 0.01
SYO302^5 +6.68 7.38 TMO‑Non
SYO577^7 +7.21 TMO‑Non 0.01
SYO318^5 +6.67 12.13 TMO‑Non
SYO468^3 +7.24 UNK‑Non 0.02
SYO137^5 +6.71 8.77 0.01
SYO491^6 +7.25 TMO‑Non 0.01
SYO167^5 +7.23 30.10 TMO‑Non
SYO493^6 +6.81 TMO‑Non 0.01
SYO168^5 +7.12 11.65 TMO‑Non
SEV348^5 +6.55 7.20 TMO‑Non
SYO313^5 +6.87 9.47 TMO‑Non
SYO472^4 +7.05 TMO‑Non 0.01
SYO328^5 +7.15 10.16 0.01
SYO468^1 +6.75 UNK‑Non 0.01
SYO316^5 +6.89 7.47 TMO‑Non
SYO465^1 +6.82 15.39 TMO‑Non
SYN985^1 +6.93 7.23 TMO‑Non
SYO055^1 +6.69 TMO‑Non 0.01
SYO333^5 +7.45 22.66 TMO‑Non
SEV380^5 +6.59 9.67 TMO‑Non
SEV359^5 +6.60 7.39 TMO‑Non
SYO051^2 +6.66 14.79 TMO‑Non
SEV354^5 +7.16 7.35 TMO‑Non
SYO055^2 +7.21 15.93 TMO‑Non
SYO323^5 +6.57 7.82 TMO‑Non
SYO471^1 +6.69 TMO‑Non 0.01
SYO294^5 +6.64 7.55 TMO‑Non
SYO074^4.001 +6.65 23.52 TMO‑Non
SYO166^5 +6.55 29.39 TMO‑Non
LCL698^1 +6.64 TMO‑Non 0.01
SYO297^5 +6.58 8.54 TMO‑Non
SYN416^7 +7.20 UNK‑Non 0.96
SYO341^5 +9.20 173.67 TMO‑Non
SEU994^5 +6.56 7.69 TMO‑Non
SYO280^5 +6.57 6.96 TMO‑Non
LCL633^1 +7.53 33.22 TMO‑Non
CSR142^3 +6.57 7.09 0.01
SYO472^5 +6.70 TMO‑Non 0.01
CSR143^3 +6.63 7.36 0.01
SYO074^4.004 +7.23 32.07 TMO‑Non
CSR144^3 +6.68 7.35 0.01
SYO454^5 +6.69 UNK‑Non 0.02
LCL617^1 +6.64 10.58 TMO‑Non
SYN387^7 +7.22 TMO‑Non 0.01
SYO571^7 +7.12 15.30 TMO‑Non
SYO054^1 +6.82 TMO‑Non 0.01
SWV430^1 +7.19 TMO‑Non 0.01
ALG248^2 +7.42 59.69 TMO‑Non
SWV432^1 +6.68 TMO‑Non 0.01
SYO463^3 +6.76 TMO‑Non 0.01
SWV431^1 +6.65 TMO‑Non 0.01
SYO468^5 +6.77 TMO‑Non 0.02
SYO492^6 +7.06 TMO‑Non 0.01
SYO470^5 +6.74 TMO‑Non 0.01
SYO463^1 +6.75 TMO‑Non 0.01
PUZ101^5 +7.24 9.93 TMO‑Non
SYN416^4 +6.75 UNK‑Non 0.01
PUZ120^5 +6.98 9.48 TMO‑Non
PUZ099^5 +6.73 7.22 TMO‑Non
SEV381^5 +6.62 10.13 TMO‑Non
ALG275^5 +6.66 18.06 TMO‑Non
SYO567^7 +6.81 UNK‑Non 0.01
SYO467^3 +6.74 TMO‑Non 0.01
SYN001^4.001 +6.74 36.09 TMO‑Non
SYO464^3 +6.69 TMO‑Non 0.01
PUZ123^5 +6.77 7.81 TMO‑Non
SWV436^3 +6.82 TMO‑Non 0.12
SYO242^5 +6.67 12.63 TMO‑Non
SYN046^4 +6.79 59.47 TMO‑Non
SWC425^7 +8.40 17.44 TMO‑Non
SYO074^4.002 +6.62 25.58 TMO‑Non
SEV374^5 +6.60 7.31 TMO‑Non
SYN040^4 +6.67 73.86 TMO‑Non
PUZ125^5 +7.22 30.46 TMO‑Non
SYO056^1 +6.73 TMO‑Non 0.01
LCL598^1 +6.70 16.48 TMO‑Non
PUZ118^5 +6.72 9.12 TMO‑Non
PUZ116^5 +6.62 7.76 TMO‑Non
SWV427^1 +6.81 TMO‑Non 0.01
SYO454^1 +6.68 TMO‑Non 0.01
SYO472^6 +7.12 TMO‑Non 0.01
SEV378^5 +6.71 9.92 TMO‑Non
SYO057^1 +6.74 14.78 TMO‑Non
SEV226^5 +7.29 49.71 TMO‑Non
PUZ115^5 +7.07 9.60 TMO‑Non
NUM807^5 +6.57 8.87 TMO‑Non
PUZ119^5 +6.60 9.44 TMO‑Non
SYO450^1 +6.75 15.55 TMO‑Non
SYN995^1 +6.73 8.72 TMO‑Non
SYN990^1 +6.59 TMO‑Non 0.01
SEU911^5 +14.00 174.93 TMO‑Non
SEU966^5 +7.70 24.71 TMO‑Non
SEV098^5 +6.69 15.94 TMO‑Non
SYN388^4 +6.59 79.52 TMO‑Non
SEV375^5 +6.66 7.19 TMO‑Non
SYO464^1 +6.70 TMO‑Non 0.01
PUZ126^5 +6.65 30.62 TMO‑Non
SYO471^5 +6.72 UNK‑Non 0.01
SYO051^1 +6.74 TMO‑Non 0.01
SYO472^1 +7.08 TMO‑Non 0.01
PUZ124^5 +7.38 30.21 TMO‑Non
SYO457^1 +6.66 TMO‑Non 0.01
SYO564^7 +6.77 UNK‑Non 0.02
SYO463^4 +7.27 TMO‑Non 0.01
SYO470^4 +7.23 TMO‑Non 0.01
SEV298^5 +7.77 25.05 TMO‑Non
SEV251^5 +6.74 11.09 TMO‑Non
SEV357^5 +7.17 7.41 TMO‑Non
SYO468^4 +6.66 TMO‑Non 0.01
SEV296^5* +19.74 TMO‑Non TMO‑Non
SYO073^4.001 +6.66 TMO‑Non TMO‑Non
PHI005^3 +7.52 TMO‑Non UNK‑Non
SYN001^4.002 +7.37 TMO‑Non TMO‑Non
SYO453^1 +6.88 UNK‑Non TMO‑Non
SYO071^4.001 +6.77 TMO‑Non TMO‑Non
SYO452^4 +6.69 TMO‑Non TMO‑Non
SYO451^4 +6.86 TMO‑Non TMO‑Non
SYO459^2 +6.79 TMO‑Non TMO‑Non
NLP005^7 +24.08 TMO‑Non TMO‑Non
SYO456^2 +6.69 TMO‑Non TMO‑Non
SYO072^4.004 +8.13 TMO‑Non UNK‑Non
SYO073^4.002 +7.13 TMO‑Non TMO‑Non
SYO467^2 +6.75 TMO‑Non TMO‑Non
SYO452^6 +7.08 TMO‑Non TMO‑Non
SYO452^2 +6.70 UNK‑Non TMO‑Non
SYN389^4 +6.65 TMO‑Non TMO‑Non
SYO452^3 +7.12 TMO‑Non TMO‑Non
NLP008^7 +27.42 TMO‑Non TMO‑Non
SEU489^1 +16.07 GUP‑Non TMO‑Non
SYO452^1 +6.73 TMO‑Non TMO‑Non
PUZ096^5 +7.44 GUP‑Non TMO‑Non
SYO473^6 +7.28 TMO‑Non TMO‑Non
SYO471^2 +6.70 TMO‑Non TMO‑Non
SYO453^5 +6.92 UNK‑Non TMO‑Non
SYO465^4 +6.71 TMO‑Non TMO‑Non
SYO071^4.003 +7.69 TMO‑Non TMO‑Non
LCL869^1 +6.67 UNK‑Non TMO‑Non
SYO473^4 +7.12 TMO‑Non TMO‑Non
SYO463^2 +6.69 TMO‑Non TMO‑Non
SYO490^6 +6.74 UNK‑Non TMO‑Non
SEU470^1 +16.45 GUP‑Non TMO‑Non
SYO456^1 +6.83 TMO‑Non TMO‑Non
SYO467^4 +6.74 UNK‑Non TMO‑Non
SYO451^2 +7.01 UNK‑Non UNK‑Non
SYO453^6 +7.10 TMO‑Non TMO‑Non
GEG004^1 +10.23 TMO‑Non TMO‑Non
SWV010^7 +13.13 TMO‑Non TMO‑Non
SYO454^2 +6.72 TMO‑Non TMO‑Non
SYO468^2 +7.18 UNK‑Non TMO‑Non
SYO473^5 +6.83 TMO‑Non TMO‑Non
SYO494^6 +6.82 TMO‑Non TMO‑Non
SYO465^2 +6.69 TMO‑Non TMO‑Non
SYO070^4.002 +7.28 TMO‑Non TMO‑Non
SYO453^4 +7.38 TMO‑Non TMO‑Non
SWV439^1 +24.88 TMO‑Non TMO‑Non
SYO469^4 +6.69 UNK‑Non TMO‑Non
NLP002^7 +26.44 TMO‑Non TMO‑Non
SYN047^4 +7.36 TMO‑Non TMO‑Non
SYO071^4.004 +7.37 TMO‑Non TMO‑Non
SYO450^2 +6.83 UNK‑Non TMO‑Non
ALG269^4 +8.44 TMO‑Non TMO‑Non
SYO072^4.003 +7.70 TMO‑Non TMO‑Non
KRS273^7 +13.00 TMO‑Non TMO‑Non
SWV426^1 +6.73 TMO‑Non TMO‑Non
SYO473^1 +6.90 TMO‑Non TMO‑Non
SYO472^2 +6.68 TMO‑Non TMO‑Non
SYO456^3 +7.28 TMO‑Non TMO‑Non
SYO469^1 +6.69 TMO‑Non TMO‑Non
SYO453^3 +7.15 UNK‑Non TMO‑Non
SYO071^4.002 +7.61 TMO‑Non TMO‑Non
SYO464^2 +6.72 TMO‑Non TMO‑Non
SYN393^4.003 +7.04 TMO‑Non TMO‑Non
SYO451^3 +6.71 TMO‑Non TMO‑Non
KRS274^7 +13.20 TMO‑Non TMO‑Non
SYO474^4 +6.74 TMO‑Non TMO‑Non
SYO072^4.002 +6.74 TMO‑Non TMO‑Non
SYO479^6 +7.14 UNK‑Non TMO‑Non
SYN392^4 +7.06 TMO‑Non TMO‑Non
SYO452^5 +7.07 TMO‑Non UNK‑Non
SYO457^2 +6.70 TMO‑Non TMO‑Non
LCL634^1 +6.65 TMO‑Non TMO‑Non
SYO451^1 +6.71 UNK‑Non TMO‑Non
NLP003^7 +26.51 TMO‑Non TMO‑Non
NLP006^7 +26.45 TMO‑Non TMO‑Non
SEU880^5 +21.94 TMO‑Non TMO‑Non
SYO070^4.004 +7.45 TMO‑Non TMO‑Non
SYO469^3 +6.76 UNK‑Non TMO‑Non
SYO073^4.003 +7.05 TMO‑Non TMO‑Non
SYN001^4.003 +7.67 TMO‑Non TMO‑Non
LCL230^4 +6.64 TMO‑Non TMO‑Non
SYO453^2 +7.25 UNK‑Non TMO‑Non
Solved/200 200/200 74/200 49/200
Av. CPU Time 7.92 24.34 0.05
Solutions 200/200 0/200 0/200
μEfficiency 130 29 242
SOTAC 0.70 0.49 0.48
Core Usage 0.92 0.98 0.04
New Solved 5/5 2/5 2/5
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF THN TFA TFN FOF FNT EPR LTB TNE TEQ TNN TNQ TFI TFR TFE TIN TRN TEN FNE FEQ FNN FNQ EPT EPS HLL HL4 ISA MZR

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

Typed First-order Theorems +*-/ VampireZ3
 1.0
CVC4
 TFA‑1.5
Vampire
 4.0
Beagle
 0.9.22
SPASS+T
 2.2.22
ZenonArith
 0.1.0
Princess
 20150706
CVC4
 1.4‑TFF
ARI563=1 +0.01 +0.01 +0.01 +0.02 +1.09 +0.01 2.57 0.01
ARI343=1 +1.13 +0.02 +0.01 +0.01 +1.11 +0.01 70.19 0.01
ARI593=1 +0.01 +10.02 +15.99 +0.02 +1.11 +0.01 1.54 TMO‑Non
ARI417=1 +0.01 +0.01 +0.01 +0.01 +1.18 +0.01 0.01 0.01
ARI194=1 +0.01 +0.01 +0.01 +1.04 +1.16 +0.01 2.31 0.01
ARI189=1 +0.41 +9.94 +16.77 +0.01 +1.09 +0.01 1.61 TMO‑Non
ARI441=1 +0.01 +0.01 +0.01 +0.01 +1.09 +0.01 0.02 0.01
ARI342=1 +0.01 +0.01 +0.01 +0.02 +1.10 +0.01 12.60 0.01
ARI595=1 GUP‑Non +0.01 TMO‑Non +1.28 TMO‑Non TMO‑Non 1.68 GUP‑Non
NUM912=1 +0.02 +0.01 +0.01 +1.37 +1.12 +0.02 2.43 0.01
ARI233=1 +0.01 +0.01 +0.01 +0.01 +1.16 +0.01 2.22 0.01
HWV095=1* +0.01 +156.62 +0.02 TMO‑Non +8.92 +1.87 TMO‑Non 4.30
ARI621=3 +3.93 +0.01 +0.01 +6.53 +1.16 +0.06 TMO‑Non 0.01
ARI206=1 +0.01 +0.01 +0.01 +1.00 +1.14 +0.01 2.17 0.01
HWV093=1* +0.01 +157.05 +0.01 TMO‑Non +8.72 +1.89 TMO‑Non 7.84
ARI423=1 +0.01 +0.01 +0.01 +0.01 +1.07 +0.01 4.66 0.01
ARI234=1 +0.01 +0.01 +0.01 +1.11 +1.24 +0.03 2.29 0.01
SWW057=1 +1.77 +10.11 +3.48 +23.64 +24.64 TMO‑Non 22.20 7.41
MSC022=2 +0.01 TMO‑Non +0.01 +0.01 +1.11 +0.03 31.62 TMO‑Non
ARI558=1 +0.01 +0.01 +0.01 +1.07 +1.15 +0.02 2.87 0.01
DAT105=1 +0.44 TMO‑Non +0.01 +1.70 +1.16 TMO‑Non 7.08 TMO‑Non
NUM913=1 +0.01 +0.02 +0.01 +1.50 +1.10 +0.01 2.33 0.02
ARI200=1 +0.01 +0.01 +0.01 +0.01 +1.11 +0.02 2.11 0.01
DAT074=1 +0.02 TMO‑Non +0.03 +2.65 +1.17 TMO‑Non 40.34 TMO‑Non
ARI495=1 +0.01 +0.01 +0.02 +0.01 +1.16 +0.06 20.48 0.01
ARI228=1 +0.01 +0.01 +0.01 +0.01 +1.06 +0.01 2.28 0.01
SWW024=1 +1.97 +11.15 +2.64 +23.87 +17.12 TMO‑Non 25.78 14.84
NUM909=1 +0.01 +0.01 +0.01 +1.30 +1.14 +0.01 4.07 0.01
ARI208=1 +0.01 +0.01 +0.01 +0.01 +1.07 +0.01 2.39 0.01
SWW083=1 +2.25 +10.12 +8.02 +26.95 +53.89 TMO‑Non 22.92 9.92
ARI619=3 +3.89 +0.01 +0.01 +4.47 +1.11 +0.01 TMO‑Non 0.01
ARI242=1 +0.01 +0.01 +0.01 +0.01 +1.13 +0.01 2.28 0.01
SWW038=1 +1.92 +11.03 +2.61 +23.39 +19.47 TMO‑Non 24.03 30.02
MSC023=2 +0.01 +0.01 +0.01 +0.01 +1.10 +0.05 TMO‑Non 0.01
ARI201=1 +0.01 +0.01 +0.01 +0.01 +1.09 +0.01 2.29 0.01
ARI591=1 +0.01 +0.01 +0.01 +0.01 +1.12 GUP‑Non 0.01 0.01
ARI488=1 GUP‑Non +0.01 TMO‑Non +0.01 +1.18 +0.04 13.86 0.01
ARI241=1 +0.01 +0.01 +0.01 +0.01 +1.09 +0.03 2.18 0.01
SWW059=1 +1.91 +10.12 +7.75 +23.00 +34.36 TMO‑Non 20.68 30.02
ARI536=2 GUP‑Non GUP‑Non TMO‑Non +1.40 TMO‑Non GUP‑Non TMO‑Non UNK‑Non
ARI227=1 +0.01 +0.01 +0.01 +0.01 +1.07 +0.01 2.10 0.01
ARI056=1 +0.01 +0.01 +0.02 +0.99 +1.09 +0.01 0.01 0.01
ARI536=1 GUP‑Non TMO‑Non TMO‑Non +1.28 UNK‑Non GUP‑Non TMO‑Non UNK‑Non
ARI207=1 +0.01 +0.01 +0.01 +0.01 +1.10 +0.01 2.28 0.01
SWW041=1 +2.02 +10.10 +5.50 +24.32 +31.40 TMO‑Non 21.22 6.03
ARI229=1 +0.01 +0.01 +0.01 +0.01 +1.05 +0.02 2.30 0.01
SWW043=1 +1.41 +10.98 +6.65 +21.83 +16.65 TMO‑Non 25.01 8.44
ARI216=1 +0.01 +0.01 +0.01 +0.01 +1.10 +0.01 2.37 0.01
SWW625=2 +9.28 +10.24 +1.82 TMO‑Non TMO‑Non TMO‑Non 27.30 7.20
ARI202=1 +0.01 +0.01 +0.01 +0.01 +1.11 +0.01 2.18 0.01
SEV422=1 +12.72 +140.12 +70.60 +19.67 +1.19 TMO‑Non 58.32 TMO‑Non
ARI341=1 +0.01 +0.01 +0.01 +0.01 +1.14 +0.01 3.93 0.01
SWW056=1 +2.15 +10.11 +7.84 +26.58 +33.03 TMO‑Non 21.78 8.44
ARI282=1 +0.01 +0.01 +0.01 +0.01 +1.12 +0.01 0.01 0.01
SWW065=1 +2.33 +11.09 +7.86 +25.93 +33.65 TMO‑Non 25.66 9.63
ARI220=1 +0.01 +0.01 +0.01 +0.02 +1.08 +0.01 2.40 0.01
SWW081=1 +2.70 +10.93 +8.01 +28.50 +86.05 TMO‑Non 22.82 30.02
ARI215=1 +0.01 +0.01 +0.01 +0.01 +1.11 +0.01 2.35 0.01
DAT043=1 +0.01 +0.01 +24.10 +12.20 +1.16 TMO‑Non 4.68 0.01
ARI214=1 +0.01 +0.01 +0.01 +0.01 +1.11 +0.02 2.20 0.01
SWW030=1 +1.63 +10.11 +2.64 +21.67 +13.62 TMO‑Non 20.73 14.65
ARI193=1 +0.01 +0.01 +0.01 +0.01 +1.12 +0.01 2.16 0.01
SWW029=1 +1.73 +10.10 +7.72 +22.96 +14.24 TMO‑Non 24.94 6.09
ARI195=1 +0.01 +0.01 +0.01 +0.01 +1.08 +0.01 2.09 0.01
SWW077=1 +2.09 +10.12 +7.85 +24.50 +30.73 TMO‑Non 21.72 30.02
ARI619=2 +3.95 +0.01 +0.01 +4.04 +1.09 +0.01 TMO‑Non 0.01
NUM878=1 +0.01 +0.01 +0.01 +0.01 +1.09 GUP‑Non 2.26 0.01
ARI310=1 +0.01 +0.01 +0.01 +0.02 +1.07 +0.01 0.01 0.01
SWW075=1 +1.93 +11.06 +7.87 +26.48 +27.78 TMO‑Non 25.46 10.34
NUM905=1 +0.01 +0.01 +0.01 +1.30 +1.18 +0.01 2.38 0.01
DAT040=1 +0.01 +0.01 TMO‑Non +9.93 +1.16 TMO‑Non 4.53 0.01
NUM902=1 +0.02 +0.01 +0.01 +1.30 +1.10 +0.01 4.04 0.01
ARI118=1 +0.01 +0.01 +0.01 +0.01 +1.11 GUP‑Non 1.99 0.01
ARI257=1 +0.01 +0.01 +0.01 +0.02 +1.06 +0.06 1.07 0.01
SWW079=1 +1.72 +10.13 +7.65 +23.69 +27.68 TMO‑Non 21.38 8.55
NUM907=1 +0.01 +0.01 +0.01 +2.14 +1.07 +0.03 4.80 0.01
SWW068=1 +2.01 +11.04 +3.60 +25.04 +24.40 TMO‑Non 23.04 30.02
NUM906=1 +0.01 +0.01 +0.01 +1.42 +1.10 +0.01 2.36 0.01
SWW071=1 +1.92 +11.04 +7.86 +27.24 +30.99 TMO‑Non 26.43 10.30
ARI344=1 +0.01 +0.01 +0.01 +1.06 +1.09 +0.05 22.25 0.01
DAT073=1 +0.01 TMO‑Non +0.01 +159.28 +1.16 TMO‑Non 21.35 TMO‑Non
ARI621=2 +3.88 +0.01 +0.01 +6.53 +1.08 +0.06 TMO‑Non 0.01
SWW070=1 +1.88 +10.94 +7.84 +28.63 +20.89 TMO‑Non 24.98 3.54
ARI337=1 GUP‑Non +0.01 TMO‑Non +0.01 +1.15 +0.01 13.65 0.01
SWW613=2 +0.01 +1.51 +0.01 +29.59 UNK‑Non TMO‑Non 7.49 UNK‑Non
ARI589=1 GUP‑Non +0.01 TMO‑Non +0.01 +1.12 GUP‑Non 0.01 0.01
DAT089=1 +0.02 +0.01 +0.01 +2.65 +1.08 TMO‑Non 5.45 80.04
SWW032=1 +1.83 +11.32 +1.21 +28.84 +15.39 TMO‑Non 25.78 49.12
SWW055=1 +1.82 +10.13 +7.66 +23.20 +24.77 TMO‑Non 21.70 7.23
SWW094=1 +1.82 +11.04 +3.34 +25.18 +20.91 TMO‑Non 22.56 30.02
SWW060=1 +2.13 +11.13 +7.84 +26.39 +42.43 TMO‑Non 24.95 30.03
SWW031=1 +1.98 +11.15 +7.85 +26.84 +23.61 TMO‑Non 29.45 8.23
SWW093=1 +1.63 +10.11 +7.64 +21.56 +24.37 TMO‑Non 21.02 30.02
SWW666=2 +0.01 +12.72 +2.42 +22.93 TMO‑Non TMO‑Non 30.61 43.41
DAT018=1 +0.01 +0.01 TMO‑Non +1.74 +1.19 TMO‑Non 16.55 0.01
SWW061=1 +2.00 +11.21 +3.19 +23.34 +24.24 TMO‑Non 25.47 30.03
DAT050=1 +1.03 +0.01 +4.65 +184.28 +1.18 TMO‑Non 3.84 0.01
SWW629=2 +0.01 +11.43 +0.04 +241.25 TMO‑Non TMO‑Non 8.23 66.15
DAT024=1 +1.25 +0.01 +0.01 +1.58 +1.11 TMO‑Non 1.71 0.02
SWW046=1 +1.81 +10.11 +2.63 +21.63 +16.97 TMO‑Non 21.99 30.04
SWW025=1 +1.62 +10.10 +7.78 +21.68 +20.99 TMO‑Non 19.51 5.14
SWW076=1 +2.01 +10.92 +7.74 +24.42 +26.56 TMO‑Non 23.75 9.14
SWW039=1 +1.77 +10.93 +15.18 +24.94 +17.60 TMO‑Non 25.72 2.40
SWW073=1 +1.83 +10.86 +7.78 +24.72 +25.48 TMO‑Non 23.59 8.54
ARI575=1 +0.01 +0.01 TMO‑Non +1.32 +1.08 +0.01 1.21 0.01
SWW050=1 +1.82 +10.11 +7.64 +22.64 +20.71 TMO‑Non 22.74 30.03
SWW090=1 +1.90 +12.12 +1.43 +26.83 +22.84 TMO‑Non 29.06 30.03
ARI177=1 +0.01 +0.03 TMO‑Non +1.12 +1.07 +0.04 0.01 0.02
DAT078=1 +9.53 TMO‑Non +0.01 +160.27 +1.20 TMO‑Non TMO‑Non TMO‑Non
NUM861=1 +31.06 +33.28 +21.82 +6.02 TMO‑Non TMO‑Non 32.06 TMO‑Non
DAT072=1 +0.01 +10.02 +0.05 +222.20 +8.04 TMO‑Non TMO‑Non 0.01
DAT075=1 +30.03 TMO‑Non +3.54 +6.54 TMO‑Non TMO‑Non TMO‑Non 84.93
SWW639=2 +5.06 +0.01 +6.96 +33.84 TMO‑Non TMO‑Non 10.86 UNK‑Non
SWW650=2 +1.70 +0.01 +5.58 TMO‑Non TMO‑Non TMO‑Non 23.56 0.01
DAT094=1 +0.01 +142.44 +0.01 +4.73 TMO‑Non TMO‑Non TMO‑Non 81.13
SYO522=1 GUP‑Non +0.01 TMO‑Non UNK‑Non UNK‑Non GUP‑Non 1.80 TMO‑Non
SWW620=2 +105.94 +10.02 +68.13 +177.98 TMO‑Non +4.16 6.80 UNK‑Non
SWW624=2 +17.60 +0.34 +17.72 +54.86 TMO‑Non TMO‑Non 27.20 0.01
ARI598=1 GUP‑Non +10.04 TMO‑Non +1.30 UNK‑Non GUP‑Non 1.58 TMO‑Non
ARI596=1 GUP‑Non +10.03 TMO‑Non +1.27 UNK‑Non TMO‑Non 1.67 TMO‑Non
ARI184=1 +18.00 +143.24 +294.38 UNK‑Non TMO‑Non TMO‑Non 5.80 1.74
SWW631=2 +50.35 +10.25 +14.88 TMO‑Non TMO‑Non TMO‑Non 7.23 0.01
NUM859=1 +4.36 +35.40 +0.17 +6.69 TMO‑Non TMO‑Non 30.70 TMO‑Non
SWW607=2 +87.42 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
NUM860=1 +31.02 +30.24 +0.01 +7.83 TMO‑Non TMO‑Non 31.96 TMO‑Non
SWW588=2 +0.01 +150.24 +13.59 +5.20 TMO‑Non TMO‑Non 2.37 UNK‑Non
ARI120=1 +54.61 GUP‑Non +31.19 +3.26 UNK‑Non TMO‑Non 2.90 GUP‑Non
SWW600=2 +0.01 +34.13 +0.01 +18.35 UNK‑Non TMO‑Non 34.32 UNK‑Non
SWW634=2 +5.03 +0.01 +2.41 TMO‑Non TMO‑Non TMO‑Non 78.04 3.92
SWW614=2 +58.41 +10.04 +26.06 +52.43 TMO‑Non TMO‑Non 7.67 UNK‑Non
SWW594=2 GUP‑Non +0.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 15.14 UNK‑Non
SWW647=2 +0.01 +20.71 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 28.71 UNK‑Non
SWW643=2 +5.73 +0.01 +3.02 TMO‑Non TMO‑Non TMO‑Non 40.99 0.01
SWW615=2 +14.70 +0.01 +2.42 +148.84 TMO‑Non TMO‑Non 6.74 0.01
SWW575=2 +2.32 +1.34 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 49.64 0.02
SWW654=2 +3.64 +4.68 +0.01 TMO‑Non TMO‑Non TMO‑Non 35.34 0.01
SWW589=2 +0.01 +10.20 +6.56 TMO‑Non TMO‑Non TMO‑Non 41.95 UNK‑Non
SWW638=2 +148.66 +10.21 +104.31 TMO‑Non TMO‑Non TMO‑Non 25.04 15.07
SWW581=2 +0.01 TMO‑Non +0.03 UNK‑Non +1.09 +104.18 2.53 UNK‑Non
SWW659=2 +62.84 +10.21 UNK‑Non TMO‑Non TMO‑Non TMO‑Non 8.20 UNK‑Non
SWW663=2 GUP‑Non +0.02 TMO‑Non +19.19 TMO‑Non TMO‑Non 6.45 UNK‑Non
SWW587=2 +3.66 +11.93 +1.02 TMO‑Non TMO‑Non TMO‑Non 86.63 65.16
SWW653=2 +0.01 +0.01 +5.72 +21.14 +25.23 TMO‑Non 4.46 UNK‑Non
SWW585=2 +245.14 +12.53 +63.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 15.08
SWW662=2 GUP‑Non +0.01 TMO‑Non +12.35 TMO‑Non TMO‑Non 5.29 UNK‑Non
SWW632=2 +0.01 TMO‑Non +0.01 +6.25 +1.18 TMO‑Non 3.29 UNK‑Non
SWW599=2 +0.01 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non 8.71 0.01
SWW657=2 +50.24 +10.12 +17.84 TMO‑Non TMO‑Non +0.01 5.14 UNK‑Non
HWV087=1* +106.02 +289.56 +103.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 5.04
HWV044=1 +33.95 +100.55 +33.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 4.04
SWW573=2 GUP‑Non +10.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW668=2 GUP‑Non +12.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 14.91
HWV047=1 +34.45 +96.12 +32.68 TMO‑Non TMO‑Non UNK‑Non TMO‑Non 4.03
HWV039=1 +33.62 +82.80 +31.34 UNK‑Non TMO‑Non UNK‑Non TMO‑Non 2.56
HWV040=1 +33.06 +84.51 +30.85 UNK‑Non TMO‑Non UNK‑Non TMO‑Non 2.42
SWW670=2 +2.34 +0.01 +0.02 UNK‑Non TMO‑Non UNK‑Non 41.69 0.01
HWV051=1 +33.33 +81.24 +30.44 UNK‑Non TMO‑Non UNK‑Non UNK‑Non 2.04
SWW605=2 +7.28 +10.11 +9.06 UNK‑Non TMO‑Non UNK‑Non 48.53 UNK‑Non
SWW665=2 UNK‑Non +23.00 UNK‑Non UNK‑Non TMO‑Non UNK‑Non 33.25 UNK‑Non
SWW648=2 +3.65 UNK‑Non +0.01 UNK‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non
SWW606=2 UNK‑Non +10.10 UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non
SWW618=2 +3.93 UNK‑Non +4.22 UNK‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non
SWW610=2 UNK‑Non +10.03 UNK‑Non +40.67 TMO‑Non +0.06 7.19 UNK‑Non
HWV089=1 +1.13 UNK‑Non +0.01 UNK‑Non +86.98 +58.48 UNK‑Non 200.60
SWW608=2 +92.35 +10.09 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 100.24 UNK‑Non
SWW660=2 UNK‑Non +10.22 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW598=2 UNK‑Non +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 38.96 0.01
HWV050=1 +33.16 +29.92 +30.98 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 2.15
SWW604=2 +13.53 +10.10 +16.82 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW640=2 UNK‑Non +0.84 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non 0.01
HWV043=1 +34.68 +100.94 +33.73 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 4.04
SWW586=2 +15.41 +10.20 +1.04 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 65.33
HWV046=1 +34.27 +84.00 +31.99 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 2.44
ARI603=1 +13.78 UNK‑Non +13.87 UNK‑Non +1.07 GUP‑Non 1.73 UNK‑Non
HWV126=1* +12.53 UNK‑Non +26.72 UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
HWV111=1* UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non 4.53
HWV096=1 +11.21 UNK‑Non +13.66 UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non
SWW609=2 +26.64 UNK‑Non UNK‑Non +22.60 UNK‑Non UNK‑Non 40.20 UNK‑Non
SWW574=2 UNK‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
HWV090=1 +9.27 UNK‑Non +4.43 UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non
SWW580=2 +0.01 TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWW617=2 +82.52 TMO‑Non +10.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW576=2 GUP‑Non +9.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 4.74 UNK‑Non
HWV123=1 +11.27 TMO‑Non +24.30 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
HWV125=1 +11.24 TMO‑Non +24.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV124=1 +11.22 TMO‑Non +24.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW637=2 +0.01 TMO‑Non +5.16 +253.14 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
HWV094=1 +11.31 TMO‑Non +29.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV128=1 +12.51 TMO‑Non +26.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW595=2 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
HWV127=1 +12.43 UNK‑Non +26.72 TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non
SWW661=2 +17.97 UNK‑Non +17.90 UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non
SWW671=2 GUP‑Non +0.01 UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non 0.01
SWW596=2 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
SWW645=2 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
HWV107=1 +32.43 TMO‑Non +3.73 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW601=2 GUP‑Non +153.21 TMO‑Non +19.54 UNK‑Non TMO‑Non 215.30 UNK‑Non
HWV091=1 +9.44 TMO‑Non +4.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW635=2 +68.30 +11.23 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 39.65
SWW652=2 +17.49 TMO‑Non +24.30 +18.91 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
Solved/200 172/200 163/200 160/200 131/200 108/200 60/200 143/200 131/200
Av. CPU Time 11.85 17.27 10.75 21.76 10.04 2.86 17.38 10.67
Solutions 172/200 163/200 160/200 131/200 108/200 60/200 0/200 0/200
μEfficiency 478 424 422 275 186 281 152 395
SOTAC 0.21 0.21 0.20 0.18 0.14 0.14 0.18 0.17
Core Usage 0.91 0.93 0.90 1.20 1.05 0.71 1.58 0.90
New Solved 4/5 3/5 4/5 0/5 2/5 2/5 0/5 4/5
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF THN TFA TFN FOF FNT EPR LTB TNE TEQ TNN TNQ TFI TFR TFE TIN TRN TEN FNE FEQ FNN FNQ EPT EPS HLL HL4 ISA MZR

Results for TFN (Typed First-order Non-theorems +*-/)

Typed First-order Non-theorems +*-/ CVC4
 TFN‑1.5
Princess
 20150706
Beagle
 0.9.22
NUM885=1 0.01 1.71 TMO‑Non
ARI575=2 0.01 TMO‑Non 2.81
ARI575=3 0.01 TMO‑Non 2.81
NUM879=1 0.01 1.49 TMO‑Non
ARI536=4 TMO‑Non TMO‑Non UNK‑Non
ARI536=3 TMO‑Non TMO‑Non UNK‑Non
NUM868=1 0.01 0.01 1.03
ARI625=2 TMO‑Non TMO‑Non UNK‑Non
ARI127=1 0.01 1.61 TMO‑Non
NUM869=1 0.01 1.02 0.01
SYO521=1 0.01 0.01 0.01
ARI126=1 0.01 TMO‑Non TMO‑Non
ARI600=1 0.01 GUP‑Non 1.33
SWW036=1 TMO‑Non TMO‑Non UNK‑Non
SWW001=1 TMO‑Non GUP‑Non UNK‑Non
SWV996=1 TMO‑Non GUP‑Non UNK‑Non
SWW034=1 TMO‑Non TMO‑Non UNK‑Non
SWW044=1 TMO‑Non TMO‑Non UNK‑Non
SWW019=1 TMO‑Non TMO‑Non UNK‑Non
SWW028=1 TMO‑Non TMO‑Non UNK‑Non
Solved/20 10/20 6/20 6/20
Av. CPU Time 0.00 0.97 1.33
Solutions 0/20 0/20 0/20
μEfficiency 500 200 183
SOTAC 0.50 0.42 0.42
Core Usage 0.00 0.33 0.56
New Solved 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 THN TFA TFN FOF FNT EPR LTB TNE TEQ TNN TNQ TFI TFR TFE TIN TRN TEN FNE FEQ FNN FNQ EPT EPS HLL HL4 ISA MZR

Results for FOF (First-order Theorems)

First-order Theorems Vampire
 4.0
Vampire
 2.6
E
 1.9.1
ET
 0.2
CVC4
 FOF‑1.5
iProver
 2.0
leanCoP
 2.2
iProverModulo
 0.7‑0.3
Prover9
 1109a
ePrincess
 1.0
Muscadet
 4.5
Geo‑III
 2015E
GRP194+1 +0.01 +0.01 +0.01 +0.01 +0.01 +73.41 +186.73 TMO‑Non +0.01 +2.11 +0.01 +0.01
SWB009+3 +2.12 +3.73 +0.05 +0.01 +45.43 +10.34 +0.01 +150.85 +10.44 +31.82 +10.40 TMO‑Non
REL009+2 +209.71 +14.21 +1.95 +0.01 +1.54 TMO‑Non TMO‑Non GUP‑Non +0.01 +4.03 GUP‑Non TMO‑Non
CSR032+3 +0.01 +0.01 +0.01 +5.21 +3.14 +1.15 +2.01 +3.38 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP777+1 +39.29 +4.42 +0.01 +147.24 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +0.02 TMO‑Non GUP‑Non TMO‑Non
SYN386+1 +0.01 +0.01 +0.01 +0.01 TMO‑Non +0.01 +0.08 +0.01 +0.01 GUP‑Non TMO‑Non +0.01
NUM925+5 +0.01 +1.61 +0.01 +0.10 +0.01 +59.58 +0.01 TMO‑Non +0.14 +8.52 TMO‑Non TMO‑Non
KRS263+1 +0.01 +0.01 +9.74 +0.01 +30.66 +0.01 +0.01 +0.01 +0.88 TMO‑Non TMO‑Non TMO‑Non
SET027+1 +0.01 +0.02 +0.01 +0.01 +0.01 +0.02 +0.66 +0.01 +0.02 +15.65 +0.02 TMO‑Non
CSR047+3 +0.02 +0.02 +0.01 +4.21 +0.03 +0.04 +1.39 +1.22 TMO‑Non +41.57 TMO‑Non TMO‑Non
NUM341+1 +0.01 +0.01 +0.01 +0.02 +15.52 +0.01 +0.03 +0.02 +0.01 TMO‑Non TMO‑Non TMO‑Non
CSR029+3 +1.44 +0.02 +6.23 +4.37 +3.53 +1.13 +2.90 +13.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV157+1 +0.01 +0.01 +0.04 +0.02 +0.03 +0.01 +8.42 +220.58 +6.01 +9.16 TMO‑Non TMO‑Non
CSR037+3 +1.73 +0.01 +1.72 +4.13 +0.01 +1.06 +29.45 +1.23 TMO‑Non +261.44 TMO‑Non TMO‑Non
SET008+3 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +19.38 +0.01 +31.58
KRS234+1 +0.01 +0.01 +0.01 +0.01 +15.03 +0.01 +28.05 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non
GEO112+1 +0.01 +0.01 +0.01 +0.03 +0.01 +0.01 +0.09 TMO‑Non +0.01 +2.85 TMO‑Non TMO‑Non
CSR115+36 +0.01 +0.01 +0.01 +0.01 +1.01 +1.64 +0.01 +42.99 TMO‑Non +27.50 TMO‑Non TMO‑Non
PUZ001+2 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +91.82 GUP‑Non +0.01 11.98 TMO‑Non +0.01
CSR115+34 +1.04 +0.03 +0.01 +7.70 +4.61 +10.77 TMO‑Non +20.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB013+2 +1.21 +11.83 +0.01 +0.01 +0.01 +37.55 +173.62 TMO‑Non +131.55 +4.29 +0.01 TMO‑Non
KRS261+1 +0.01 +0.01 +39.41 +0.01 +30.07 +0.01 +20.06 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE004+1 +0.01 +0.01 +0.01 +0.01 +15.05 +4.52 +0.01 GUP‑Non +0.01 GUP‑Non TMO‑Non +0.01
KRS259+1 +0.14 +0.01 +0.01 +0.01 +30.07 +0.02 +0.24 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non
REL023+1 +0.01 +0.01 +0.01 +6.08 +286.56 TMO‑Non TMO‑Non GUP‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non
KRS194+1 +1.73 +0.01 +0.01 +0.01 +0.01 +0.01 +3.71 +0.01 +0.01 +12.67 +0.01 TMO‑Non
GEO146+1 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.02 +0.02 +2.88 21.72 TMO‑Non TMO‑Non
CSR115+92 +0.02 +0.02 +0.01 +0.01 +6.62 +12.67 +0.51 +13.47 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925+6 +0.01 +0.01 +0.01 +1.43 +0.01 +12.74 +0.38 +243.84 TMO‑Non 54.36 TMO‑Non TMO‑Non
CSR114+6 +0.02 +0.07 +0.05 +0.02 +0.74 +1.07 +0.01 +5.25 +271.99 +26.33 TMO‑Non TMO‑Non
MGT054+1 +0.01 +0.01 +0.01 +1.09 +0.03 +0.01 TMO‑Non GUP‑Non +0.01 +21.11 GUP‑Non +0.01
KRS186+1 +1.81 +0.01 +37.16 +0.01 +0.01 +0.01 +3.71 +0.02 +25.88 +12.75 +0.01 TMO‑Non
SWV167+1 +0.01 +0.01 +0.01 +0.01 +0.01 +86.12 +30.88 TMO‑Non TMO‑Non +24.82 TMO‑Non TMO‑Non
CSR041+3 +0.01 +0.10 +1.33 +6.03 +3.51 +1.46 +1.64 +7.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL454+1 +0.01 +0.01 +0.02 UNK‑Non +13.54 +0.01 +0.01 +0.02 +0.01 21.98 GUP‑Non TMO‑Non
SYN548+1 +0.01 +0.01 +40.59 +154.40 +0.01 +1.62 TMO‑Non +82.45 TMO‑Non GUP‑Non GUP‑Non +0.01
HWV051+1 +11.96 +227.88 TMO‑Non TMO‑Non +143.30 +53.50 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR045+3 +0.01 +0.01 +8.04 +5.81 +130.61 +41.92 TMO‑Non +153.51 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV051+2 +11.96 +228.37 TMO‑Non TMO‑Non +148.76 +68.77 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+31 +0.01 +0.01 +0.02 +0.01 +0.01 +2.17 +110.74 +94.48 TMO‑Non +27.52 TMO‑Non TMO‑Non
GEO148+1 +0.01 +0.01 +0.01 +0.02 +0.01 +0.01 +27.78 +0.01 +0.01 +17.06 TMO‑Non TMO‑Non
KRS188+1 +1.77 +0.01 +38.13 +0.01 +0.01 +0.01 +4.03 +0.01 +25.51 +13.09 +0.01 TMO‑Non
HWV041+1 +12.74 +228.61 TMO‑Non TMO‑Non +144.30 +68.56 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL640+1.010 +0.01 +0.01 +1.12 +9.02 TMO‑Non +35.55 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
AGT003+2 +0.01 +0.01 +0.02 +0.01 +0.01 +0.13 +0.01 +0.02 +3.04 227.87 +85.05 TMO‑Non
CSR115+20 +0.01 +0.01 +0.01 +0.01 +7.12 +18.88 TMO‑Non +16.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV047+2 +14.69 +232.39 TMO‑Non TMO‑Non +145.71 +136.79 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR115+24 +0.01 +0.02 +0.02 +0.01 +0.94 +1.45 +0.40 +9.64 TMO‑Non +27.52 TMO‑Non TMO‑Non
LCL536+1 +0.01 +0.01 +0.01 UNK‑Non +15.35 +10.04 +0.15 UNK‑Non +0.01 +5.11 TMO‑Non +1.60
KRS189+1 +1.73 +0.01 +41.71 +0.02 +0.01 +0.01 +3.98 +0.01 +26.44 +12.65 +0.01 TMO‑Non
HWV047+1 +15.01 +231.53 TMO‑Non UNK‑Non +145.44 +93.54 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL642+1.005 +0.01 +0.01 +1.01 +77.63 +111.02 +0.02 +224.28 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +2.15
HWV050+2 +12.47 +228.92 TMO‑Non TMO‑Non +144.18 +71.24 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR114+26 +0.02 +0.02 +0.10 +0.02 +1.53 +1.54 +8.13 +42.37 TMO‑Non +42.61 TMO‑Non TMO‑Non
HWV043+1 +13.48 +230.44 TMO‑Non TMO‑Non +154.89 +83.28 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL638+1.005 +0.02 +4.51 +0.14 +1.21 +114.43 +40.97 +69.67 TMO‑Non TMO‑Non +7.89 GUP‑Non TMO‑Non
NUM924+1 +1.42 +0.01 +0.01 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non +0.02 +6.32 TMO‑Non TMO‑Non
CSR026+3 +1.22 +0.01 +1.43 +8.68 +3.99 +1.14 +112.12 +3.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV409+1 +0.01 +0.03 +0.01 +0.01 +0.01 +0.01 +0.10 +0.02 +0.01 +7.80 TMO‑Non TMO‑Non
SWB029+3 +2.30 +1.21 +0.01 +0.01 +45.84 +55.55 +0.12 TMO‑Non +4.19 236.96 +9.13 TMO‑Non
HWV089+1 +0.01 +0.01 +6.64 +4.54 +86.61 +5.89 TMO‑Non +5.03 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN549+1 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01 84.31 GUP‑Non +0.01
MGT065+1 +0.01 +0.01 +0.03 +0.07 +0.01 +0.54 TMO‑Non GUP‑Non +0.01 +29.77 TMO‑Non +182.29
KRS190+1 +1.74 +0.01 +1.84 +0.01 +0.01 +0.03 +3.73 +0.01 +0.02 +12.62 +0.01 TMO‑Non
NUM924+2 +1.62 +5.15 +0.01 +0.01 +0.34 TMO‑Non +110.37 TMO‑Non +3.24 +18.95 TMO‑Non TMO‑Non
KRS195+1 +1.72 +0.01 +0.01 +0.01 +0.01 +0.01 +3.70 +0.01 +0.02 +12.59 +0.01 TMO‑Non
SWB006+1 +1.40 +0.01 +0.01 +0.02 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +13.25 TMO‑Non TMO‑Non
CSR059+3 +1.14 +1.50 +1.33 +4.20 +1.23 +1.15 +2.80 +3.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT356+1 +0.01 +0.01 +0.01 +0.01 +15.47 +1.84 +68.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR065+3 +1.33 +0.01 +1.41 +8.53 +3.63 +1.17 +112.52 +3.72 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO084+1 +0.01 +0.03 +0.01 +58.25 +0.01 +0.05 +0.26 +23.13 +0.02 +12.27 TMO‑Non TMO‑Non
CSR115+27 +0.03 +0.02 +0.02 +0.01 +6.59 +11.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO118+1 +0.01 +1.92 +0.01 +6.09 +30.91 +0.01 +0.12 +0.06 +0.03 +3.54 +0.02 +207.84
SWV014+1 +0.01 +0.01 +0.01 +6.08 +0.02 +0.02 TMO‑Non +150.23 UNK‑Non +42.35 TMO‑Non TMO‑Non
NUM853+2 +0.01 +0.01 +0.01 UNK‑Non +0.01 +1.15 +0.01 GUP‑Non UNK‑Non +19.56 TMO‑Non TMO‑Non
CSR055+3 +0.10 +0.01 +1.31 +4.53 +2.92 +1.77 +29.43 +1.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM925+3 +0.01 +0.01 +0.01 +8.00 +0.01 TMO‑Non +159.78 TMO‑Non +14.52 TMO‑Non TMO‑Non TMO‑Non
CSR034+3 +0.01 +0.01 +0.01 +4.92 +3.94 +1.14 +1.83 +3.39 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG041+1 +0.02 +0.01 +0.01 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non +0.01 +2.38 GUP‑Non +0.01
LCL674+1.015 +3.93 +3.02 +11.84 +7.92 TMO‑Non +2.25 TMO‑Non +0.01 +0.01 GUP‑Non GUP‑Non +31.04
LCL538+1 +0.01 +0.01 +0.01 UNK‑Non +59.74 +0.02 +229.37 UNK‑Non +2.40 +11.89 TMO‑Non TMO‑Non
CSR068+3 +1.14 +0.02 +1.40 +6.33 +1.23 +1.08 +1.76 +1.26 TMO‑Non +253.96 TMO‑Non TMO‑Non
SWW473+5 +0.01 +1.62 +0.03 +5.20 +0.01 +21.34 +0.01 +13.19 +44.84 130.15 TMO‑Non TMO‑Non
CSR071+3 +1.15 +0.10 +1.43 +6.14 +5.51 +1.36 +71.74 +3.41 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG210+2 +0.01 +0.01 +0.01 +0.01 +0.01 TMO‑Non TMO‑Non GUP‑Non +0.01 +11.45 TMO‑Non +0.02
CSR040+3 +0.01 +0.01 +9.94 +8.96 +271.60 +4.05 TMO‑Non +117.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM924+3 +5.18 +4.54 +0.02 +7.85 +0.01 TMO‑Non TMO‑Non TMO‑Non +10.00 TMO‑Non TMO‑Non TMO‑Non
KRS193+1 +1.80 +0.01 +0.01 +0.01 +0.01 +0.01 +3.69 +0.02 +0.01 +12.65 +0.01 TMO‑Non
SWV463+1 +0.02 +0.01 +5.01 +0.01 +0.01 +5.60 +33.30 +57.67 +0.14 +14.86 TMO‑Non TMO‑Non
KRS233+1 +1.73 +0.01 +6.44 +0.01 +0.01 +0.01 +27.72 +0.01 +2.79 +12.69 +36.65 TMO‑Non
SEU192+1 +0.02 +2.81 +0.01 +12.07 TMO‑Non +0.01 TMO‑Non TMO‑Non +23.59 +2.84 +0.01 TMO‑Non
CSR115+15 +0.01 +0.01 +0.01 +2.70 +6.87 +6.55 +185.06 +15.91 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV203+1 +0.01 +0.01 +14.73 +0.01 +1.05 +0.01 TMO‑Non TMO‑Non +34.38 +21.98 TMO‑Non TMO‑Non
CSR113+2 +0.08 +0.09 +0.02 +0.02 +47.51 +52.82 +8.15 TMO‑Non TMO‑Non +42.84 TMO‑Non TMO‑Non
SET889+1 +0.01 +2.71 +0.01 +0.01 +0.01 +6.73 +0.01 +0.01 TMO‑Non +45.06 +0.01 TMO‑Non
KRS187+1 +1.74 +0.01 +2.04 +0.01 +0.01 +0.01 +3.75 +0.02 +0.18 +12.78 +0.01 TMO‑Non
SWV486+1 +2.62 +3.60 +0.01 +0.01 +0.02 +35.15 +39.73 TMO‑Non TMO‑Non TMO‑Non +0.92 TMO‑Non
CSR115+48 +0.09 +0.01 +0.01 +0.01 +1.54 +1.77 +110.62 +57.98 TMO‑Non +40.92 TMO‑Non TMO‑Non
LCL499+1 +0.01 +0.01 +0.01 UNK‑Non +1.63 +10.65 TMO‑Non UNK‑Non +0.01 +17.78 GUP‑Non TMO‑Non
SWB020+2 +3.92 +11.74 +0.01 +0.01 +2.15 +35.76 TMO‑Non TMO‑Non +4.21 TMO‑Non TMO‑Non TMO‑Non
NUM299+1 +0.01 +0.01 +1.14 +0.01 TMO‑Non +35.06 +0.12 +9.63 +6.45 TMO‑Non TMO‑Non TMO‑Non
LCL642+1.015 +1.81 +0.02 +27.33 +80.24 +111.18 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +3.34
NUM534+2 +0.01 +3.81 +0.01 +5.07 +0.01 TMO‑Non +200.28 TMO‑Non TMO‑Non +7.54 GUP‑Non TMO‑Non
KRS192+1 +1.76 +0.01 +42.21 +0.01 +0.01 +0.01 +4.25 +0.04 +25.70 +13.21 +0.01 TMO‑Non
TOP023+1 +0.01 +2.51 +35.34 +0.01 +0.01 +15.75 TMO‑Non TMO‑Non +1.28 +4.59 +0.02 TMO‑Non
KRS267+1 +0.01 +0.01 +0.01 +0.01 +30.07 +0.01 +0.01 +0.02 +0.02 TMO‑Non TMO‑Non TMO‑Non
SCT131+1 +2.93 +0.01 +0.01 +5.68 +0.01 TMO‑Non +1.68 +166.64 +4.93 TMO‑Non TMO‑Non TMO‑Non
CSR114+12 +0.02 +0.01 +0.01 +0.01 +1.42 +1.96 +8.05 +43.98 TMO‑Non +44.40 TMO‑Non TMO‑Non
GEO272+1 +0.01 +0.01 +0.01 UNK‑Non +30.03 +0.01 +111.59 GUP‑Non UNK‑Non +38.83 +10.55 +1.73
CSR115+35 +0.02 +0.01 +0.01 +7.60 +6.74 +10.17 TMO‑Non +21.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE079+1 +1.30 +3.90 +0.01 +0.01 +15.78 TMO‑Non TMO‑Non GUP‑Non +0.01 71.91 GUP‑Non +181.60
CSR114+16 +0.09 +0.01 +0.02 +0.01 +0.02 +1.59 +0.42 +15.07 TMO‑Non +27.00 TMO‑Non TMO‑Non
SWV030+1 +0.01 +0.01 +0.01 +0.70 +0.01 +0.01 +0.02 +214.86 TMO‑Non +23.61 TMO‑Non TMO‑Non
SYN938+1 +0.01 +0.01 +0.01 +0.01 +33.07 +0.01 +28.96 +3.14 UNK‑Non GUP‑Non GUP‑Non TMO‑Non
SWB049+1 +1.42 +0.01 +0.01 +0.01 TMO‑Non +14.15 +68.13 TMO‑Non TMO‑Non 220.90 TMO‑Non TMO‑Non
KRS191+1 +1.73 +0.01 +1.94 +0.02 +0.01 +0.01 +3.72 +0.01 +0.01 +12.69 +0.01 TMO‑Non
SWV461+1 +0.01 +0.05 +3.44 +18.17 +0.01 +52.88 +0.88 +169.91 TMO‑Non +14.16 TMO‑Non TMO‑Non
CSR115+32 +0.01 +0.01 +0.01 +2.71 +6.65 +6.56 +0.53 +100.83 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV450+1 +0.01 +0.01 +0.01 +6.51 +0.01 TMO‑Non TMO‑Non TMO‑Non +0.01 78.08 TMO‑Non TMO‑Non
KRS196+1 +1.73 +0.01 +0.01 +0.01 +0.01 +0.01 +3.72 +0.01 +0.01 +12.68 +0.01 TMO‑Non
SWW474+1 +0.01 +0.01 +0.02 +0.01 +0.01 +22.63 +213.68 +3.58 +20.94 +24.44 TMO‑Non TMO‑Non
SYO525+1.015 +13.21 +4.14 +49.84 +270.11 TMO‑Non +8.92 TMO‑Non UNK‑Non +5.59 TMO‑Non TMO‑Non TMO‑Non
NUM329+1 +0.01 +0.01 TMO‑Non +0.02 +15.54 +103.93 +0.01 +0.02 +19.40 TMO‑Non +55.83 TMO‑Non
SWB014+3 +4.35 +1.20 +0.01 +0.01 +33.94 +58.78 +139.22 TMO‑Non +31.33 TMO‑Non +11.14 TMO‑Non
SWV416+1 +0.04 +0.01 +0.01 +0.02 +0.01 +0.01 +0.01 +0.01 UNK‑Non +4.36 TMO‑Non TMO‑Non
KRS216+1 +1.74 +0.01 +0.01 +0.02 +190.88 +1.63 +3.71 +0.01 +27.80 TMO‑Non TMO‑Non TMO‑Non
PRO003+4 +0.02 +2.51 +0.02 +0.01 +0.02 UNK‑Non UNK‑Non UNK‑Non +4.10 +23.86 UNK‑Non +0.01
CSR035+3 +0.01 +0.01 +0.02 +6.74 +1.04 +1.04 +1.40 +1.34 UNK‑Non +30.82 UNK‑Non UNK‑Non
SCT126+1 +2.93 +0.01 +0.01 +10.59 +0.01 UNK‑Non +0.02 UNK‑Non +5.64 31.20 UNK‑Non UNK‑Non
CSR115+53 +0.01 +0.01 +0.08 +8.60 +7.13 +10.22 +185.41 +13.95 UNK‑Non TMO‑Non UNK‑Non UNK‑Non
LCL526+1 +1.32 +12.08 +0.01 UNK‑Non UNK‑Non +61.95 UNK‑Non UNK‑Non +4.52 +22.75 UNK‑Non UNK‑Non
CSR115+89 +0.01 +0.01 +0.01 +0.03 +7.14 +6.06 UNK‑Non +20.57 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL902+1 +0.01 +0.04 +0.01 +0.01 +0.01 +14.25 UNK‑Non UNK‑Non UNK‑Non GUP‑Non GUP‑Non +11.14
CSR115+42 +0.02 +0.02 +0.01 +7.60 +6.82 +17.83 +0.01 +15.57 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW473+2 +0.01 +0.01 +0.02 +6.61 +0.01 +147.40 +1.44 +26.38 UNK‑Non +37.64 UNK‑Non UNK‑Non
MGT067+1 +0.01 +0.01 +0.01 +0.01 UNK‑Non +0.01 +1.05 +0.02 +0.02 UNK‑Non UNK‑Non UNK‑Non
SWW470+1 +1.43 +16.44 +0.01 +1.98 +0.01 UNK‑Non UNK‑Non UNK‑Non +4.90 +9.16 UNK‑Non UNK‑Non
CSR048+3 +1.14 +0.01 +0.01 +4.25 +1.29 +1.17 +1.65 +2.81 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
CSR024+1.009 +0.01 +0.06 +0.01 +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non +0.01 UNK‑Non UNK‑Non UNK‑Non
LCL672+1.005 +1.81 +24.73 +58.74 +107.82 +113.22 +14.15 UNK‑Non +53.15 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
PRO014+3 +0.01 +4.36 +0.01 +0.01 +0.01 +1.94 TMO‑Non UNK‑Non +2.84 +48.76 UNK‑Non +12.93
CSR115+14 +0.09 +0.01 +0.01 +7.71 +6.94 +12.55 +0.01 +16.62 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW186+1 +0.02 +6.16 +0.02 +6.77 +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non +33.87 UNK‑Non UNK‑Non
CSR115+61 +1.53 +0.01 +0.09 +7.70 +7.14 +10.36 +0.01 +15.17 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
GEO331+1 +0.01 +0.01 +0.02 UNK‑Non +33.95 +0.02 UNK‑Non GUP‑Non UNK‑Non +17.82 UNK‑Non UNK‑Non
CSR115+46 +0.01 +0.01 +0.01 +7.60 +7.14 +12.96 +0.02 +16.95 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
PUZ133+1 +17.23 +18.29 +3.13 +15.00 +0.01 UNK‑Non UNK‑Non UNK‑Non +0.01 63.67 GUP‑Non UNK‑Non
CSR027+3 +44.20 +10.58 +1.51 +5.71 +132.46 +4.66 UNK‑Non +58.93 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
HAL002+1 +1.21 +2.25 +0.01 +0.01 +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non +7.69 +0.01 +0.01
CSR066+3 +44.24 +10.24 +1.52 +5.83 UNK‑Non +3.85 +113.52 +5.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
ALG127+1 +0.01 +0.70 +68.51 UNK‑Non +0.01 UNK‑Non UNK‑Non GUP‑Non UNK‑Non +8.57 UNK‑Non UNK‑Non
CSR115+71 +0.02 +0.05 +0.02 +8.62 +6.64 +12.75 +0.53 +13.82 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SET056+1 +0.01 +0.02 +0.03 +0.01 UNK‑Non +0.02 +0.77 +0.04 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
COM008+1 +6.15 +72.92 +0.01 UNK‑Non +1.53 +96.94 UNK‑Non UNK‑Non +18.47 TMO‑Non +0.02 +0.15
CSR008+1 +3.84 +7.66 +0.03 +30.52 +19.81 UNK‑Non UNK‑Non UNK‑Non +0.02 UNK‑Non UNK‑Non UNK‑Non
CSR044+3 +44.23 +11.15 +1.49 +4.62 +131.12 +4.47 UNK‑Non +7.24 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWC279+1 +0.01 +0.01 +0.01 +0.01 +0.01 +10.18 UNK‑Non UNK‑Non UNK‑Non +76.84 UNK‑Non UNK‑Non
CSR051+3 +0.02 +0.02 +0.01 +4.98 +1.14 +0.01 +1.31 +1.23 UNK‑Non +29.88 UNK‑Non UNK‑Non
SWV453+1 +0.14 +0.85 +48.85 +25.38 +0.23 UNK‑Non UNK‑Non UNK‑Non UNK‑Non 79.10 UNK‑Non UNK‑Non
CSR050+3 +10.78 +0.01 +1.57 +5.07 +2.61 +1.30 +112.03 +3.30 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWV481+1 +2.26 +0.90 +1.83 +100.92 +0.01 TMO‑Non TMO‑Non UNK‑Non +60.52 UNK‑Non TMO‑Non UNK‑Non
CSR064+3 +0.01 +0.02 +2.03 +6.08 +3.02 +21.47 +1.48 +1.25 TMO‑Non UNK‑Non TMO‑Non UNK‑Non
KLE170+1.002 +6.11 +2.83 +0.01 +0.01 +0.01 TMO‑Non TMO‑Non GUP‑Non +0.01 41.35 GUP‑Non +192.10
CSR115+3 +1.02 +0.01 +0.01 +0.02 +6.72 +6.31 +200.46 +17.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926+6 +0.01 +0.01 +0.01 +5.66 +1.11 TMO‑Non TMO‑Non TMO‑Non +5.13 122.92 TMO‑Non TMO‑Non
LCL660+1.005 +0.01 +0.01 +123.60 +261.05 +110.78 +2.35 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +194.52
SET699+4 +0.04 +117.47 +0.01 +6.07 +0.01 +3.37 +0.01 +0.01 TMO‑Non GUP‑Non +0.01 TMO‑Non
CSR058+3 +0.01 +0.02 +0.01 +5.73 +1.17 +1.16 +1.37 +1.26 TMO‑Non +31.47 TMO‑Non TMO‑Non
SWV456+1 +0.01 +2.51 +10.24 +36.49 +15.11 TMO‑Non TMO‑Non TMO‑Non +16.31 83.94 TMO‑Non TMO‑Non
CSR114+11 +0.02 +0.02 +0.02 +20.94 +4.54 +4.02 +200.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA007+2 +11.86 +8.15 +0.02 +6.05 +0.02 +3.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.03
CSR115+13 +0.02 +0.01 +0.11 +2.68 +6.73 +12.76 +174.72 +67.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET703+4 +0.01 UNK‑Non +0.02 +10.12 +0.01 TMO‑Non +8.98 +0.02 UNK‑Non +3.90 +0.02 TMO‑Non
CSR115+59 +0.01 +0.02 +0.01 +0.01 +4.86 +3.95 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO088+1 +5.89 +44.91 +84.52 +12.11 +0.02 +35.45 +92.11 +39.29 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
CSR054+3 +1.14 +0.01 +0.01 +6.51 +1.00 +1.07 +1.39 +1.23 UNK‑Non +31.43 UNK‑Non UNK‑Non
SWV374+1 +0.01 +0.01 +0.01 +0.01 +0.01 TMO‑Non TMO‑Non TMO‑Non UNK‑Non +8.06 TMO‑Non TMO‑Non
CSR067+3 +0.01 +0.01 +0.01 +4.30 +3.62 +1.15 +1.48 +1.26 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB040+1 +1.05 +0.04 +100.83 +0.02 +218.64 +1.42 TMO‑Non UNK‑Non TMO‑Non +214.41 TMO‑Non TMO‑Non
CSR115+45 +0.11 +0.01 +0.01 +8.69 +4.46 +11.97 +28.42 +18.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL894+1 +34.20 +43.88 +0.01 +108.10 +15.36 +63.78 TMO‑Non TMO‑Non UNK‑Non GUP‑Non GUP‑Non TMO‑Non
CSR070+3 +1.24 +0.01 +8.16 +4.76 +132.50 +1.15 +70.72 +11.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM926+3 +2.95 +23.18 +151.76 +63.09 +0.01 +57.80 TMO‑Non TMO‑Non +21.70 TMO‑Non TMO‑Non TMO‑Non
CSR063+3 +0.01 +0.01 +1.43 +4.63 +2.94 +2.34 +29.25 +1.29 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU210+1 +6.77 +3.53 +0.01 +7.33 TMO‑Non +0.01 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non +185.99
LCL670+1.001 +0.02 +0.01 +0.02 +1.16 TMO‑Non +43.98 +171.85 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +0.01
GEO127+1 +0.01 +2.51 +0.01 +6.06 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non
CSR116+47 +2.26 +0.01 +0.10 +0.01 +4.73 +14.45 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ALG128+1 +0.01 +0.01 +8.94 TMO‑Non +0.01 TMO‑Non TMO‑Non GUP‑Non TMO‑Non +9.90 TMO‑Non TMO‑Non
CSR116+15 +4.72 +0.01 +0.01 +0.02 +5.81 +13.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV468+1 +0.01 +0.01 +151.89 +18.69 +0.01 +39.12 TMO‑Non UNK‑Non +104.35 71.16 TMO‑Non TMO‑Non
CSR116+20 +0.01 +0.01 +0.02 +0.01 +5.83 +12.85 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV109+1 +0.01 +0.01 TMO‑Non +18.06 +0.01 +0.01 +0.14 TMO‑Non TMO‑Non +29.61 TMO‑Non TMO‑Non
SWB012+3 +4.73 +1.19 +0.01 +0.01 +45.66 TMO‑Non +13.42 TMO‑Non UNK‑Non +237.59 +11.74 TMO‑Non
SCT164+1 +2.91 +3.63 +0.01 +0.99 TMO‑Non +64.70 +148.74 TMO‑Non +4.65 TMO‑Non TMO‑Non TMO‑Non
CSR030+3 +1.03 +0.01 +1.33 +4.55 +226.58 +1.06 +70.57 +2.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HAL001+2 100.57 +63.36 +7.05 +2.56 +64.93 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 89.21 +1.05 TMO‑Non
CSR060+3 +44.29 +67.36 +1.43 +5.86 +271.20 +3.87 TMO‑Non +4.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW314+1 +0.02 +0.01 +4.22 +7.90 +2.24 +3.34 +2.65 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+26 +3.23 +0.01 +0.01 +0.01 +4.44 +29.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR048+4 +4.45 +1.06 +4.24 +6.57 +10.73 +6.01 +105.57 +140.39 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL660+1.001 +0.01 +0.01 +124.32 +258.01 +111.04 +3.64 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +1.33
SWW302+1 +0.01 +0.01 +3.72 +0.01 +11.64 +1.60 +29.61 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR057+3 +1.24 +0.02 +1.41 +4.33 TMO‑Non +3.77 +106.56 +127.81 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA009+1 +122.74 +6.72 +3.92 +18.69 +58.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01
CSR073+3 +0.01 +0.01 +5.63 +4.94 TMO‑Non +0.01 +70.33 +3.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE044+1 +59.24 +3.44 +0.02 +1.28 +1.14 TMO‑Non TMO‑Non GUP‑Non +10.61 54.29 GUP‑Non TMO‑Non
CSR116+30 +0.03 +0.01 +0.02 +0.01 +5.44 +47.80 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV491+3 +0.01 +0.01 +3.43 +43.23 +0.01 +22.71 +110.23 TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non
SYN353+1 +0.01 +0.75 +0.01 +0.02 TMO‑Non +9.98 TMO‑Non +0.01 +1.40 GUP‑Non TMO‑Non TMO‑Non
GEO169+2 +3.42 +33.05 +19.15 +54.54 +15.09 +8.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS251+1 +1.73 +0.02 TMO‑Non +20.05 +0.01 +0.02 +27.97 +0.02 TMO‑Non +21.11 TMO‑Non TMO‑Non
SWW315+1 +0.01 +0.01 +3.63 +7.81 +2.26 +3.32 +2.67 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR062+3 +1.25 +0.01 +1.52 +4.50 286.39 +1.17 +112.17 +3.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW313+1 +0.01 +0.22 +3.56 +7.77 +11.00 +3.59 +30.76 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL640+1.020 +0.02 +25.45 +1.19 +9.32 TMO‑Non +44.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW470+3 +32.17 +2.35 +151.17 +14.12 +0.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +36.87 TMO‑Non TMO‑Non
CSR116+38 +0.01 +0.01 +0.10 +0.40 TMO‑Non +25.57 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWC061+1 +1.41 +0.01 +0.02 +6.10 +288.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR061+3 +30.05 +8.44 +154.79 +34.06 TMO‑Non TMO‑Non TMO‑Non +10.17 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM860+1 +0.01 +0.02 +2.33 +142.23 +6.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PRD001+1* +181.78 +56.47 +103.07 TMO‑Non TMO‑Non +3.64 TMO‑Non +118.95 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT149+1 +0.04 +0.01 TMO‑Non +15.69 +0.01 +0.01 +0.02 +0.03 TMO‑Non 107.07 TMO‑Non TMO‑Non
SYO525+1.018 +42.41 +66.55 TMO‑Non TMO‑Non TMO‑Non +193.62 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO282+1 +2.35 +1.62 +0.01 UNK‑Non +0.01 +50.91 TMO‑Non GUP‑Non UNK‑Non +16.30 TMO‑Non TMO‑Non
LCL652+1.010 +0.01 +0.03 +3.28 +150.27 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB024+1 +3.72 +0.01 +3.92 +0.01 TMO‑Non TMO‑Non +28.35 TMO‑Non TMO‑Non 240.31 TMO‑Non TMO‑Non
KRS264+1 +1.82 +0.01 TMO‑Non +0.02 +36.95 +4.32 +114.57 +36.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW312+1 +0.02 +1.22 +9.72 +7.79 +2.44 TMO‑Non +2.72 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR113+20 +0.01 +0.01 +0.01 +0.01 TMO‑Non +120.96 +221.43 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT167+1 +2.33 +3.62 +0.02 +2.93 TMO‑Non +58.68 TMO‑Non TMO‑Non +5.57 TMO‑Non TMO‑Non TMO‑Non
LCL676+1.015 +1.83 +1.12 TMO‑Non TMO‑Non +92.76 +17.85 TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non +2.90
SWB084+1 +3.37 +1.81 +24.33 +0.37 +40.94 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +217.86 TMO‑Non TMO‑Non
LCL660+1.015 +0.02 +1.03 TMO‑Non TMO‑Non +111.24 +7.43 TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non +15.32
NUM516+3 +145.35 +130.79 +225.83 +65.29 +69.71 TMO‑Non +29.37 TMO‑Non TMO‑Non 30.18 TMO‑Non TMO‑Non
CSR113+29 +0.01 +0.01 +0.02 +8.72 TMO‑Non +33.27 +217.59 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV462+1 +0.01 +0.01 +168.13 +11.95 +0.01 TMO‑Non TMO‑Non TMO‑Non +1.82 +247.92 TMO‑Non TMO‑Non
CSR113+12 +0.01 +0.11 +0.01 +7.70 TMO‑Non +33.00 +190.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT166+1 +2.93 +3.61 +0.02 +1.19 TMO‑Non +51.27 TMO‑Non TMO‑Non +4.95 TMO‑Non TMO‑Non TMO‑Non
LCL676+1.010 +1.81 +80.42 TMO‑Non TMO‑Non +1.73 +10.62 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +0.02
SWV233+1 +1.65 +0.02 +0.01 +6.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR039+3 +30.06 +8.45 +157.89 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB086+1 +3.31 +2.85 +162.12 +0.02 +111.12 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL676+1.020 +4.82 +1.22 TMO‑Non TMO‑Non +112.15 +10.64 TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non +3.49
SWW386+1 +0.01 +1.25 +4.34 +9.14 +87.34 +4.51 +31.46 TMO‑Non +273.47 TMO‑Non TMO‑Non TMO‑Non
LAT258+1 TMO‑Non +22.17 +35.75 +234.46 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non +38.16 TMO‑Non
CSR005+1 +3.82 +7.79 +0.01 +28.86 +19.84 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR049+3 +29.99 +8.44 +158.20 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +11.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO283+1 +4.53 +9.87 +0.02 UNK‑Non +45.07 +16.46 +123.28 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL668+1.005 19.82 +56.71 TMO‑Non TMO‑Non +15.03 +0.01 TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWW344+1 +0.01 +0.01 +2.83 +9.25 TMO‑Non +3.20 +30.44 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO168+1 +11.07 +3.54 +30.05 TMO‑Non +104.67 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW353+1 +0.02 +0.01 +11.44 +10.93 +87.56 TMO‑Non +32.45 UNK‑Non +275.26 TMO‑Non TMO‑Non TMO‑Non
LCL638+1.010 +7.53 +9.79 +59.45 +198.13 TMO‑Non TMO‑Non +75.33 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWW298+1 +0.01 +0.01 +3.82 +6.99 +121.50 +11.81 +72.19 UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
NLP560+1 +42.12 +21.50 +18.34 +34.23 +270.05 UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWB029+1 +3.73 +1.83 +3.83 +0.01 +117.96 UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
LCL658+1.010 +40.86 +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
NUM862+1 +0.02 +0.01 +151.15 +150.44 +45.17 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non +157.29
SYO525+1.021 +153.52 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWB106+1 +3.34 +2.84 +165.03 +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL648+1.010 +160.87 4.14 UNK‑Non UNK‑Non +12.15 44.39 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
GEO306+1 +7.24 +3.71 +0.01 UNK‑Non +45.05 +58.29 UNK‑Non GUP‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SYN986+1.004 +0.01 +12.59 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non GUP‑Non UNK‑Non
NUM320+1 +0.01 +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non +1.94 UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL658+1.015 +1.80 +0.02 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
SWW387+1 +0.01 +0.01 +3.54 +9.13 +87.26 +4.40 +31.35 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
NLP562+1 +42.20 +21.37 +15.34 +34.46 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
CSR025+5 +9.14 +9.97 +10.83 +32.71 UNK‑Non +30.49 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL668+1.010 +29.22 +59.92 UNK‑Non UNK‑Non +17.22 +2.43 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
SET010+3 +2.03 UNK‑Non +46.03 UNK‑Non +35.74 +0.95 +7.25 +0.01 UNK‑Non UNK‑Non +0.01 UNK‑Non
LCL668+1.015 57.09 +68.02 UNK‑Non UNK‑Non +23.53 +6.56 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
SWW474+6 +0.02 +18.02 UNK‑Non UNK‑Non +56.34 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
NLP561+1 +41.96 +21.44 +19.24 +35.32 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEU352+1 +11.25 +39.21 +0.01 +8.00 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
GEO167+1 UNK‑Non +3.54 UNK‑Non UNK‑Non +88.03 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWB032+1 +2.21 +0.02 +8.94 +0.01 UNK‑Non +36.89 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL682+1.015 +13.18 +34.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL523+1 +1.91 UNK‑Non +0.02 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non +63.54 UNK‑Non TMO‑Non UNK‑Non
BOO109+1 UNK‑Non +0.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
SWW318+1 +0.02 +1.44 +6.14 +10.50 UNK‑Non UNK‑Non +31.54 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL646+1.010 UNK‑Non +53.55 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
SCT121+1 +0.01 +2.93 UNK‑Non +12.50 UNK‑Non UNK‑Non TMO‑Non +15.50 +277.64 UNK‑Non TMO‑Non UNK‑Non
LCL672+1.020 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non
SWW362+1 +0.18 +1.33 +15.04 +22.34 +14.43 TMO‑Non +38.39 TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non
LCL684+1.010 TMO‑Non 5.15 TMO‑Non UNK‑Non +11.74 65.39 TMO‑Non +112.78 TMO‑Non UNK‑Non UNK‑Non TMO‑Non
NUM925+8 +18.81 +3.37 +9.53 +124.65 +3.64 TMO‑Non +10.97 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL666+1.010 +68.62 3.92 TMO‑Non TMO‑Non +11.95 35.17 TMO‑Non +131.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP654+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
LCL876+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
CSR070+4 +4.44 +7.44 +21.62 +6.50 TMO‑Non +6.48 TMO‑Non +201.22 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL662+1.015 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR026+4 +10.23 +0.60 +13.49 +14.70 +12.71 +7.21 TMO‑Non +139.77 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL668+1.020 TMO‑Non +86.37 TMO‑Non TMO‑Non TMO‑Non +14.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWB080+1 +3.34 +2.84 +160.47 +0.02 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL646+1.015 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SCT117+1 +0.02 +2.83 TMO‑Non +14.18 +0.01 +51.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL680+1.005 +193.10 +65.42 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +1.90
GEO308+1 +4.25 +2.91 TMO‑Non UNK‑Non +270.05 +99.40 +173.81 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL662+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non
SWW321+1 +0.02 +1.31 +11.54 +20.88 +80.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT162+1 +2.16 +26.84 +5.73 +1.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.24 TMO‑Non TMO‑Non TMO‑Non
SCT163+1 +2.82 +28.14 +6.65 +1.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.29 TMO‑Non TMO‑Non TMO‑Non
AGT018+2 +0.01 +1.33 TMO‑Non +27.40 +163.38 TMO‑Non +174.52 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB063+1 +3.73 +6.17 +167.69 +0.02 +114.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM331+1 +27.67 +4.48 TMO‑Non UNK‑Non TMO‑Non TMO‑Non +199.80 TMO‑Non +243.47 TMO‑Non TMO‑Non TMO‑Non
SWW358+1 +0.02 +1.34 +7.93 +8.63 +12.05 TMO‑Non +76.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP780+1 +142.85 +56.22 +0.01 +147.29 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +1.09 TMO‑Non GUP‑Non TMO‑Non
SWB071+1 +3.34 +0.03 +3.61 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT143+1 +4.53 +31.78 +151.17 +1.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +5.25 TMO‑Non TMO‑Non TMO‑Non
SCT141+1 +4.45 +31.96 +151.13 +21.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.47 TMO‑Non TMO‑Non TMO‑Non
SWW226+1 +5.69 +31.15 +193.74 TMO‑Non +252.19 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SCT153+1 +17.75 +55.25 TMO‑Non +15.48 +1.15 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW326+1 +0.02 +0.01 +12.33 +7.87 +2.45 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT135+1 +0.01 +0.01 TMO‑Non +10.38 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA002+1 +8.75 +6.12 +13.35 +44.27 +56.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01
GRP779+1 +6.96 TMO‑Non +1.24 +35.34 TMO‑Non UNK‑Non TMO‑Non GUP‑Non +7.00 TMO‑Non GUP‑Non TMO‑Non
SCT138+1 +4.44 +31.29 +224.57 +1.11 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.55 TMO‑Non TMO‑Non TMO‑Non
SWW368+1 +3.24 +1.43 +12.71 +22.13 +14.73 TMO‑Non +38.49 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT136+1 +4.53 +31.90 +151.16 +1.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +5.07 TMO‑Non TMO‑Non TMO‑Non
SWW337+1 +0.01 +0.01 +8.94 +7.12 +11.64 +208.44 +30.92 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU211+2 TMO‑Non TMO‑Non TMO‑Non +18.79 +0.02 +0.02 TMO‑Non TMO‑Non TMO‑Non 89.37 TMO‑Non TMO‑Non
SCT128+1 +24.04 +0.41 TMO‑Non +13.28 +0.01 TMO‑Non +72.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW371+1 +53.41 +0.01 +9.62 +243.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +279.00 TMO‑Non TMO‑Non TMO‑Non
SWW310+1 +0.01 +1.24 +10.48 +38.07 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +282.96 TMO‑Non TMO‑Non TMO‑Non
SWB093+1 +3.38 +2.87 TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB064+1 +3.75 +7.68 +185.43 +0.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO287+1 +0.01 +52.95 +2.52 UNK‑Non +7.33 TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT139+1 +4.56 +32.48 +152.18 +2.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +4.75 TMO‑Non TMO‑Non TMO‑Non
SWB050+1 +3.75 +24.44 +5.52 +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR038+4 +17.51 +1.60 +162.30 +6.61 TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SYN076+1 +11.77 +17.85 TMO‑Non TMO‑Non +2.64 TMO‑Non TMO‑Non +0.01 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWB082+1 +3.35 +2.85 TMO‑Non +0.99 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV037+1 +0.01 +3.73 UNK‑Non +25.21 +0.05 UNK‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW382+1 +0.01 +0.01 +12.04 +9.01 UNK‑Non +118.01 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW359+1 +0.02 +1.34 +10.38 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW470+7 +0.05 +3.55 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non +12.68 UNK‑Non UNK‑Non UNK‑Non
LAT286+2 +0.01 +3.04 +11.33 +21.68 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non UNK‑Non UNK‑Non
NUM926+4 +3.35 +3.99 UNK‑Non UNK‑Non +4.74 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW396+1 +62.57 +0.01 +11.41 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
CSR055+5 +9.44 +191.15 +11.43 +32.36 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWB013+1 +3.37 +1.83 UNK‑Non +35.65 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
SWW339+1 +0.01 +1.62 +10.03 +7.81 +11.85 UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non
CSR059+5 +11.83 +10.93 +12.22 +32.37 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non
SWW356+1 +62.45 +1.23 +10.43 +35.98 UNK‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWV234+1 +0.02 TMO‑Non +10.06 +254.89 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non
LAT287+2 +0.01 +3.05 +0.01 +29.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW340+1 +63.44 +1.23 +9.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +264.74 TMO‑Non TMO‑Non TMO‑Non
LCL551+1 +22.01 TMO‑Non +1.63 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL555+1 +21.00 +292.22 +2.04 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW305+1 +63.66 +1.32 +18.51 +118.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW470+6 +0.01 +53.25 TMO‑Non TMO‑Non +14.44 TMO‑Non TMO‑Non TMO‑Non +4.69 TMO‑Non TMO‑Non TMO‑Non
SET069+1 +0.01 +27.54 +39.74 +151.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non
SWW366+1 +21.94 +1.44 +10.82 TMO‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non
SWW389+1 +0.02 +0.01 +10.53 +22.25 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non TMO‑Non
SWW335+1 +51.32 +1.29 +6.31 UNK‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW306+1 +0.17 +1.23 +8.93 +19.44 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWB105+1 +3.62 +7.14 TMO‑Non +3.40 TMO‑Non TMO‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW348+1 +0.02 +1.13 +7.23 +6.86 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB010+1 +3.34 +2.34 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW384+1 +46.35 +0.22 +12.84 +272.88 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB095+1 +3.37 +2.84 TMO‑Non +0.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW320+1 +63.53 +1.33 +11.35 +40.92 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWW350+1 +0.02 +1.15 +5.24 +6.82 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW325+1 +62.82 +0.01 +10.93 +293.79 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SEU214+2 UNK‑Non TMO‑Non TMO‑Non +13.18 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +49.65 TMO‑Non TMO‑Non
CSR039+4 +10.21 +107.45 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR064+6 +95.94 +97.00 +94.53 +110.68 TMO‑Non 200.90 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO279+1 26.00 +45.57 +10.44 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LCL890+1 +41.44 TMO‑Non +189.69 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non TMO‑Non
SWW327+1 +62.71 +0.01 +16.45 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWW100+1 +3.43 +1.74 TMO‑Non TMO‑Non +31.98 TMO‑Non TMO‑Non GUP‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR048+6 UNK‑Non UNK‑Non +83.61 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LAT297+3 +4.54 +3.37 +0.02 +26.90 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW329+1 +63.08 +1.13 +11.34 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWB069+1 +54.25 +1.83 UNK‑Non +10.36 +116.08 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWW346+1 +58.66 +0.01 +11.34 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SEU063+1 +1.23 +6.03 UNK‑Non +30.16 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LCL892+1 +41.41 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non
HWV107+1 +8.44 UNK‑Non UNK‑Non UNK‑Non TMO‑Non +64.65 UNK‑Non UNK‑Non GUP‑Non UNK‑Non UNK‑Non UNK‑Non
SCT102+1 +54.76 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non +20.89 UNK‑Non UNK‑Non UNK‑Non
GEO293+1 +30.67 +76.86 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
GEO322+1 30.84 UNK‑Non +90.45 UNK‑Non UNK‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
SWB101+1 +3.75 UNK‑Non UNK‑Non +2.89 UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
GEO316+1 UNK‑Non UNK‑Non +83.05 UNK‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non UNK‑Non UNK‑Non UNK‑Non UNK‑Non
LAT348+3 +0.49 +3.55 TMO‑Non +9.33 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
KLE042+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +53.91 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 110.55 GUP‑Non TMO‑Non
SCT170+2 +57.68 +112.96 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO309+1 TMO‑Non TMO‑Non +100.32 UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT359+3 TMO‑Non TMO‑Non +159.54 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO337+1 +5.08 +0.02 TMO‑Non UNK‑Non TMO‑Non +55.80 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SWB038+1 +3.73 +23.22 TMO‑Non +2.21 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP628+4 +161.54 +4.84 TMO‑Non +59.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SCT148+1 +18.82 +56.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO334+1 +71.66 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
CSR058+6 +98.63 +97.01 TMO‑Non UNK‑Non TMO‑Non 205.95 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO338+1 +66.12 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO329+1 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GEO312+1 21.88 +144.85 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT377+3 +52.27 +201.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
Solved/400 380/400 371/400 316/400 303/400 257/400 222/400 159/400 127/400 111/400 113/400 37/400 37/400
Av. CPU Time 12.20 14.86 20.18 20.96 33.40 21.12 46.76 30.15 28.01 48.39 7.32 38.47
Solutions 374/400 368/400 316/400 303/400 256/400 217/400 159/400 127/400 111/400 88/400 37/400 37/400
μEfficiency 552 574 450 344 287 215 150 136 138 19 70 50
SOTAC 0.20 0.19 0.17 0.16 0.15 0.14 0.12 0.12 0.14 0.13 0.11 0.14
Core Usage 0.91 0.92 0.94 0.94 0.96 0.95 0.97 0.96 0.96 1.38 0.85 0.97
New Solved 1/1 1/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.


Results for: THF THN TFA TFN FOF FNT EPR LTB TNE TEQ TNN TNQ TFI TFR TFE TIN TRN TEN FNE FEQ FNN FNQ EPT EPS HLL HL4 ISA MZR

Results for FNT (First-order Non-theorems)

First-order Non-theorems Vampire
 SAT‑4.0
iProver
 SAT‑2.0
iProver
 SAT‑1.0
CVC4
 FNT‑1.5
E
 FNT‑1.9.1
Geo‑III
 2015E
PRD003+1* +7.04 +43.26 +24.74 +0.01 TMO‑Non TMO‑Non
HWV042+1 +37.09 +179.31 +107.66 TMO‑Non TMO‑Non TMO‑Non
PRD002+1* +7.06 +42.50 +23.66 +1.04 TMO‑Non TMO‑Non
HWV049+1 +51.98 +220.08 +174.45 TMO‑Non TMO‑Non TMO‑Non
GRA018+1 +18.37 +6.19 +82.47 +38.41 TMO‑Non TMO‑Non
SWV482+2 +0.01 +174.35 +58.94 TMO‑Non +0.04 +22.46
GRA026+1 +251.60 +18.34 +6.69 TMO‑Non TMO‑Non TMO‑Non
HWV087+1 +74.26 +20.63 +65.04 +176.06 TMO‑Non TMO‑Non
GRA025+1 +1.32 +4.20 +5.80 +33.61 TMO‑Non TMO‑Non
HWV111+1 +75.10 +21.46 +69.50 +166.61 TMO‑Non TMO‑Non
GRA024+1 +0.01 +0.01 +10.21 +30.92 TMO‑Non +88.52
HWV114+1 +76.95 +40.14 +111.92 +188.37 TMO‑Non TMO‑Non
LCL669+1.010 +7.02 +4.30 +9.21 +168.29 TMO‑Non TMO‑Non
NLP049+1 +0.01 +0.01 +30.68 +30.98 +0.01 +0.01
LCL651+1.015 +7.06 +17.29 +64.22 +249.95 TMO‑Non TMO‑Non
NLP247+1 +0.01 +0.01 +0.01 +0.01 +0.01 +0.01
LCL669+1.015 +7.08 +11.79 +27.07 +258.03 TMO‑Non TMO‑Non
LAT384+1 +0.01 +0.01 +61.42 +0.02 TMO‑Non +7.80
LCL667+1.020 +7.09 +52.82 +4.99 +3.80 TMO‑Non TMO‑Non
NLP052+1 +0.01 +0.02 +30.62 +31.41 +0.02 +0.01
MSC016+1 +0.02 +32.77 +9.12 +31.33 +0.01 TMO‑Non
PRO008+2 +0.03 +10.97 +249.53 TMO‑Non TMO‑Non TMO‑Non
LCL671+1.020 +7.04 +0.01 +61.75 TMO‑Non TMO‑Non TMO‑Non
KLE136+1 +0.01 +4.03 +89.33 +6.43 TMO‑Non TMO‑Non
SWB011+3 +10.35 +142.25 TMO‑Non TMO‑Non +3.73 TMO‑Non
NLP051+1 +0.01 +0.01 +30.74 +31.59 +0.01 +0.04
SYN335+1 +0.01 +30.42 +0.01 TMO‑Non +0.01 TMO‑Non
MGT038+2 +0.01 +0.01 +61.22 +0.01 TMO‑Non +0.01
SWB030+3 +10.65 +116.31 TMO‑Non TMO‑Non +3.13 TMO‑Non
LAT386+1 +0.01 +0.02 +61.25 +0.02 TMO‑Non +0.01
SWB034+1 +11.27 +117.19 TMO‑Non TMO‑Non +3.93 TMO‑Non
PRO007+2 +0.02 +10.66 +178.97 TMO‑Non TMO‑Non TMO‑Non
LCL354+1 +6.93 +0.01 +60.95 +50.19 TMO‑Non +36.40
LCL882+1 +0.01 +4.92 +78.85 +1.34 TMO‑Non TMO‑Non
SWB019+3 +11.65 +138.60 TMO‑Non TMO‑Non +4.59 TMO‑Non
LAT385+1 +0.01 +0.01 +61.53 +0.01 TMO‑Non +17.06
LCL641+1.015 +0.01 +7.87 +31.13 +225.07 +0.01 TMO‑Non
COM014+1 +0.01 +0.01 +61.34 +0.01 TMO‑Non +0.01
LCL659+1.020 TMO‑Non +0.01 +0.54 +150.46 TMO‑Non TMO‑Non
NLP186+1 +0.01 +7.08 +61.44 +6.24 +0.01 +0.01
SWB031+3 +51.77 TMO‑Non TMO‑Non TMO‑Non +4.44 TMO‑Non
LAT387+1 +0.01 +0.01 +61.80 +0.01 TMO‑Non TMO‑Non
SWV012+1 +7.03 +0.01 +0.01 +0.01 TMO‑Non +0.01
SWV238+1 +0.01 TMO‑Non TMO‑Non TMO‑Non +0.01 TMO‑Non
LCL651+1.010 +5.65 +4.54 +61.96 +141.54 TMO‑Non TMO‑Non
RNG110+4 +0.02 +3.08 +114.78 +2.05 TMO‑Non TMO‑Non
LCL685+1.020 +7.61 +74.97 +18.03 +6.77 TMO‑Non TMO‑Non
COM014+4 +0.02 +0.01 +61.46 +50.66 TMO‑Non +4.35
MSC013+1 +0.01 +0.01 +0.01 +3.73 +0.01 +0.02
LCL569+1 +0.01 +0.01 +62.15 +3.13 TMO‑Non TMO‑Non
LCL681+1.020 +9.62 +3.29 +31.58 +112.54 TMO‑Non +63.75
SYO593+1 +0.01 +191.09 TMO‑Non TMO‑Non +10.34 TMO‑Non
LCL653+1.015 +7.05 +4.28 +78.06 TMO‑Non TMO‑Non TMO‑Non
LCL577+1 +0.02 +0.01 +62.32 +22.40 TMO‑Non TMO‑Non
LCL653+1.020 +7.05 +5.43 +89.94 TMO‑Non TMO‑Non TMO‑Non
NUM440+1 +0.01 +0.01 +63.63 +1.44 TMO‑Non TMO‑Non
LCL671+1.015 +7.02 +0.01 +61.44 TMO‑Non TMO‑Non TMO‑Non
LCL885+1 +0.03 +0.01 +60.84 +0.01 TMO‑Non +0.01
LCL651+1.020 +7.06 +22.59 +75.62 TMO‑Non TMO‑Non TMO‑Non
NLP053+1 +0.01 +0.01 +30.85 +30.83 +0.01 +0.02
SWB005+3 +10.16 +97.37 TMO‑Non TMO‑Non +5.04 TMO‑Non
PRO007+3 +0.01 +22.55 TMO‑Non +92.75 TMO‑Non +23.95
SWB022+3 +38.28 TMO‑Non TMO‑Non TMO‑Non +6.12 TMO‑Non
SWV483+1 +116.95 TMO‑Non TMO‑Non TMO‑Non +1.99 TMO‑Non
SWB007+3 +12.76 TMO‑Non TMO‑Non TMO‑Non +4.32 TMO‑Non
LCL887+1 +0.02 +0.01 +61.16 +0.01 TMO‑Non +0.03
SWB017+3 +11.24 +135.01 TMO‑Non TMO‑Non +4.14 TMO‑Non
RNG110+1 +0.01 +0.01 +66.06 +0.02 TMO‑Non TMO‑Non
LCL637+1.005 +1.42 +11.93 +32.03 TMO‑Non +0.01 +25.74
NUM437+1 +0.01 +0.01 +64.06 +0.01 TMO‑Non TMO‑Non
SWB008+3 +9.77 +134.59 TMO‑Non TMO‑Non +4.63 TMO‑Non
LCL886+1 +0.01 +0.02 +61.22 +0.01 TMO‑Non +101.22
SWB006+3 +9.86 +140.34 TMO‑Non TMO‑Non +3.33 TMO‑Non
HAL005+1 +0.01 +3.29 +134.56 TMO‑Non TMO‑Non TMO‑Non
SWB015+3 +9.77 TMO‑Non TMO‑Non TMO‑Non +4.63 TMO‑Non
NUM445+5 +0.01 +0.01 +61.46 +50.61 TMO‑Non +0.01
SWB027+3 +55.14 TMO‑Non TMO‑Non TMO‑Non +3.63 TMO‑Non
PRO007+1 +0.01 +24.35 +156.87 TMO‑Non TMO‑Non +170.80
SWB018+3 +37.24 TMO‑Non TMO‑Non TMO‑Non +3.74 TMO‑Non
PRO013+2 +0.01 +2.83 +65.65 +91.96 TMO‑Non TMO‑Non
SWB010+3 +54.01 TMO‑Non TMO‑Non TMO‑Non +3.62 TMO‑Non
SWV482+1 +0.01 +111.16 TMO‑Non TMO‑Non +0.01 TMO‑Non
LCL675+1.005 +223.03 +122.04 +32.34 TMO‑Non +152.85 +16.15
LCL884+1 +0.02 +0.01 +61.75 +0.01 TMO‑Non +0.01
SWB024+3 +10.36 +257.35 TMO‑Non TMO‑Non +2.64 TMO‑Non
PRO013+1 +0.01 +7.45 +67.14 +91.21 TMO‑Non +1.84
SWB004+3 +9.91 +100.83 TMO‑Non TMO‑Non +3.98 TMO‑Non
NUM439+1 +0.02 +2.36 +64.94 +25.69 TMO‑Non TMO‑Non
SWB025+3 +29.65 TMO‑Non TMO‑Non TMO‑Non +5.53 TMO‑Non
PRO007+4 +0.02 +7.86 +196.37 TMO‑Non TMO‑Non +0.02
LCL641+1.020 +0.01 +18.50 +32.35 TMO‑Non +3.95 TMO‑Non
PRO013+3 +0.01 +11.44 +68.96 +91.49 TMO‑Non +4.11
LCL669+1.020 +7.10 +23.64 +9.50 TMO‑Non TMO‑Non TMO‑Non
LCL883+1 +0.01 +0.01 +62.73 +0.01 TMO‑Non +0.02
LCL649+1.020 +7.07 +43.05 +5.58 +2.30 TMO‑Non TMO‑Non
SWV484+1 +0.01 +115.40 UNK‑Non TMO‑Non +0.01 TMO‑Non
SWB016+3 +10.98 +152.25 TMO‑Non TMO‑Non +4.44 TMO‑Non
LAT383+1 +0.01 +0.03 +61.66 +0.01 TMO‑Non +188.39
LCL657+1.005 +1.34 +21.97 +24.00 TMO‑Non +18.76 +12.15
KLE172+1 +0.01 +8.17 +94.27 +52.44 TMO‑Non TMO‑Non
SWB032+3 +12.14 +137.81 TMO‑Non TMO‑Non +3.67 TMO‑Non
NLP050+1 +0.01 +0.01 +30.66 +30.26 +0.01 +0.01
SWB028+3 +10.46 +135.20 TMO‑Non TMO‑Non +2.12 TMO‑Non
NUM441+1 +0.01 +0.03 +78.25 +7.75 TMO‑Non TMO‑Non
SWB013+3 +46.05 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL576+1 +0.01 +0.01 +61.64 +26.88 TMO‑Non TMO‑Non
LCL639+1.020 TMO‑Non +19.26 +118.68 +154.75 TMO‑Non TMO‑Non
PRO013+4 +0.01 +0.01 +64.74 +20.86 TMO‑Non +0.01
LCL673+1.020 TMO‑Non TMO‑Non TMO‑Non +185.56 TMO‑Non TMO‑Non
KRS034+1 +0.02 +1.29 +63.75 +0.01 +1.84 +0.01
KRS177+1 +80.38 +40.49 +68.18 TMO‑Non TMO‑Non TMO‑Non
GEG001+1 +2.82 +16.56 TMO‑Non TMO‑Non +0.72 TMO‑Non
SWB026+3 +49.86 TMO‑Non TMO‑Non TMO‑Non +3.76 TMO‑Non
HWV113+1 +74.84 TMO‑Non TMO‑Non +168.10 TMO‑Non TMO‑Non
LCL647+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV117+1 +71.14 +40.13 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB023+3 +51.26 TMO‑Non TMO‑Non TMO‑Non +5.22 TMO‑Non
HWV049+2 +43.91 +229.65 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWB021+3 +60.72 TMO‑Non TMO‑Non TMO‑Non +22.76 TMO‑Non
SWV483+2 +108.51 +184.70 TMO‑Non TMO‑Non +1.13 TMO‑Non
KRS237+1 +88.27 +81.26 +86.50 TMO‑Non TMO‑Non TMO‑Non
SWV484+2 +107.33 +172.72 TMO‑Non TMO‑Non +0.01 +46.77
KRS269+1 +77.61 +32.80 +111.83 TMO‑Non TMO‑Non TMO‑Non
PUZ133+3 +0.02 +3.46 TMO‑Non +0.01 TMO‑Non TMO‑Non
LCL657+1.015 +1.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV120+1 +84.39 +71.54 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS270+1 +75.23 +29.52 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HWV118+1 +72.36 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS212+1 +83.58 +52.83 +244.09 TMO‑Non TMO‑Non TMO‑Non
HWV115+1 +76.34 +250.96 TMO‑Non +187.60 GUP‑Non TMO‑Non
KRS198+1 +87.76 +48.93 +78.36 TMO‑Non TMO‑Non TMO‑Non
HWV112+1 +74.04 +120.90 TMO‑Non +167.73 TMO‑Non TMO‑Non
KRS245+1 +105.04 +48.52 +80.92 TMO‑Non TMO‑Non TMO‑Non
SWW103+1 +0.01 +0.01 +66.24 +0.01 TMO‑Non TMO‑Non
KRS204+1 +62.72 +49.12 +267.04 TMO‑Non TMO‑Non TMO‑Non
HWV053+1 +4.34 TMO‑Non TMO‑Non TMO‑Non +178.23 TMO‑Non
KRS248+1 +80.51 +40.25 +168.31 TMO‑Non TMO‑Non TMO‑Non
KRS051+1 +0.02 +35.97 +117.26 +147.96 TMO‑Non +0.01
KRS250+1 +104.60 +37.64 +79.16 TMO‑Non TMO‑Non TMO‑Non
SYO590+1 +68.09 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL675+1.010 +298.98 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL567+1 +0.01 +30.08 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS242+1 +90.17 +40.94 +77.77 TMO‑Non TMO‑Non TMO‑Non
HWV074+1 +23.61 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS222+1 +82.09 +43.75 +69.76 TMO‑Non TMO‑Non TMO‑Non
LCL571+1 +0.01 +15.78 +272.59 TMO‑Non TMO‑Non TMO‑Non
LCL637+1.010 +5.14 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KLE050+3 +2.01 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL657+1.020 +4.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV485+1 +118.58 TMO‑Non TMO‑Non TMO‑Non +3.61 TMO‑Non
KRS253+1 +90.30 +52.54 +79.55 TMO‑Non TMO‑Non TMO‑Non
KLE050+4 +2.22 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS239+1 +87.45 +41.75 +90.14 TMO‑Non TMO‑Non TMO‑Non
HWV082+1 +1.53 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS226+1 +77.74 +65.49 +95.77 TMO‑Non TMO‑Non TMO‑Non
LCL578+1 +0.01 +0.03 +64.66 +61.05 TMO‑Non TMO‑Non
KRS224+1 +89.80 +35.43 +106.86 TMO‑Non TMO‑Non TMO‑Non
HAL003+1 +0.03 +3.43 +92.95 TMO‑Non TMO‑Non TMO‑Non
KRS184+1 +88.59 +30.77 +70.66 TMO‑Non TMO‑Non TMO‑Non
HWV080+1 +13.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS197+1 +90.13 +32.93 +155.55 TMO‑Non TMO‑Non TMO‑Non
HWV086+1 +38.28 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS219+1 +95.57 +42.75 +230.47 TMO‑Non TMO‑Non TMO‑Non
HAL003+2 +0.01 +0.01 +84.66 TMO‑Non TMO‑Non TMO‑Non
KRS241+1 +117.71 +40.72 +81.10 TMO‑Non TMO‑Non TMO‑Non
KRS279+1 +163.74 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS246+1 +91.77 +49.21 +97.78 TMO‑Non TMO‑Non TMO‑Non
LCL565+1 +0.01 +17.75 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS213+1 +85.42 +45.39 +67.72 TMO‑Non TMO‑Non TMO‑Non
KLE050+2 +2.24 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS228+1 +85.56 +49.31 +88.88 TMO‑Non TMO‑Non TMO‑Non
KLE050+1 +2.63 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS183+1 +81.31 +29.72 +67.56 TMO‑Non TMO‑Non TMO‑Non
HWV116+1 +76.51 TMO‑Non TMO‑Non +190.41 GUP‑Non TMO‑Non
KRS210+1 +75.12 +42.25 +154.65 TMO‑Non TMO‑Non TMO‑Non
HWV048+2 +106.64 +219.97 +228.81 TMO‑Non TMO‑Non TMO‑Non
KRS249+1 +88.28 +41.49 +108.16 TMO‑Non TMO‑Non TMO‑Non
SET781+3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS221+1 +82.02 +73.88 +103.77 TMO‑Non TMO‑Non TMO‑Non
BIO001+1 +78.85 GUP‑Non +63.51 TMO‑Non TMO‑Non UNK‑Non
KRS223+1 +91.84 +31.75 +137.92 TMO‑Non TMO‑Non TMO‑Non
KRS271+1 +75.63 +71.28 +81.37 TMO‑Non TMO‑Non TMO‑Non
KRS243+1 +86.28 +41.58 +88.15 TMO‑Non TMO‑Non TMO‑Non
KRS232+1 +106.00 +45.07 +142.22 TMO‑Non TMO‑Non TMO‑Non
KRS205+1 +114.08 +50.10 +66.94 TMO‑Non TMO‑Non TMO‑Non
KRS220+1 +94.33 +34.27 +79.82 TMO‑Non TMO‑Non TMO‑Non
KRS185+1 +81.86 +46.58 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS252+1 +88.43 +75.91 +86.76 TMO‑Non TMO‑Non TMO‑Non
KRS211+1 +85.23 +38.54 +105.44 TMO‑Non TMO‑Non TMO‑Non
KRS230+1 +85.61 +65.58 +103.74 TMO‑Non TMO‑Non TMO‑Non
KRS229+1 +83.38 +34.58 +112.74 TMO‑Non TMO‑Non TMO‑Non
KRS236+1 +82.43 +36.82 +110.32 TMO‑Non TMO‑Non TMO‑Non
KRS231+1 +80.47 +46.08 +81.26 TMO‑Non TMO‑Non TMO‑Non
KRS225+1 +100.69 +42.68 +157.48 TMO‑Non TMO‑Non TMO‑Non
KRS218+1 +77.87 +42.20 +106.67 TMO‑Non TMO‑Non TMO‑Non
KRS240+1 +106.62 +35.95 +76.17 TMO‑Non TMO‑Non TMO‑Non
KRS227+1 +117.68 +29.72 +117.56 TMO‑Non TMO‑Non TMO‑Non
KRS238+1 +98.69 +35.78 +76.35 TMO‑Non TMO‑Non TMO‑Non
KRS209+1 +80.86 +44.52 +68.26 TMO‑Non TMO‑Non TMO‑Non
KRS214+1 +89.85 +48.93 +85.87 TMO‑Non TMO‑Non TMO‑Non
Solved/200 195/200 163/200 134/200 71/200 51/200 38/200
Av. CPU Time 38.95 44.11 79.93 57.78 9.62 21.89
Solutions 195/200 163/200 134/200 71/200 51/200 38/200
μEfficiency 368 226 39 121 127 112