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

Results for THF

THF LEO‑II
 1.2
Satallax
 1.4
IsabelleP
 2009‑2
TPS
 3.20080227G1d
GEG016^1* +1.00 +3.60 UNK‑Non 255.20
CSR144^1* +1.40 +45.00 63.40 TMO‑Non
CSR137^2* +0.40 TMO‑Non 40.30 TMO‑Non
CSR121^1* +0.00 +0.60 3.70 TMO‑Non
GEG015^1* +1.50 +264.70 UNK‑Non TMO‑Non
SYO507^1* +0.10 +0.60 3.70 UNK‑Non
GEG011^1* +2.10 +1.20 234.20 TMO‑Non
SYO508^1* +0.00 +273.30 3.80 TMO‑Non
CSR140^2* +0.30 TMO‑Non 32.70 20.70
CSR143^1* +0.50 +44.70 32.40 TMO‑Non
GEG017^1* +1.00 +3.50 UNK‑Non 255.20
CSR122^1* +0.10 +0.60 3.80 TMO‑Non
GEG002^1* +78.30 +85.90 243.10 TMO‑Non
SYO391^5 +11.70 +111.20 195.70 TMO‑Non
CSR142^2* +2.30 +1.50 108.70 TMO‑Non
SEV410^5 TMO‑Non +0.60 146.20 6.20
GEG006^1* +22.80 +15.30 232.30 TMO‑Non
NUM758^1 +0.10 TMO‑Non 32.00 0.50
CSR146^3* +8.00 +141.60 42.60 0.60
NUM742^1 +0.10 +0.80 32.50 1.70
CSR146^1* +7.80 +143.90 78.40 1.00
SYO356^5 +1.30 +3.20 UNK‑Non 6.20
SEU782^2 +0.40 +84.70 229.50 0.70
NUM777^1 +0.10 TMO‑Non 32.20 0.40
SEU669^2 UNK‑Non +1.50 32.00 0.50
NUM775^1 +0.10 +0.80 89.80 0.40
SYO052^2 +2.30 TMO‑Non 4.30 7.10
SEV140^5 UNK‑Non TMO‑Non 202.60 94.40
SEV386^5 +0.10 +0.50 UNK‑Non 0.80
LCL579^1 +0.40 +0.60 UNK‑Non 0.50
SEU647^2 +0.10 TMO‑Non 32.50 0.50
NUM689^1 +7.30 +0.60 3.90 0.50
SYO229^5 +0.00 +0.60 3.60 0.40
NUM666^1 +9.40 +0.60 3.80 0.50
SEU528^1 +15.30 +1.80 35.80 TMO‑Non
NUM751^1 +0.10 TMO‑Non 4.80 0.40
SEU567^1 +103.50 +4.30 44.80 TMO‑Non
NUM759^1 +0.10 TMO‑Non 89.20 6.40
SEU694^1 TMO‑Non +32.10 75.90 TMO‑Non
NUM690^1 UNK‑Non +1.00 3.90 0.40
SEU589^2 TMO‑Non +0.50 3.70 0.60
SEV218^5 +0.50 +0.70 3.90 TMO‑Non
SWV426^2 +0.90 +90.60 UNK‑Non 34.50
PUZ094^5 +1.80 +100.20 172.30 TMO‑Non
SEU548^1 +48.10 +53.00 36.50 TMO‑Non
SYO105^5 +0.10 TMO‑Non 4.10 0.50
SEU677^2 UNK‑Non +1.00 3.90 TMO‑Non
SEV149^5 +0.80 TMO‑Non 276.00 7.40
SEV028^5 +0.60 +3.30 173.90 TMO‑Non
CSR149^1* +0.20 +0.50 UNK‑Non TMO‑Non
ALG279^5 +0.10 TMO‑Non 35.80 71.60
CSR129^1* +0.30 +134.80 UNK‑Non TMO‑Non
SEU534^2 +66.40 +67.90 4.00 0.60
CSR128^1* +0.30 +0.60 UNK‑Non TMO‑Non
SEU537^1 +23.00 +2.20 234.80 5.50
CSR148^1* +0.20 +1.20 UNK‑Non TMO‑Non
SYN045^4 +0.80 +0.80 32.70 59.00
CSR119^1* +0.40 +0.60 UNK‑Non TMO‑Non
SEU859^5 UNK‑Non +1.70 60.90 7.20
CSR150^1* +0.70 +11.50 3.90 TMO‑Non
ALG268^4 +62.30 TMO‑Non 110.70 0.80
CSR141^1* +25.70 +0.80 UNK‑Non TMO‑Non
PUZ081^1 +0.20 +2.80 32.40 TMO‑Non
CSR130^1* +0.60 +151.10 UNK‑Non TMO‑Non
SEU576^1 UNK‑Non +4.40 47.60 TMO‑Non
CSR126^1* +0.20 +0.60 UNK‑Non TMO‑Non
ALG263^3 +2.50 +3.70 274.30 TMO‑Non
CSR125^1* +0.10 +0.60 3.30 TMO‑Non
SEV166^5 +0.20 +0.50 UNK‑Non 0.40
CSR134^1* +8.60 +175.00 UNK‑Non TMO‑Non
SEU552^1 +214.10 +4.00 36.00 TMO‑Non
CSR131^1* +61.60 +180.30 UNK‑Non TMO‑Non
LCL713^1 +164.50 +156.20 118.70 0.40
CSR120^1* +0.40 +0.40 UNK‑Non TMO‑Non
SEU474^1 +0.10 +0.60 UNK‑Non 0.40
CSR127^1* +0.20 +0.60 UNK‑Non TMO‑Non
NUM662^1 +0.00 TMO‑Non 3.50 7.00
PUZ031^5 +2.80 +89.90 196.80 TMO‑Non
SYO458^5 +0.10 +0.50 31.90 0.60
SYO352^5 +0.80 +84.50 UNK‑Non TMO‑Non
SEU918^5 UNK‑Non +0.50 UNK‑Non 0.50
SEV245^5 UNK‑Non +44.70 203.20 TMO‑Non
SEV288^5 +0.40 +0.50 UNK‑Non 0.30
SEV083^5 TMO‑Non TMO‑Non 39.00 19.80
ALG263^2 +2.30 +1.40 273.60 TMO‑Non
LCL734^5 UNK‑Non +27.60 UNK‑Non TMO‑Non
SEU798^2 +63.20 +0.60 3.70 0.40
SEV311^5 UNK‑Non +44.70 259.90 TMO‑Non
SEV196^5 +0.20 TMO‑Non 88.00 3.10
SEU939^5 TMO‑Non +45.20 UNK‑Non 85.00
SYO223^5 +0.10 +0.50 UNK‑Non 0.60
MSC020^5 TMO‑Non TMO‑Non UNK‑Non 0.50
SYN044^4 +0.30 +0.60 33.20 TMO‑Non
SEV254^5 TMO‑Non +221.30 UNK‑Non TMO‑Non
SEU625^2 +0.20 +188.50 259.10 TMO‑Non
NUM762^1 +0.10 TMO‑Non 207.00 7.20
CSR139^1* +2.10 TMO‑Non 4.90 0.40
SYO376^5 +34.20 +0.60 UNK‑Non UNK‑Non
GEG003^1* +190.50 +250.10 UNK‑Non TMO‑Non
SYO018^1 +0.10 +0.60 4.00 0.40
GEG014^1* UNK‑Non TMO‑Non UNK‑Non 157.70
SYO209^5 UNK‑Non +173.70 UNK‑Non 1.00
CSR152^1* +0.30 +0.70 UNK‑Non UNK‑Non
SEV066^5 UNK‑Non +46.90 UNK‑Non 0.80
GEG010^1* +1.10 +236.60 UNK‑Non TMO‑Non
LCL728^5 TMO‑Non +0.70 UNK‑Non 37.70
QUA004^1* UNK‑Non +62.00 4.00 TMO‑Non
CSR123^1* +0.40 +163.50 UNK‑Non TMO‑Non
CSR152^2* +60.60 +0.50 UNK‑Non TMO‑Non
SYO510^1* TMO‑Non +0.40 UNK‑Non TMO‑Non
CSR145^2* +4.30 TMO‑Non 291.70 TMO‑Non
SYO374^5 +28.00 TMO‑Non UNK‑Non TMO‑Non
LCL874^1* +1.90 +175.80 UNK‑Non TMO‑Non
SEV415^5 UNK‑Non TMO‑Non UNK‑Non 102.80
GEG007^1* +1.00 +217.90 UNK‑Non TMO‑Non
SEV073^5 UNK‑Non TMO‑Non UNK‑Non TMO‑Non
CSR121^2* +1.50 +1.00 264.20 TMO‑Non
SEV050^5 TMO‑Non TMO‑Non UNK‑Non 19.00
CSR153^1* +0.30 +132.00 33.10 7.50
SEU964^5 UNK‑Non TMO‑Non TMO‑Non 198.40
GEG008^1* +1.00 +13.50 UNK‑Non TMO‑Non
SEV310^5 UNK‑Non +177.20 UNK‑Non TMO‑Non
GEG020^1* +1.40 +53.90 TMO‑Non TMO‑Non
LCL739^5 TMO‑Non TMO‑Non UNK‑Non 231.40
QUA002^1* +66.70 +1.00 UNK‑Non TMO‑Non
SYO311^5 UNK‑Non +171.80 UNK‑Non TMO‑Non
GEG005^1* +1.20 +218.80 UNK‑Non TMO‑Non
SYO310^5 UNK‑Non TMO‑Non 31.50 TMO‑Non
ALG247^2 UNK‑Non TMO‑Non 138.50 0.80
SYO272^5 UNK‑Non TMO‑Non UNK‑Non 0.80
SEU683^2 UNK‑Non TMO‑Non 174.50 57.10
SEU948^5 UNK‑Non TMO‑Non UNK‑Non 198.40
LCL629^1 +0.40 TMO‑Non UNK‑Non 0.70
SEV084^5 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
NUM416^1 TMO‑Non +44.40 4.50 TMO‑Non
SEV307^5 TMO‑Non TMO‑Non UNK‑Non 27.20
SYO360^5 +0.10 +3.20 UNK‑Non TMO‑Non
SEV113^5 UNK‑Non TMO‑Non UNK‑Non TMO‑Non
SEU609^1 UNK‑Non +100.70 274.00 TMO‑Non
SEV317^5 TMO‑Non TMO‑Non UNK‑Non 34.70
SEU645^2 UNK‑Non TMO‑Non 174.50 293.70
SEV086^5 +30.00 TMO‑Non UNK‑Non 54.40
SEU900^5 TMO‑Non +176.40 173.00 TMO‑Non
SEV069^5 UNK‑Non TMO‑Non UNK‑Non 127.70
SEU563^1 UNK‑Non +4.70 123.30 TMO‑Non
LCL737^5 TMO‑Non TMO‑Non UNK‑Non 231.40
SYO241^5 UNK‑Non +174.30 173.40 TMO‑Non
SEV400^5 UNK‑Non TMO‑Non UNK‑Non 0.40
SEU626^1 TMO‑Non +89.40 279.90 TMO‑Non
SEV153^5 TMO‑Non TMO‑Non 235.10 TMO‑Non
ALG253^2 +0.50 TMO‑Non UNK‑Non 8.20
SEU682^1 TMO‑Non +17.80 145.80 TMO‑Non
SEU974^5 +20.70 TMO‑Non TMO‑Non TMO‑Non
SEV212^5 UNK‑Non TMO‑Non 232.00 TMO‑Non
SEU827^1 +0.80 +0.40 UNK‑Non UNK‑Non
SEU705^2 UNK‑Non TMO‑Non 4.70 1.30
ALG267^1 TMO‑Non TMO‑Non 122.30 4.80
ALG278^5 +0.10 TMO‑Non UNK‑Non 74.00
ALG284^5 +0.10 TMO‑Non 3.20 TMO‑Non
CSR150^2* +2.60 TMO‑Non 88.20 TMO‑Non
CSR130^2* +62.60 TMO‑Non UNK‑Non TMO‑Non
GEG019^1* +68.00 +54.40 UNK‑Non TMO‑Non
QUA012^1* UNK‑Non TMO‑Non 3.30 TMO‑Non
CSR134^2* +61.80 TMO‑Non 261.10 TMO‑Non
CSR141^2* UNK‑Non TMO‑Non UNK‑Non TMO‑Non
CSR139^2* +122.70 TMO‑Non UNK‑Non TMO‑Non
SYO506^1* +0.70 +281.70 3.50 TMO‑Non
QUA011^1* UNK‑Non TMO‑Non 3.30 TMO‑Non
GEG009^1* +1.70 TMO‑Non UNK‑Non TMO‑Non
CSR132^1* +75.00 TMO‑Non UNK‑Non TMO‑Non
SYO515^1* UNK‑Non +0.40 UNK‑Non UNK‑Non
SYO516^1* +0.00 TMO‑Non UNK‑Non TMO‑Non
CSR129^2* +61.80 TMO‑Non TMO‑Non TMO‑Non
CSR122^2* +60.80 TMO‑Non 266.00 TMO‑Non
CSR124^2* +61.10 +1.00 UNK‑Non TMO‑Non
SYO517^1* TMO‑Non +0.40 UNK‑Non TMO‑Non
CSR151^2* +1.60 +0.60 36.90 TMO‑Non
CSR138^2* +8.10 TMO‑Non UNK‑Non TMO‑Non
ALG251^2 +0.60 TMO‑Non UNK‑Non TMO‑Non
PUZ087^1 +3.40 TMO‑Non UNK‑Non TMO‑Non
SEU701^2 UNK‑Non +11.30 UNK‑Non TMO‑Non
SEU868^5 TMO‑Non TMO‑Non 230.90 TMO‑Non
SEU946^5 UNK‑Non TMO‑Non UNK‑Non TMO‑Non
NUM686^1 UNK‑Non TMO‑Non 8.00 TMO‑Non
SEU944^5 TMO‑Non TMO‑Non UNK‑Non TMO‑Non
SEV208^5 UNK‑Non TMO‑Non TMO‑Non TMO‑Non
SET741^4 +0.10 TMO‑Non UNK‑Non TMO‑Non
SEU938^5 UNK‑Non TMO‑Non UNK‑Non 0.40
SEU933^5 UNK‑Non TMO‑Non UNK‑Non 0.40
SEV005^5 UNK‑Non TMO‑Non 183.70 TMO‑Non
SEV089^5 +0.70 TMO‑Non UNK‑Non TMO‑Non
LCL632^1 UNK‑Non TMO‑Non UNK‑Non 3.30
SYO016^1 UNK‑Non +1.80 UNK‑Non UNK‑Non
SYO064^4.004 UNK‑Non +48.50 UNK‑Non TMO‑Non
ALG256^1 +1.40 TMO‑Non 274.10 TMO‑Non
SEV129^5 UNK‑Non TMO‑Non 238.40 TMO‑Non
SEU732^1 TMO‑Non +74.50 TMO‑Non TMO‑Non
SEV214^5 +0.20 +269.10 UNK‑Non TMO‑Non
SEU949^5 TMO‑Non TMO‑Non UNK‑Non 19.60
LCL742^5 TMO‑Non TMO‑Non UNK‑Non 20.40
Solved 125/200 120/200 101/200 80/200
Av. CPU Time 16.65 55.24 100.75 36.15
Solutions 125/200 120/200 0/200 0/200
μEfficiency 408.20 274.29 41.97 211.67
SOTAC 0.45 0.45 0.42 0.50
New Solved 60/68 50/68 28/68 8/68
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for FOF

FOF Vampire
 0.6
E
 1.2pre
EP
 1.2pre
Vampire
 11.0
iProver
 0.8
Equinox
 5.0
iProver‑Eq
 0.6
E‑Darwin
 1.3
leanCoP
 2.2
Zenon
 0.6.3
LEO‑II
 1.2
Geo
 2010C
Metis
 2.2
E‑KRHyper
 1.1.4
Otter
 3.3
Muscadet
 4.0
Ayane
 2
ALG165+1 +128.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.80 1.10 150.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM835+1* +0.00 0.10 +0.20 +1.20 0.70 TMO‑Non TMO‑Non 0.10 +0.20 GUP‑Non +7.30 TMO‑Non TMO‑Non 12.50 +0.40 GUP‑Non TMO‑Non
KRS258+1 +8.60 0.10 +0.30 +0.00 0.70 TMO‑Non 2.70 0.20 +28.70 GUP‑Non +20.60 TMO‑Non TMO‑Non 0.10 +20.70 TMO‑Non TMO‑Non
PUZ075+1 +0.00 1.10 +1.50 +0.10 0.10 7.40 1.30 6.00 +30.20 +0.10 TMO‑Non TMO‑Non +1.30 TMO‑Non GUP‑Non +0.10 UNK‑Non
CSR023+1 +0.00 0.00 +0.20 +0.00 1.00 4.80 21.40 0.20 TMO‑Non TMO‑Non UNK‑Non +64.50 +0.90 41.50 +2.20 +0.20 TMO‑Non
GEO196+1 +0.10 6.10 +6.30 +1.30 0.10 0.10 0.20 0.00 +0.30 +2.80 +60.20 +0.30 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ALG103+1 +81.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.40 1.10 14.10 TMO‑Non +266.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
SWV190+1 +0.00 0.20 +0.40 +1.20 1.80 0.40 3.90 1.30 TMO‑Non TMO‑Non +117.80 TMO‑Non +64.50 TMO‑Non +15.30 +0.90 TMO‑Non
GEO191+1 +0.20 TMO‑Non TMO‑Non +1.30 0.10 0.10 0.20 0.00 +0.30 +1.60 +60.20 +0.30 TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
SYN462+1 +0.30 5.60 +8.30 +0.30 0.10 1.60 0.40 15.20 TMO‑Non +5.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT054+1 +0.40 0.00 +0.10 +0.00 0.30 0.70 4.50 0.10 TMO‑Non +0.20 +1.10 +1.00 +1.10 0.70 +8.20 GUP‑Non TMO‑Non
SYN067+1 +0.00 0.70 +1.00 +0.00 0.10 2.10 0.20 TMO‑Non +28.80 +0.10 +0.90 +0.00 +0.10 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
ALG127+1 +84.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.40 1.20 5.60 TMO‑Non 300.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
GEO111+1 +0.00 0.00 +0.10 +0.10 0.90 0.20 19.30 44.20 +0.50 TMO‑Non +191.10 +136.00 +10.60 TMO‑Non TMO‑Non +0.20 TMO‑Non
MED008+1 +0.30 1.10 +1.70 +29.10 0.00 2.10 0.30 0.10 +63.80 +0.10 UNK‑Non +0.90 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
ALG122+1 +83.20 56.40 +83.50 TMO‑Non TMO‑Non 0.60 1.00 13.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
GEO117+1 +0.00 0.00 +0.10 +0.00 0.10 0.20 3.40 0.00 +0.20 GUP‑Non TMO‑Non TMO‑Non +11.30 TMO‑Non +10.60 +0.10 TMO‑Non
CSR026+2 +0.10 0.20 +0.30 +0.10 0.40 60.50 0.40 1.50 +70.70 +0.50 +25.70 TMO‑Non +2.20 0.90 GUP‑Non TMO‑Non TMO‑Non
ALG196+1 +200.40 17.30 +25.10 TMO‑Non TMO‑Non 72.30 66.90 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
AGT016+2 +0.00 0.10 +0.20 +0.00 0.10 4.40 14.30 0.40 +0.30 +0.10 +11.80 TMO‑Non TMO‑Non 0.40 +0.70 TMO‑Non TMO‑Non
MED006+1 +0.20 0.30 +0.50 +3.50 0.00 0.80 0.30 0.10 +38.60 +0.10 UNK‑Non +0.30 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SYN503+1 +1.80 17.30 +26.00 +0.40 0.10 2.80 0.60 4.20 TMO‑Non +4.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR015+1 +0.00 0.00 +0.10 +0.10 1.80 1.40 5.60 0.20 +41.80 TMO‑Non UNK‑Non +5.00 +0.40 80.30 TMO‑Non TMO‑Non TMO‑Non
SYN550+1 +0.00 0.00 +0.10 +0.00 0.30 9.70 0.30 0.40 +1.60 +4.40 +0.20 +0.00 +0.10 0.10 TMO‑Non TMO‑Non TMO‑Non
SYN499+1 +1.60 2.80 +4.20 +0.50 0.10 2.00 0.50 5.50 TMO‑Non +4.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP747+1 +7.30 1.00 +2.20 +72.30 TMO‑Non TMO‑Non TMO‑Non 0.20 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +0.40 +0.40 TMO‑Non
KRS194+1 +1.30 0.00 +0.10 +0.10 0.30 TMO‑Non 0.20 6.20 +0.30 +1.70 +46.20 TMO‑Non +0.30 TMO‑Non TMO‑Non +0.10 TMO‑Non
SYN501+1 +1.20 7.60 +11.80 +0.50 0.10 1.50 0.50 3.70 TMO‑Non +5.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA010+1 +0.10 0.00 +0.10 +0.10 0.20 0.70 0.20 0.00 +0.70 GUP‑Non +12.60 +1.90 TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
CSR065+2 +0.10 0.20 +0.30 +0.10 0.40 61.10 0.40 1.50 +70.60 +0.50 +26.00 TMO‑Non +2.00 0.90 GUP‑Non TMO‑Non TMO‑Non
ALG120+1 +4.40 3.90 +6.80 +204.70 TMO‑Non 0.40 0.90 5.70 TMO‑Non +172.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
NLP251+1 +0.60 0.10 +0.20 +0.10 0.40 0.90 8.80 2.00 TMO‑Non TMO‑Non +10.60 +0.20 +3.10 1.00 GUP‑Non GUP‑Non TMO‑Non
KRS193+1 +1.30 0.00 +0.10 +0.10 0.30 TMO‑Non 0.10 6.20 +3.10 +0.50 +46.00 TMO‑Non +0.70 TMO‑Non TMO‑Non +0.10 TMO‑Non
ALG052+1 +150.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 3.40 1.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
NUM853+2* +0.00 0.00 +0.10 +0.00 2.00 0.10 0.20 0.10 +0.10 GUP‑Non +60.00 +0.30 TMO‑Non TMO‑Non +1.30 TMO‑Non TMO‑Non
CSR038+2 +0.40 3.50 +4.10 +0.10 1.10 TMO‑Non 2.70 TMO‑Non +0.40 GUP‑Non UNK‑Non TMO‑Non +33.30 29.10 GUP‑Non TMO‑Non TMO‑Non
SYN466+1 +1.60 12.20 +17.40 +0.30 0.10 2.30 0.50 14.70 TMO‑Non +6.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ128+2 +0.40 0.00 +0.10 +0.00 0.50 0.00 0.20 0.00 TMO‑Non +4.30 +0.70 +0.10 +0.00 0.10 +0.30 GUP‑Non TMO‑Non
KRS155+1 +0.00 0.10 +0.20 +0.00 0.50 0.30 0.30 TMO‑Non +8.60 +0.20 UNK‑Non TMO‑Non +3.90 0.20 +0.40 TMO‑Non TMO‑Non
ALG047+1 TMO‑Non TMO‑Non TMO‑Non +74.20 TMO‑Non 0.60 0.70 218.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
GRP618+1 +0.00 0.00 +0.10 +0.00 0.30 2.20 0.20 TMO‑Non +5.20 +0.10 +5.20 TMO‑Non +0.10 TMO‑Non GUP‑Non +0.90 TMO‑Non
CSR050+2 +0.30 0.50 +0.80 +0.10 1.60 TMO‑Non 1.20 TMO‑Non +30.50 GUP‑Non +29.10 TMO‑Non +2.10 18.10 GUP‑Non TMO‑Non TMO‑Non
ALG104+1 +115.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.50 1.20 174.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
GEO147+1 +2.40 0.00 +0.10 +0.00 0.10 0.20 0.80 0.20 +0.20 GUP‑Non TMO‑Non TMO‑Non +3.30 TMO‑Non +2.80 TMO‑Non TMO‑Non
CSR034+3 +0.30 3.50 +3.90 +1.60 1.20 TMO‑Non 1.40 2.20 +5.60 GUP‑Non TMO‑Non TMO‑Non +33.50 9.20 GUP‑Non TMO‑Non TMO‑Non
SYN509+1 +2.90 4.90 +7.40 +1.40 0.10 2.90 0.50 11.00 TMO‑Non +54.60 TMO‑Non TMO‑Non TMO‑Non 264.60 TMO‑Non TMO‑Non TMO‑Non
HAL003+3 +0.00 0.00 +0.10 +0.20 2.60 0.40 0.20 7.90 +0.60 GUP‑Non +3.70 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +1.50 TMO‑Non
KRS191+1 +8.70 0.00 +0.10 +0.10 0.20 TMO‑Non 0.10 6.30 +3.20 +1.10 +60.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.10 TMO‑Non
SYN505+1 +1.60 11.20 +15.00 +0.50 0.10 2.00 0.40 10.80 TMO‑Non +17.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ001+2 +0.00 0.00 +0.10 +0.00 0.10 0.20 6.50 0.10 TMO‑Non GUP‑Non +1.10 +1.40 +0.10 TMO‑Non +5.20 GUP‑Non TMO‑Non
GEO196+3 +0.30 6.40 +8.20 +294.00 0.20 0.60 18.10 0.10 +60.60 +6.80 UNK‑Non +1.00 +0.10 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SYN475+1 +2.60 2.70 +4.30 +0.30 0.10 1.90 0.40 8.80 TMO‑Non +16.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP667+1 +17.30 23.50 +49.90 +214.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
MED002+1 +0.00 1.80 +3.10 +0.10 0.00 0.70 0.20 TMO‑Non +28.90 +0.10 +60.00 +0.00 TMO‑Non 1.70 +12.00 TMO‑Non TMO‑Non
SYN489+1 +0.90 25.60 +36.10 +1.00 0.10 2.50 0.60 9.10 TMO‑Non +13.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV237+1 +0.10 0.00 +0.10 +0.90 TMO‑Non TMO‑Non TMO‑Non 230.10 +229.20 GUP‑Non +0.90 +5.20 TMO‑Non TMO‑Non +0.50 GUP‑Non TMO‑Non
CSR047+3 +0.40 2.80 +3.50 +1.60 0.90 TMO‑Non 1.40 2.30 +5.30 +1.00 +208.40 TMO‑Non +42.50 9.60 GUP‑Non TMO‑Non TMO‑Non
SYN498+1 +1.90 3.50 +5.20 +0.40 0.10 2.20 0.50 18.70 TMO‑Non +207.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO271+1* +0.10 18.10 +29.80 GUP‑Non 1.10 1.10 TMO‑Non 209.10 +255.20 GUP‑Non TMO‑Non +1.30 TMO‑Non TMO‑Non TMO‑Non +53.10 TMO‑Non
CSR051+3 +0.20 0.40 +1.10 +1.60 0.90 TMO‑Non 1.40 0.70 +4.90 +2.20 +191.40 TMO‑Non +29.60 8.90 GUP‑Non TMO‑Non TMO‑Non
ALG109+1 +6.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.60 1.10 53.50 TMO‑Non +184.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
NUM853+1* +0.10 0.00 +0.20 +1.70 1.20 0.10 0.30 0.10 +0.90 GUP‑Non +60.00 +10.40 TMO‑Non TMO‑Non +12.00 TMO‑Non TMO‑Non
COM003+1 +0.00 1.10 +1.70 +0.00 0.30 1.20 0.20 TMO‑Non +29.00 TMO‑Non +2.10 +0.20 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SYN472+1 +3.50 16.60 +24.40 +1.50 0.10 2.60 0.40 14.20 TMO‑Non +66.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO272+1* +0.10 27.90 +44.40 GUP‑Non 1.20 1.20 TMO‑Non TMO‑Non +115.20 GUP‑Non TMO‑Non +2.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR060+2 +0.40 3.40 +4.30 +0.20 1.80 TMO‑Non 3.20 TMO‑Non +29.60 GUP‑Non UNK‑Non TMO‑Non +32.60 29.00 GUP‑Non TMO‑Non TMO‑Non
SYN460+1 TMO‑Non TMO‑Non TMO‑Non +0.80 0.10 5.70 0.50 7.70 TMO‑Non +156.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO083+1 +4.30 0.10 +0.20 +3.80 2.20 12.80 TMO‑Non 28.10 +3.80 TMO‑Non UNK‑Non +186.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR061+2 +3.70 5.50 +6.00 +23.90 5.00 TMO‑Non 14.40 7.30 TMO‑Non GUP‑Non +223.70 TMO‑Non +2.80 1.60 GUP‑Non TMO‑Non TMO‑Non
PUZ073+1 TMO‑Non 11.10 +14.90 TMO‑Non 26.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +30.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
KLE093+1 +0.10 0.10 +0.40 +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non +2.30 TMO‑Non +1.90 TMO‑Non +0.50 GUP‑Non TMO‑Non
KRS203+1 +1.00 0.10 +0.30 +0.50 0.60 6.20 0.40 0.10 +111.60 GUP‑Non +9.40 TMO‑Non TMO‑Non 0.50 TMO‑Non TMO‑Non TMO‑Non
PUZ074+1 +0.80 12.50 +12.30 +20.70 13.90 111.80 TMO‑Non TMO‑Non +36.00 +4.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
GEO275+1* +0.20 27.40 +43.10 GUP‑Non 0.60 2.60 165.20 TMO‑Non +266.40 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MED007+1 +6.40 14.80 +21.70 +109.90 0.10 TMO‑Non 0.50 1.50 TMO‑Non +51.40 UNK‑Non +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO127+1 +0.00 0.00 +0.10 +0.00 14.90 TMO‑Non TMO‑Non 3.00 TMO‑Non GUP‑Non TMO‑Non +1.00 +274.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN723+1 +8.80 147.00 +231.80 +31.10 0.10 0.40 0.30 TMO‑Non TMO‑Non +0.20 TMO‑Non +1.10 +20.80 TMO‑Non GUP‑Non GUP‑Non UNK‑Non
SWV204+1 +0.00 0.20 +0.40 +0.00 TMO‑Non 0.20 1.60 TMO‑Non TMO‑Non +0.20 +58.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR115+70 +1.30 1.30 +1.80 +60.90 36.20 TMO‑Non 180.40 24.30 TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non 8.40 GUP‑Non TMO‑Non TMO‑Non
CSR024+1.009 +3.40 0.10 +0.30 +2.70 TMO‑Non 8.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +28.50 UNK‑Non GUP‑Non TMO‑Non UNK‑Non
CSR113+1 +0.70 1.20 +1.80 TMO‑Non 3.90 TMO‑Non 3.10 23.50 +1.20 GUP‑Non TMO‑Non UNK‑Non TMO‑Non 3.80 GUP‑Non TMO‑Non TMO‑Non
GEO126+1 +0.00 0.00 +0.10 +0.00 1.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +0.20 +266.50 54.50 TMO‑Non TMO‑Non TMO‑Non
KRS192+1 +1.50 3.00 +4.80 +135.40 0.70 TMO‑Non 2.00 TMO‑Non +3.10 +0.60 +60.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.10 TMO‑Non
PRO003+2 +4.60 58.90 +78.80 TMO‑Non TMO‑Non 6.50 TMO‑Non 33.00 TMO‑Non GUP‑Non UNK‑Non +1.80 TMO‑Non 87.20 GUP‑Non TMO‑Non TMO‑Non
LCL688+1.001 +0.70 45.00 +51.00 +2.50 0.70 14.60 10.30 TMO‑Non TMO‑Non GUP‑Non TMO‑Non +0.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
HAL002+1 +3.30 3.50 +6.00 TMO‑Non TMO‑Non 1.00 59.10 0.90 TMO‑Non GUP‑Non +6.80 +0.50 TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
LCL650+1.005 +0.30 3.10 +3.50 +2.00 8.50 172.80 92.10 TMO‑Non +87.20 GUP‑Non TMO‑Non +20.10 TMO‑Non 0.40 TMO‑Non GUP‑Non TMO‑Non
GEO305+1* +0.10 0.20 +0.40 GUP‑Non 2.60 0.80 21.50 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SYN548+1 +0.00 TMO‑Non TMO‑Non TMO‑Non 0.80 1.90 14.30 TMO‑Non TMO‑Non +0.20 UNK‑Non +0.00 TMO‑Non 2.80 +73.90 GUP‑Non TMO‑Non
GEO278+1* +0.50 17.00 +27.10 GUP‑Non 0.80 11.60 286.00 TMO‑Non +29.90 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV014+1 +0.00 0.00 +0.10 +0.00 10.30 TMO‑Non 0.20 TMO‑Non +183.80 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV464+1 +0.40 0.20 +0.30 +8.20 9.20 0.40 TMO‑Non TMO‑Non +51.50 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
CSR116+2 +1.00 1.30 +1.90 +123.60 87.70 TMO‑Non 205.80 120.30 TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non 9.10 GUP‑Non TMO‑Non TMO‑Non
SWV486+3 +3.80 2.00 +3.70 +14.80 37.40 0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR057+3 +1.00 5.00 +5.80 +2.60 28.30 TMO‑Non 13.70 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non +47.20 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWV027+1 +0.40 TMO‑Non TMO‑Non +1.10 3.30 3.50 63.20 TMO‑Non +3.20 +9.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COM008+1 +12.40 0.80 +1.30 TMO‑Non 1.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.40 TMO‑Non TMO‑Non GUP‑Non +0.30 TMO‑Non
SWV486+1 +1.90 0.10 +0.30 +15.40 240.80 0.30 19.20 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.20 TMO‑Non
CSR027+3 +30.40 5.00 +6.80 +68.30 141.70 TMO‑Non 92.20 TMO‑Non +75.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO342+1* +0.00 0.10 +0.30 +44.60 0.20 87.90 2.80 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR114+10 +0.90 1.30 +1.90 TMO‑Non 258.20 TMO‑Non TMO‑Non 106.60 +31.20 GUP‑Non TMO‑Non UNK‑Non TMO‑Non 50.90 GUP‑Non TMO‑Non TMO‑Non
GEO300+1* +0.10 0.10 +0.30 GUP‑Non 0.20 0.90 1.30 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR116+36 +1.10 1.30 +1.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 232.60 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non 31.60 GUP‑Non TMO‑Non TMO‑Non
GEO299+1* +0.00 0.20 +0.40 GUP‑Non 0.20 0.90 8.30 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN986+1.004 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non GUP‑Non +54.50 TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non TMO‑Non
SWV406+1 +0.00 0.00 +0.10 +11.70 2.00 TMO‑Non 13.90 TMO‑Non TMO‑Non GUP‑Non +5.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR049+3 +16.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SEU376+1 +0.10 0.50 +0.70 +0.60 10.30 6.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +60.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
KRS251+1 +20.40 TMO‑Non TMO‑Non +287.90 2.70 TMO‑Non 107.30 TMO‑Non +28.90 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP780+1* TMO‑Non 0.30 +0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non UNK‑Non
LCL650+1.010 +2.50 TMO‑Non TMO‑Non +191.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non 16.90 GUP‑Non GUP‑Non TMO‑Non
PUZ133+2* +48.00 2.00 +2.80 +81.40 63.40 TMO‑Non TMO‑Non 0.70 TMO‑Non GUP‑Non UNK‑Non TMO‑Non +82.00 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LCL652+1.010 +13.60 85.40 +85.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
PUZ133+1* +3.10 7.50 +9.40 +9.60 8.30 TMO‑Non TMO‑Non 38.20 TMO‑Non GUP‑Non UNK‑Non TMO‑Non +122.10 TMO‑Non TMO‑Non GUP‑Non TMO‑Non
LAT258+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 258.60 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non +50.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWC419+1 +0.00 0.00 +0.20 +2.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
NLP560+1 UNK‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
SWV457+1 +0.20 18.50 +32.90 +9.10 TMO‑Non TMO‑Non TMO‑Non 3.40 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
LCL688+1.010 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +13.20 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non
SWV379+1 +0.00 0.00 +0.10 +12.90 TMO‑Non 0.70 TMO‑Non TMO‑Non TMO‑Non GUP‑Non +13.10 +112.60 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
NLP562+1 UNK‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
CSR083+2* +0.90 2.40 +4.70 +1.80 2.30 TMO‑Non 9.50 106.30 TMO‑Non GUP‑Non TMO‑Non UNK‑Non +50.60 TMO‑Non GUP‑Non TMO‑Non TMO‑Non
LCL658+1.015 +28.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR098+6* +4.60 10.90 +22.80 +10.50 9.00 UNK‑Non 27.60 TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP561+1 UNK‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non GUP‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
SWV479+1 +2.60 6.10 +12.60 +51.70 184.00 0.80 TMO‑Non 2.70 TMO‑Non GUP‑Non +42.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SWV452+1 +0.30 TMO‑Non TMO‑Non +55.20 TMO‑Non 0.20 TMO‑Non 3.70 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SWV480+1 +2.70 6.20 +13.10 +55.60 64.20 0.80 TMO‑Non 3.00 TMO‑Non GUP‑Non +42.20 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SET678+3 +1.80 0.00 +0.10 +15.00 80.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR085+6* +3.60 TMO‑Non TMO‑Non +22.30 10.10 UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO284+1* +0.00 0.10 +0.30 +19.90 0.40 9.30 2.50 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM859+1* +1.60 0.60 +1.10 +291.40 14.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO274+1* +0.10 0.20 +0.40 GUP‑Non TMO‑Non 2.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV476+1 +2.60 5.40 +11.60 +51.80 108.80 TMO‑Non TMO‑Non 3.30 TMO‑Non GUP‑Non +37.90 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
HAL004+1 +6.50 1.90 +2.80 +39.90 TMO‑Non 13.80 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWV468+1 +2.40 TMO‑Non TMO‑Non +9.00 56.10 1.00 TMO‑Non 1.00 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SWV477+1 +2.60 5.20 +11.40 +51.70 245.70 TMO‑Non TMO‑Non 3.50 TMO‑Non GUP‑Non +37.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SWV465+1 +0.30 9.40 +16.80 +15.90 TMO‑Non 0.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
GEO088+1 +17.00 TMO‑Non TMO‑Non +24.50 1.40 TMO‑Non TMO‑Non TMO‑Non +87.10 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HAL006+1 +0.70 0.20 +0.40 +14.80 TMO‑Non 5.50 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWV449+1 +0.20 0.10 +0.20 +10.00 TMO‑Non 0.20 TMO‑Non 2.70 TMO‑Non GUP‑Non +15.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
GEO280+1* +0.30 4.40 +8.80 GUP‑Non TMO‑Non 86.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO294+1* +3.30 0.20 +0.50 GUP‑Non 75.50 2.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO282+1* +0.10 3.10 +5.90 GUP‑Non TMO‑Non 19.60 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO298+1* +0.30 13.60 +21.90 GUP‑Non 12.10 2.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO270+1* +13.90 41.10 +65.10 GUP‑Non 38.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +25.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV478+1 +4.80 5.70 +11.90 +15.10 180.00 1.10 TMO‑Non 3.40 TMO‑Non TMO‑Non +35.80 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SWV470+1 +25.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.40 TMO‑Non 3.00 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SWV462+1 +2.10 TMO‑Non TMO‑Non +172.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
SET098+1 +0.90 3.40 +7.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWV459+1 +3.00 TMO‑Non TMO‑Non +190.20 TMO‑Non TMO‑Non TMO‑Non 3.70 TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
GEO332+1* +19.90 4.70 +8.90 GUP‑Non TMO‑Non 30.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM860+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non 206.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +49.50 UNK‑Non +74.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO321+1* +20.20 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 4.20 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR101+1* +0.80 9.60 +15.40 +19.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR118+1* +1.50 8.60 +12.70 +92.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR082+1* +1.50 11.00 +17.30 +126.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR109+1* +5.60 26.00 +42.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR118+4* +1.20 18.30 +23.60 +122.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO308+1* +20.10 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 2.50 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO336+1* +220.90 4.60 +8.60 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO306+1* +1.30 0.20 +0.60 GUP‑Non 37.40 138.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN076+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 1.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
TOP024+2 +111.40 45.50 +57.60 +228.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
SWV489+3 +14.30 0.30 +0.60 +154.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +76.80 GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR011+1 +2.70 39.20 +89.30 +38.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV037+1 +13.80 TMO‑Non TMO‑Non +85.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non UNK‑Non
GEO292+1* TMO‑Non TMO‑Non TMO‑Non GUP‑Non 56.00 4.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR118+6* +2.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR081+4* +34.80 32.10 +43.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO295+1* TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non 4.90 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR083+5* +2.20 13.40 +15.60 +116.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR101+2* +0.90 71.50 +89.80 +278.00 57.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR076+4* +2.50 8.50 +13.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR092+4* +11.70 17.20 +22.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO296+1* TMO‑Non 56.20 +86.70 GUP‑Non TMO‑Non 27.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO291+1* +41.00 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 2.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR118+5* +25.60 TMO‑Non TMO‑Non TMO‑Non 118.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR094+5* +10.90 TMO‑Non TMO‑Non TMO‑Non 194.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO281+1* +20.80 TMO‑Non TMO‑Non GUP‑Non 15.50 85.40 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP644+3 +34.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
LCL481+1 +5.00 TMO‑Non TMO‑Non +286.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non GUP‑Non TMO‑Non
GEO288+1* TMO‑Non 2.40 +3.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO333+1* TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non 91.60 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM861+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non 138.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non +162.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR089+2* +4.50 63.90 +83.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
CSR096+6* +206.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO276+1* +63.40 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 219.90 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO319+1* TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO289+1* +106.50 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR079+3* +106.90 TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non TMO‑Non UNK‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR089+5* +0.80 129.20 +145.30 +287.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
GEO283+1* +20.30 TMO‑Non TMO‑Non GUP‑Non 16.00 36.20 TMO‑Non TMO‑Non +30.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO286+1* +20.20 TMO‑Non TMO‑Non GUP‑Non 4.70 34.10 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NUM862+1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non +69.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO279+1* +58.00 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SEU252+2 TMO‑Non TMO‑Non TMO‑Non +149.30 7.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
HAL001+2 +21.00 TMO‑Non TMO‑Non +42.50 TMO‑Non 60.20 TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
LCL564+1 TMO‑Non TMO‑Non TMO‑Non +274.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non
LAT292+3 +25.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non UNK‑Non TMO‑Non
Solved 178/200 143/200 143/200 125/200 117/200 108/200 90/200 81/200 54/200 46/200 45/200 42/200 36/200 32/200 18/200 15/200 0/200
Av. CPU Time 14.16 10.20 14.77 44.92 25.55 17.40 18.09 25.29 42.61 36.03 45.01 22.74 32.68 24.27 9.30 3.89 -
Solutions 178/200 0/200 143/200 125/200 0/200 0/200 0/200 0/200 54/200 45/200 45/200 42/200 36/200 0/200 18/200 15/200 0/200
μEfficiency 528.47 393.78 357.63 300.04 347.66 301.30 275.03 178.95 87.43 110.74 43.50 133.09 76.86 68.86 46.42 68.43 -
SOTAC 0.22 0.16 0.16 0.16 0.15 0.19 0.12 0.13 0.11 0.11 0.12 0.18 0.10 0.11 0.09 0.10 -
New Solved 53/63 41/63 41/63 18/63 31/63 29/63 11/63 7/63 8/63 1/63 3/63 9/63 3/63 1/63 3/63 1/63 0/63
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for FNT

FNT Paradox
 3.0
Paradox
 4.0
iProver‑SAT
 0.8
Geo
 2010C
Equinox
 5.0
E
 1.2pre
EP
 1.2pre
iProver‑Eq
 0.6
E‑Darwin
 1.3
E‑KRHyper
 1.1.4
Metis
 2.2
Ayane
 2
PLA027+1 +0.10 +0.10 +0.60 +0.60 3.80 TMO‑Non TMO‑Non 3.30 +7.20 0.20 TMO‑Non TMO‑Non
NLP072+1 TMO‑Non TMO‑Non TMO‑Non +2.90 0.30 0.00 +0.10 TMO‑Non TMO‑Non 112.00 +0.30 TMO‑Non
NLP237+1 +0.20 +0.20 0.10 +0.20 0.40 0.10 +0.20 0.40 +0.40 21.40 +5.30 TMO‑Non
NLP071+1 TMO‑Non TMO‑Non TMO‑Non +3.50 0.40 0.00 +0.10 TMO‑Non TMO‑Non 120.20 +0.20 TMO‑Non
NLP028+1 +0.10 +0.10 0.00 +0.00 0.70 0.20 +0.30 0.20 +1.80 TMO‑Non TMO‑Non TMO‑Non
NLP181+1 +0.30 +0.20 +63.00 +0.40 0.90 0.10 +0.20 TMO‑Non +1.30 5.20 TMO‑Non TMO‑Non
LCL663+1.005 +0.10 +0.10 0.10 +0.00 0.10 26.20 +30.00 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP075+1 TMO‑Non TMO‑Non TMO‑Non +12.60 0.70 0.00 +0.10 TMO‑Non TMO‑Non 282.10 +0.30 TMO‑Non
LCL667+1.005 +0.10 +0.10 0.10 +0.10 9.20 3.70 +4.70 0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP089+1 TMO‑Non TMO‑Non TMO‑Non +8.90 0.70 0.00 +0.10 TMO‑Non TMO‑Non 191.40 +0.50 TMO‑Non
NLP029+1 +0.10 +0.10 0.10 +0.00 0.30 0.20 +0.30 0.20 +1.90 1.90 +0.00 TMO‑Non
NLP182+1 +0.30 +0.20 +62.80 +0.30 0.90 0.10 +0.20 TMO‑Non +1.60 4.60 TMO‑Non TMO‑Non
NLP162+1 +0.20 +0.20 0.60 +0.20 0.20 0.60 +0.80 1.60 +0.40 TMO‑Non +0.30 TMO‑Non
NLP074+1 TMO‑Non TMO‑Non TMO‑Non +2.70 0.30 0.00 +0.10 TMO‑Non TMO‑Non 116.80 +0.30 TMO‑Non
NLP168+1 +0.20 +0.20 0.70 +0.20 0.20 0.60 +0.80 1.50 +0.30 TMO‑Non +0.30 TMO‑Non
NLP187+1 +0.20 +0.20 +62.20 +0.40 0.90 0.10 +0.20 TMO‑Non +1.70 9.70 TMO‑Non TMO‑Non
NLP197+1 +0.30 +0.20 0.20 +0.30 0.30 0.80 +1.00 0.60 +0.40 TMO‑Non +0.80 TMO‑Non
NLP076+1 TMO‑Non TMO‑Non TMO‑Non +2.80 0.30 0.00 +0.10 TMO‑Non TMO‑Non 114.60 +0.20 TMO‑Non
PLA024+1 +0.10 +0.10 +0.20 +0.30 1.40 TMO‑Non TMO‑Non 1.00 +3.70 0.10 TMO‑Non TMO‑Non
NLP091+1 TMO‑Non TMO‑Non TMO‑Non +9.80 0.70 0.00 +0.10 TMO‑Non TMO‑Non 184.90 +0.50 TMO‑Non
NLP195+1 +0.30 +0.20 1.30 +0.30 0.30 0.70 +0.90 2.50 +0.50 TMO‑Non +0.80 TMO‑Non
NLP093+1 TMO‑Non TMO‑Non TMO‑Non +9.50 0.70 0.00 +0.10 TMO‑Non TMO‑Non 217.30 +0.40 TMO‑Non
NLP161+1 +0.20 +0.20 0.80 +0.20 0.20 1.30 +1.60 1.80 +0.30 TMO‑Non +0.30 TMO‑Non
NLP087+1 TMO‑Non TMO‑Non TMO‑Non +9.30 0.60 0.00 +0.10 TMO‑Non TMO‑Non 222.40 +0.30 TMO‑Non
LCL649+1.010 +1.30 +1.10 +0.30 +2.50 TMO‑Non TMO‑Non TMO‑Non 1.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP189+1 +0.30 +0.20 +63.50 +0.40 0.90 0.10 +0.20 TMO‑Non +1.90 9.20 TMO‑Non TMO‑Non
NLP192+1 +0.30 +0.20 +2.30 +0.30 0.30 0.60 +0.80 2.40 +0.40 TMO‑Non +0.80 TMO‑Non
NLP082+1 TMO‑Non TMO‑Non TMO‑Non +8.50 0.60 0.00 +0.10 TMO‑Non TMO‑Non 191.10 +0.30 TMO‑Non
NLP165+1 +0.20 +0.20 0.90 +0.20 0.20 3.00 +3.40 1.80 +0.40 TMO‑Non +0.40 TMO‑Non
NLP184+1 +0.30 +0.20 +61.90 +0.40 0.80 0.10 +0.20 TMO‑Non +1.90 6.30 TMO‑Non TMO‑Non
MED004+1 +0.00 +0.00 +0.30 +0.00 0.50 TMO‑Non TMO‑Non 130.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP180+1 +0.30 +0.20 +64.30 +0.40 0.90 0.10 +0.20 TMO‑Non +1.90 9.60 TMO‑Non TMO‑Non
NLP194+1 +0.30 +0.20 +1.90 +0.30 0.30 0.60 +0.80 2.30 +0.40 TMO‑Non +0.80 TMO‑Non
NLP078+1 TMO‑Non TMO‑Non TMO‑Non +2.70 0.30 0.00 +0.10 TMO‑Non TMO‑Non 107.10 +0.20 TMO‑Non
NLP199+1 +0.30 +0.20 0.20 +0.20 0.30 0.60 +0.80 0.60 +0.40 TMO‑Non +0.80 TMO‑Non
NLP092+1 TMO‑Non TMO‑Non TMO‑Non +9.00 0.70 0.00 +0.10 TMO‑Non TMO‑Non 222.80 +0.40 TMO‑Non
LCL649+1.005 +0.10 +0.10 0.10 +0.00 9.20 0.80 +1.20 0.20 +0.30 TMO‑Non TMO‑Non TMO‑Non
NLP086+1 TMO‑Non TMO‑Non TMO‑Non +9.00 0.60 0.00 +0.10 TMO‑Non TMO‑Non 197.80 +0.30 TMO‑Non
NLP163+1 +0.20 +0.20 +1.50 +0.30 0.20 0.80 +1.00 3.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP069+1 TMO‑Non TMO‑Non TMO‑Non +2.80 0.30 0.00 +0.10 TMO‑Non TMO‑Non 109.50 +0.20 TMO‑Non
NLP160+1 +0.20 +0.20 0.60 +0.20 0.20 0.80 +0.90 1.50 +0.40 TMO‑Non +0.30 TMO‑Non
NLP083+1 TMO‑Non TMO‑Non TMO‑Non +8.50 0.60 0.00 +0.10 TMO‑Non TMO‑Non 184.90 +0.30 TMO‑Non
NLP198+1 +0.30 +0.20 0.20 +0.30 0.30 0.70 +0.90 0.60 +0.40 TMO‑Non +0.80 TMO‑Non
NLP188+1 +0.20 +0.20 +62.70 +0.40 0.80 0.10 +0.20 TMO‑Non +1.50 6.10 TMO‑Non TMO‑Non
PLA026+1 +0.20 +0.10 +1.10 +3.90 6.00 TMO‑Non TMO‑Non 7.80 +63.40 0.20 TMO‑Non TMO‑Non
NLP070+1 TMO‑Non TMO‑Non TMO‑Non +2.80 0.30 0.00 +0.10 TMO‑Non TMO‑Non 120.10 +0.20 TMO‑Non
LCL667+1.010 +1.30 +1.10 +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP183+1 +0.30 +0.20 +65.70 +0.50 0.90 0.20 +0.30 TMO‑Non +1.80 5.80 TMO‑Non TMO‑Non
NLP190+1 +0.30 +0.20 +2.50 +0.30 0.30 1.40 +1.60 2.60 +0.40 TMO‑Non +0.80 TMO‑Non
NLP085+1 TMO‑Non TMO‑Non TMO‑Non +9.40 0.60 0.00 +0.10 TMO‑Non TMO‑Non 193.60 +0.30 TMO‑Non
SYN545+1 +0.70 +0.50 +0.30 TMO‑Non 9.20 TMO‑Non TMO‑Non 52.30 +0.90 5.10 TMO‑Non TMO‑Non
NLP077+1 TMO‑Non TMO‑Non TMO‑Non +2.80 0.30 0.00 +0.10 TMO‑Non TMO‑Non 133.40 +0.20 TMO‑Non
SYN547+1 +0.70 +0.60 +0.20 TMO‑Non 6.00 0.40 +0.60 1.80 +0.60 TMO‑Non TMO‑Non TMO‑Non
NLP073+1 TMO‑Non TMO‑Non TMO‑Non +2.80 0.30 0.00 +0.10 TMO‑Non TMO‑Non 113.80 +0.20 TMO‑Non
SYN441+1 +0.40 +0.30 +0.50 TMO‑Non 12.60 TMO‑Non TMO‑Non 1.30 +7.10 77.20 TMO‑Non TMO‑Non
NLP186+1 +0.30 +0.20 +65.00 +0.40 0.90 0.10 +0.20 TMO‑Non +1.60 5.10 TMO‑Non TMO‑Non
PLA025+1 +0.40 +0.30 +34.60 +23.80 95.90 TMO‑Non TMO‑Non 173.40 +48.50 0.50 TMO‑Non TMO‑Non
NLP185+1 +0.20 +0.20 +62.70 +0.40 0.80 0.10 +0.20 TMO‑Non +1.50 6.30 TMO‑Non TMO‑Non
SYN435+1 +0.20 +0.20 +0.10 TMO‑Non 1.80 TMO‑Non TMO‑Non 0.70 +0.20 1.00 TMO‑Non TMO‑Non
NLP084+1 TMO‑Non TMO‑Non TMO‑Non +9.90 0.60 0.00 +0.10 TMO‑Non TMO‑Non 180.40 +0.30 TMO‑Non
LCL643+1.015 +0.40 +0.30 +0.30 +0.10 8.60 0.30 +0.50 1.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP396+1 +0.00 +0.00 +1.30 +0.00 0.00 0.00 +0.10 0.20 +0.00 0.00 +0.00 TMO‑Non
SYN428+1 +0.90 +0.70 +2.20 TMO‑Non 243.70 TMO‑Non TMO‑Non 8.80 +2.10 TMO‑Non TMO‑Non TMO‑Non
SWV484+2 GUP‑Non GUP‑Non TMO‑Non TMO‑Non 233.50 1.90 +2.10 TMO‑Non +78.50 TMO‑Non +34.50 TMO‑Non
LCL669+1.001 +0.10 +0.10 +0.30 +0.00 82.30 TMO‑Non TMO‑Non 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS048+1 +0.10 +0.00 +62.60 +0.00 0.90 TMO‑Non TMO‑Non TMO‑Non +0.20 TMO‑Non TMO‑Non TMO‑Non
SYN434+1 +0.20 +0.20 +0.20 TMO‑Non 4.80 TMO‑Non TMO‑Non 1.00 +0.80 TMO‑Non TMO‑Non TMO‑Non
KRS049+1 +0.00 +0.00 +61.20 +0.00 1.00 TMO‑Non TMO‑Non TMO‑Non +0.20 TMO‑Non TMO‑Non TMO‑Non
LCL643+1.001 +0.10 +0.10 +0.30 +0.00 0.10 0.20 +0.40 0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT038+2 +0.10 +0.10 +61.90 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non +39.00 0.10 TMO‑Non TMO‑Non
SYN463+1 +0.20 +0.20 +0.20 TMO‑Non 2.40 7.10 +10.30 0.60 +0.30 246.20 TMO‑Non TMO‑Non
NUM450+1 +0.10 +0.10 +0.40 +0.00 2.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA026+1 +150.90 +143.70 +77.10 TMO‑Non 5.80 TMO‑Non TMO‑Non 207.90 TMO‑Non 8.40 TMO‑Non TMO‑Non
NUM449+1 +0.10 +0.10 +0.20 +0.00 4.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
CSR111+2 TMO‑Non TMO‑Non +99.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 29.40 +52.20 TMO‑Non
NUM445+1 +0.10 +0.10 +0.30 +0.00 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL641+1.005 +0.20 +0.20 +0.50 +1.50 2.70 0.10 +0.20 1.90 TMO‑Non 0.70 TMO‑Non TMO‑Non
NUM445+5 +0.20 +0.20 +66.20 +0.80 22.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN453+1 +0.40 +0.30 +0.20 TMO‑Non 8.60 TMO‑Non TMO‑Non 1.50 +16.80 TMO‑Non TMO‑Non TMO‑Non
NUM439+1 +0.20 +0.20 +88.80 +6.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP196+1 +0.30 +0.20 0.20 +0.30 0.30 1.40 +1.70 0.60 +0.40 TMO‑Non +0.80 TMO‑Non
LAT385+1 +0.10 +0.10 +62.80 +0.10 20.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.20 TMO‑Non TMO‑Non
GRA024+1 +2.50 +2.40 +31.50 +14.80 0.40 TMO‑Non TMO‑Non 4.20 +14.60 0.20 TMO‑Non TMO‑Non
PRO013+3 +0.30 +0.20 +88.10 +1.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN456+1 +0.20 +0.20 +0.10 TMO‑Non 4.40 TMO‑Non TMO‑Non 0.70 +22.10 TMO‑Non TMO‑Non TMO‑Non
PRO007+3 +0.60 +0.40 +296.10 +4.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN542+1 +0.30 +0.20 +1.40 TMO‑Non 18.10 TMO‑Non TMO‑Non 3.70 +0.30 TMO‑Non TMO‑Non TMO‑Non
NUM446+1 +0.20 +0.10 +0.20 +0.10 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL683+1.001 +0.00 +0.00 +0.40 +0.00 5.60 TMO‑Non TMO‑Non 0.30 +0.20 TMO‑Non TMO‑Non TMO‑Non
PRO008+2 +0.40 +0.30 +174.60 +2.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN449+1 +0.40 +0.40 +0.20 TMO‑Non 2.80 TMO‑Non TMO‑Non 0.90 +4.30 TMO‑Non TMO‑Non TMO‑Non
NUM440+1 +0.20 +0.20 +65.60 +6.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP191+1 +0.30 +0.20 +2.40 +0.50 0.30 0.60 +0.80 5.40 +66.20 TMO‑Non TMO‑Non TMO‑Non
HAL005+1 +0.90 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN464+1 +0.30 +0.20 +0.20 TMO‑Non 5.20 TMO‑Non TMO‑Non 1.40 +50.80 TMO‑Non TMO‑Non TMO‑Non
SWV482+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.90 +1.10 TMO‑Non +23.30 TMO‑Non +6.80 TMO‑Non
LCL653+1.001 +0.10 +0.10 +2.50 +1.10 23.50 1.90 +2.10 TMO‑Non +5.30 0.90 TMO‑Non TMO‑Non
PRO007+4 +0.30 +0.30 +152.30 +1.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP193+1 +0.30 +0.20 +2.50 +0.50 0.30 0.70 +0.90 5.80 +131.00 TMO‑Non TMO‑Non TMO‑Non
COM014+1 +0.10 +0.10 +62.30 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN546+1 +0.70 +0.50 +0.50 TMO‑Non 24.50 5.80 +6.60 2.30 +1.10 30.00 TMO‑Non TMO‑Non
NUM441+1 +0.20 +0.20 +124.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRA025+1 +13.40 +12.90 +31.00 +94.20 0.90 TMO‑Non TMO‑Non 96.90 TMO‑Non 0.90 TMO‑Non TMO‑Non
RNG110+4 +0.20 +0.20 +71.40 +69.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN426+1 +1.00 +0.80 +9.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 59.10 +3.70 TMO‑Non TMO‑Non TMO‑Non
PRO013+2 +0.20 +0.20 +73.80 +0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MSC014+1 TMO‑Non TMO‑Non 0.10 +0.10 0.20 0.00 +0.10 0.20 +0.10 0.00 +0.40 TMO‑Non
PRO013+4 +0.20 +0.20 +67.80 +1.00 5.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MSC013+1 TMO‑Non TMO‑Non +0.20 +0.90 0.90 0.00 +0.10 0.30 +0.20 0.00 +8.70 TMO‑Non
PRO007+2 +0.40 +0.30 +129.40 +1.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN427+1 +1.10 +0.90 +5.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 69.10 +2.80 TMO‑Non TMO‑Non TMO‑Non
PRO013+1 +0.20 +0.20 +139.10 +1.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL685+1.005 +0.20 +0.20 +0.20 +0.20 TMO‑Non TMO‑Non TMO‑Non 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT387+1 +0.10 +0.10 +62.60 +0.70 2.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.20 TMO‑Non TMO‑Non
SYN423+1 +0.80 +0.70 +4.50 TMO‑Non 40.70 2.00 +2.50 63.20 +1.10 TMO‑Non TMO‑Non TMO‑Non
LAT384+1 +0.10 +0.10 +63.30 +0.10 92.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.20 TMO‑Non TMO‑Non
SYN420+1 +0.80 +0.60 +0.20 TMO‑Non 8.60 1.10 +1.50 1.40 +1.50 TMO‑Non TMO‑Non TMO‑Non
NUM447+1 +0.10 +0.10 +37.10 +0.20 19.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN419+1 +0.40 +0.40 +0.50 TMO‑Non 12.00 2.80 +3.80 1.20 +0.60 163.80 TMO‑Non TMO‑Non
LCL577+1 +0.20 +0.10 +74.30 +47.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN429+1 +0.90 +0.70 +0.30 TMO‑Non TMO‑Non 3.30 +4.00 12.60 +1.50 26.80 TMO‑Non TMO‑Non
COM014+4 +0.10 +0.10 +65.00 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP169+1 +0.20 +0.20 0.60 +0.20 0.20 3.50 +4.30 1.50 +0.30 TMO‑Non +0.30 TMO‑Non
PRO007+1 +0.40 +0.30 TMO‑Non +4.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP167+1 +0.20 +0.20 1.10 +0.20 0.20 3.20 +3.80 1.80 +0.30 TMO‑Non +0.30 TMO‑Non
NUM448+1 +0.20 +0.10 +0.30 +0.10 0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL671+1.001 +0.10 +0.00 +0.80 +0.10 12.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT383+1 +0.10 +0.10 +62.80 +0.10 22.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.20 TMO‑Non TMO‑Non
LCL675+1.005 TMO‑Non TMO‑Non 33.80 +158.30 10.00 TMO‑Non TMO‑Non TMO‑Non +88.80 TMO‑Non +1.80 TMO‑Non
SWV483+2 GUP‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non 18.90 +19.00 TMO‑Non +92.70 TMO‑Non +112.40 TMO‑Non
MSC016+1 +11.50 +9.70 4.40 TMO‑Non TMO‑Non 0.00 +0.10 3.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT066+1 +0.00 +0.00 +0.30 +0.00 0.00 TMO‑Non TMO‑Non 1.20 +0.00 0.00 TMO‑Non TMO‑Non
SWV440+1 +0.20 +0.10 0.50 +7.20 UNK‑Non 0.00 +0.10 0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
KRS051+1 +0.40 +0.30 +105.60 +7.00 2.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN335+1 +58.70 +61.80 0.00 TMO‑Non TMO‑Non 0.00 +0.10 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
RNG110+1 +0.20 UNK‑Non +66.00 +195.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
NLP166+1 +0.20 +0.20 1.10 +0.20 0.20 3.60 +4.00 1.90 +0.30 TMO‑Non +0.30 TMO‑Non
HAL003+1 +0.50 +0.90 +121.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL683+1.005 +0.30 +0.20 +44.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL569+1 +0.20 +0.10 +68.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL665+1.005 +0.30 +0.20 0.20 +0.40 TMO‑Non TMO‑Non TMO‑Non 0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV238+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 109.00 +107.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV439+1 +0.20 +0.10 0.60 +59.60 UNK‑Non 0.00 +0.10 1.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL578+1 +0.30 +0.20 +141.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO230+3 +0.10 +0.10 +60.20 +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV483+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 17.30 +18.30 TMO‑Non TMO‑Non TMO‑Non +106.80 TMO‑Non
GEO260+3 +0.10 +0.10 +61.00 +35.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV484+1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 1.20 +1.50 TMO‑Non TMO‑Non TMO‑Non +31.90 TMO‑Non
LCL681+1.005 +0.10 +0.10 +61.30 +0.00 0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HAL003+2 +1.20 +1.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL667+1.020 +14.30 +11.90 +30.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL679+1.010 +0.30 +0.20 +62.10 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO212+3 +0.10 +0.10 +60.30 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO224+2 +0.00 +0.00 +61.80 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL661+1.010 +0.30 +0.20 +12.60 +0.40 TMO‑Non TMO‑Non TMO‑Non 1.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO228+3 +0.10 +0.10 +60.30 +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL687+1.015 +5.50 +1.70 +63.70 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL687+1.001 +0.00 +0.00 +18.00 +0.00 UNK‑Non TMO‑Non TMO‑Non 0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO214+3 +0.10 +0.10 +60.40 +0.40 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL679+1.005 +0.10 +0.10 +61.10 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO213+3 +0.00 +0.00 +60.50 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO254+3 +0.10 +0.10 +60.30 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO229+3 +0.10 +0.10 +60.40 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO215+3 +0.10 +0.10 +60.80 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GEO224+1 +0.00 +0.00 +62.30 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL653+1.005 +0.70 +0.60 +67.80 +299.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL659+1.010 +0.40 +0.30 TMO‑Non +106.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL655+1.010 +1.00 +0.90 +73.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL653+1.020 +37.70 +27.90 +84.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL665+1.015 +2.40 +2.20 15.20 +23.60 TMO‑Non TMO‑Non TMO‑Non 29.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL661+1.020 +0.70 +0.60 +13.80 +2.40 TMO‑Non TMO‑Non TMO‑Non 32.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL679+1.015 +0.60 +0.50 +63.10 +2.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
LCL657+1.005 TMO‑Non TMO‑Non 27.40 +97.10 TMO‑Non TMO‑Non TMO‑Non 37.80 +76.10 TMO‑Non TMO‑Non TMO‑Non
LCL641+1.020 +1.80 +1.50 +141.70 TMO‑Non 103.60 14.80 +14.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL677+1.020 +0.70 +0.60 +61.00 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL673+1.005 +0.90 +0.80 +63.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL689+1.015 +39.10 +32.50 +67.70 +11.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL637+1.005 TMO‑Non TMO‑Non +31.80 +68.50 95.80 TMO‑Non TMO‑Non TMO‑Non +75.00 32.60 TMO‑Non TMO‑Non
LCL677+1.005 +0.20 +0.20 +60.60 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL669+1.005 +1.00 +0.90 +1.40 +252.10 TMO‑Non TMO‑Non TMO‑Non 3.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL689+1.005 +1.50 +1.30 +62.50 +0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL679+1.020 +1.20 +1.00 +61.10 +9.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non UNK‑Non
LCL661+1.015 +0.40 +0.40 +7.70 +8.10 TMO‑Non TMO‑Non TMO‑Non 11.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL649+1.020 +14.20 +12.00 +28.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non
GRA018+1 +0.40 +0.40 TMO‑Non TMO‑Non 15.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL671+1.020 +60.30 +49.80 +62.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL677+1.015 +0.40 +0.40 +60.80 +3.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL653+1.010 +4.00 +3.40 +67.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL671+1.010 +6.10 +5.30 +62.00 +183.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL651+1.015 +14.00 +11.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL665+1.020 +4.70 +4.20 41.30 +87.40 TMO‑Non TMO‑Non TMO‑Non 102.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL683+1.015 +2.40 +2.20 +63.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL651+1.020 +32.10 +25.90 +72.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL669+1.010 +5.90 +4.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL659+1.015 +0.70 +0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL639+1.020 +4.40 +4.00 +149.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL639+1.015 +2.40 +2.20 +116.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL659+1.020 +1.30 +1.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL673+1.010 +3.80 +3.30 +78.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL685+1.020 +21.10 +17.90 +21.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 207.90 TMO‑Non TMO‑Non TMO‑Non UNK‑Non
Solved 168/200 167/200 165/200 144/200 111/200 80/200 80/200 78/200 71/200 59/200 48/200 0/200
Av. CPU Time 3.34 2.96 39.22 14.30 12.21 3.08 3.37 17.85 13.52 68.35 7.83 -
Solutions 168/200 167/200 136/200 144/200 0/200 0/200 80/200 0/200 71/200 0/200 48/200 0/200
μEfficiency 733.84 737.03 329.75 491.58 370.68 330.86 322.50 230.21 223.83 103.77 200.52 -
SOTAC 0.20 0.20 0.19 0.18 0.14 0.14 0.14 0.14 0.13 0.14 0.15 -
New Solved 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for CNF

CNF Vampire
 0.6
Vampire
 10.0
E
 1.2pre
iProver
 0.8
Equinox
 5.0
E‑Darwin
 1.3
iProver‑Eq
 0.6
E‑KRHyper
 1.1.4
LEO‑II
 1.2
Otter
 3.3
Geo
 2010C
Metis
 2.2
Ayane
 2
RNG008‑1 +2.00 +2.70 0.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.70 +2.20 TMO‑Non TMO‑Non
SYN597‑1 +0.00 +60.20 TMO‑Non 0.10 0.10 7.10 0.70 TMO‑Non UNK‑Non GUP‑Non +1.60 TMO‑Non TMO‑Non
LCL802‑1* +0.10 +0.00 0.00 0.10 0.80 0.50 1.80 0.30 +75.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HWV006‑1 +11.20 +0.10 0.00 0.10 1.30 0.30 0.70 0.10 UNK‑Non +0.30 TMO‑Non +0.30 TMO‑Non
GRP070‑1 +0.00 +0.10 0.00 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +44.00 GUP‑Non TMO‑Non +8.50 TMO‑Non
RNG037‑1 +1.40 +0.10 0.00 1.10 10.80 3.20 TMO‑Non 0.50 UNK‑Non +0.30 +0.20 TMO‑Non TMO‑Non
LCL040‑1 +47.40 +2.20 0.00 TMO‑Non TMO‑Non 6.40 TMO‑Non 110.10 +5.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV972‑1* +0.40 +0.00 0.10 0.10 0.80 0.60 1.50 1.10 UNK‑Non +2.30 TMO‑Non TMO‑Non TMO‑Non
SET010‑1 +13.70 +0.40 0.20 1.60 0.60 0.30 1.20 TMO‑Non +169.80 +82.40 +154.30 +9.20 TMO‑Non
GRP051‑1 +0.70 +7.70 3.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
ROB014‑2 +0.50 +11.50 0.40 TMO‑Non 19.10 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL056‑1 +8.70 +0.30 4.20 32.50 TMO‑Non 0.50 5.70 7.20 +36.00 +0.50 TMO‑Non +33.00 TMO‑Non
MGT062‑1 +0.40 +0.00 0.00 0.90 0.20 80.70 TMO‑Non TMO‑Non UNK‑Non TMO‑Non +1.90 +0.40 TMO‑Non
SWV305‑2 +0.00 +0.00 0.00 0.10 0.20 TMO‑Non 0.10 0.00 UNK‑Non +0.30 +46.50 +0.00 UNK‑Non
GRP065‑1 +0.00 +0.00 0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +2.20 GUP‑Non TMO‑Non +12.30 TMO‑Non
ROB015‑2 +77.30 +15.30 6.10 TMO‑Non 90.80 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN640‑1 +0.50 +18.00 273.20 0.10 0.40 TMO‑Non 0.80 19.40 TMO‑Non +1.30 TMO‑Non TMO‑Non TMO‑Non
SET819‑1 +0.00 +0.10 0.00 0.20 5.00 0.30 1.10 0.30 UNK‑Non +3.20 TMO‑Non +1.40 +26.40
SYN313‑1.001.002 +0.00 +0.10 0.00 0.30 TMO‑Non TMO‑Non 0.30 TMO‑Non UNK‑Non +0.50 +0.50 +1.10 TMO‑Non
GRP105‑1 +0.20 +0.20 0.10 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +27.30 GUP‑Non TMO‑Non +3.00 TMO‑Non
HEN009‑6 +0.10 +0.00 0.10 TMO‑Non TMO‑Non 0.50 TMO‑Non TMO‑Non +3.60 +0.40 +4.10 +3.10 TMO‑Non
SYN629‑1 +0.00 +68.40 2.80 0.10 0.20 2.40 1.00 16.70 UNK‑Non TMO‑Non +3.70 TMO‑Non TMO‑Non
RNG040‑1 +0.00 +1.30 0.10 0.30 0.00 0.00 100.60 0.00 UNK‑Non +0.30 +0.20 TMO‑Non TMO‑Non
FLD007‑3 +0.10 +0.00 0.00 0.30 0.20 TMO‑Non 0.30 195.10 +18.40 +3.70 +1.00 TMO‑Non TMO‑Non
GRP278‑1 +0.10 +7.20 0.10 TMO‑Non TMO‑Non 0.50 7.50 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HEN004‑2 +0.50 +0.00 0.10 20.60 TMO‑Non TMO‑Non TMO‑Non 296.40 +0.70 +0.30 +0.10 TMO‑Non TMO‑Non
LCL064‑1 +19.00 +0.10 0.90 77.40 TMO‑Non 11.70 TMO‑Non 18.80 +3.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV266‑1 +0.10 +0.10 0.10 0.20 1.20 0.60 1.50 0.40 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN692‑1 +0.10 +0.10 0.00 0.10 0.20 TMO‑Non 0.80 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV571‑1.043 +0.10 +0.10 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +41.80 GUP‑Non TMO‑Non +2.90 TMO‑Non
HEN003‑4 +0.00 +0.00 0.00 0.20 1.10 0.10 TMO‑Non 0.00 +0.10 +0.30 +0.00 +0.10 TMO‑Non
SYN704‑1 +0.00 +0.30 0.40 0.10 2.50 TMO‑Non 0.50 TMO‑Non UNK‑Non +0.30 +31.90 +7.30 TMO‑Non
LCL825‑1* +0.00 +0.00 0.00 8.80 0.80 TMO‑Non 24.70 TMO‑Non +112.10 GUP‑Non TMO‑Non +1.20 TMO‑Non
SET055‑6 +0.00 +0.00 0.00 0.00 9.20 TMO‑Non 0.60 11.80 +4.10 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV571‑1.046 +0.10 +0.10 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +52.20 GUP‑Non TMO‑Non +3.10 TMO‑Non
HEN003‑2 +11.80 +0.00 0.00 0.60 TMO‑Non 2.50 TMO‑Non 0.00 +0.50 +0.30 +0.10 TMO‑Non TMO‑Non
PLA019‑1 +0.00 +0.00 0.00 3.10 TMO‑Non 2.00 0.20 TMO‑Non +0.40 TMO‑Non +34.20 TMO‑Non TMO‑Non
LCL763‑1* +2.30 +50.30 0.10 0.30 4.10 0.90 4.90 0.40 +127.70 GUP‑Non TMO‑Non +3.30 TMO‑Non
SWV292‑2 +0.00 +0.00 0.00 0.00 0.60 2.00 0.20 0.10 UNK‑Non +0.30 TMO‑Non +78.40 TMO‑Non
GRP056‑1 +0.60 +6.30 5.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non +19.90 UNK‑Non
COL098‑1 +0.10 +0.00 0.10 0.20 1.30 0.20 15.70 0.10 UNK‑Non +0.30 TMO‑Non TMO‑Non TMO‑Non
LCL250‑1 +10.80 +6.00 64.20 TMO‑Non TMO‑Non TMO‑Non 153.30 1.10 +44.60 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL773‑1* +0.00 +0.10 0.00 0.40 1.40 27.20 8.10 2.60 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN796‑1 +8.80 +1.50 0.10 1.10 2.10 132.50 0.60 0.40 UNK‑Non TMO‑Non +0.70 +33.60 TMO‑Non
GRP748‑3 +0.90 +26.30 0.00 TMO‑Non 248.50 TMO‑Non TMO‑Non TMO‑Non +5.70 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HEN006‑2 +1.60 +0.00 0.00 TMO‑Non 39.90 233.00 TMO‑Non 38.50 UNK‑Non +0.30 +11.90 TMO‑Non TMO‑Non
SYN647‑1 +0.00 +0.20 0.10 0.10 0.20 TMO‑Non 0.80 23.20 TMO‑Non +1.40 TMO‑Non TMO‑Non TMO‑Non
SWV275‑2 +0.90 +0.40 0.90 32.10 TMO‑Non 0.10 TMO‑Non TMO‑Non +13.70 GUP‑Non +38.60 TMO‑Non TMO‑Non
SYN687‑1 +0.80 +0.10 2.70 0.10 145.40 TMO‑Non 0.40 TMO‑Non UNK‑Non TMO‑Non +28.50 +0.20 TMO‑Non
GRP062‑1 +6.20 +12.60 0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
ROB016‑1 +0.10 +0.10 0.00 TMO‑Non TMO‑Non TMO‑Non 3.10 TMO‑Non +0.60 +0.30 TMO‑Non TMO‑Non TMO‑Non
PUZ040‑1 +8.00 +11.30 0.00 2.40 148.30 TMO‑Non 22.10 0.60 +30.60 +0.40 TMO‑Non TMO‑Non TMO‑Non
SET833‑1 +0.10 +0.10 0.20 0.20 1.10 0.40 2.30 0.40 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN701‑1 +0.10 +0.20 0.10 0.30 0.40 TMO‑Non 1.80 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
REL046‑1 +0.30 +0.30 0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +0.30 TMO‑Non +1.80 TMO‑Non
HEN010‑1 +2.50 +0.10 4.30 TMO‑Non TMO‑Non 273.80 TMO‑Non TMO‑Non +44.80 +0.40 +17.60 TMO‑Non TMO‑Non
PUZ039‑1 +9.10 +11.60 3.90 0.30 12.50 TMO‑Non 2.80 2.30 UNK‑Non +0.90 TMO‑Non +95.70 TMO‑Non
SET832‑1 +0.10 +0.10 0.20 0.20 1.10 0.40 2.50 0.40 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
FLD067‑1 +2.30 +0.00 0.00 0.00 17.60 14.00 0.20 TMO‑Non UNK‑Non TMO‑Non +0.00 TMO‑Non TMO‑Non
LCL109‑3 +0.80 +6.10 4.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non +11.10 TMO‑Non +46.50 TMO‑Non
LAT005‑6 TMO‑Non TMO‑Non 52.40 TMO‑Non 10.80 0.90 TMO‑Non 0.40 UNK‑Non +0.90 +91.40 TMO‑Non TMO‑Non
SYN601‑1 +0.00 +0.00 TMO‑Non 0.10 0.10 7.00 0.90 TMO‑Non UNK‑Non GUP‑Non +1.70 TMO‑Non TMO‑Non
SWV257‑1 +0.10 +0.20 0.90 0.70 7.40 6.40 17.50 3.20 +253.60 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV248‑2 +0.00 +0.00 0.00 0.20 0.70 TMO‑Non 0.20 TMO‑Non +0.20 TMO‑Non +125.40 TMO‑Non TMO‑Non
GRP082‑1 +0.40 +2.80 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +60.00 GUP‑Non TMO‑Non +181.50 UNK‑Non
PUZ016‑1 +0.50 +28.50 0.00 TMO‑Non 8.20 0.10 TMO‑Non 0.50 UNK‑Non +0.30 TMO‑Non +0.40 TMO‑Non
RNG001‑5 +2.60 +0.50 11.60 13.80 TMO‑Non 0.30 TMO‑Non TMO‑Non UNK‑Non +1.00 +0.00 TMO‑Non TMO‑Non
LCL795‑1* +0.00 +50.40 0.10 0.90 1.60 3.00 TMO‑Non TMO‑Non +234.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET834‑2 +0.30 +1.60 0.00 10.20 TMO‑Non TMO‑Non 0.20 TMO‑Non UNK‑Non GUP‑Non +3.60 +0.10 TMO‑Non
SWC424‑1.002.002* +154.40 +91.40 TMO‑Non TMO‑Non 0.10 TMO‑Non TMO‑Non 9.70 TMO‑Non TMO‑Non +0.20 TMO‑Non TMO‑Non
LCL201‑3 +0.60 +0.00 4.70 146.60 TMO‑Non 2.10 TMO‑Non 80.00 +35.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL191‑1 +16.60 +11.90 115.90 TMO‑Non TMO‑Non 79.20 TMO‑Non 1.90 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL851‑1* +0.00 +0.10 0.10 6.70 1.40 6.50 TMO‑Non 3.20 +215.90 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
FLD060‑1 +3.10 +0.20 4.10 0.10 TMO‑Non 0.50 1.80 TMO‑Non UNK‑Non TMO‑Non +4.80 TMO‑Non TMO‑Non
GRP073‑1 +0.20 +10.10 0.10 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
LCL296‑3 +0.20 +0.00 0.00 31.90 TMO‑Non 0.10 TMO‑Non 14.90 +1.00 +0.30 TMO‑Non +1.20 TMO‑Non
LCL103‑1 +7.60 +19.40 2.00 TMO‑Non TMO‑Non TMO‑Non 72.00 223.70 UNK‑Non +3.10 TMO‑Non TMO‑Non TMO‑Non
LCL806‑1* +0.10 +0.00 0.20 0.40 5.60 3.80 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN784‑1 +8.80 +5.00 0.10 7.60 3.40 TMO‑Non 0.70 0.30 UNK‑Non TMO‑Non +3.80 TMO‑Non TMO‑Non
GRP342‑1 +0.10 +44.00 0.30 TMO‑Non TMO‑Non 2.30 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
HEN011‑3 +1.70 +0.60 0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +24.50 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL127‑1 TMO‑Non +16.70 21.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 206.90 UNK‑Non +7.10 TMO‑Non TMO‑Non TMO‑Non
SWV955‑1* +0.00 +0.00 0.10 30.90 TMO‑Non 6.80 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN036‑1 +4.60 +0.00 3.70 0.10 207.50 8.20 0.30 2.20 UNK‑Non TMO‑Non TMO‑Non +25.20 TMO‑Non
GRP323‑1 +0.10 +6.30 0.20 TMO‑Non TMO‑Non 1.30 7.60 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL003‑4 +0.10 +12.10 0.20 TMO‑Non 104.30 TMO‑Non TMO‑Non TMO‑Non +50.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
PLA010‑1 +1.00 +0.00 0.00 12.10 TMO‑Non TMO‑Non 1.70 TMO‑Non +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL834‑1* +10.30 +58.00 6.30 15.50 20.50 2.60 TMO‑Non 1.00 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN658‑1 +0.00 +81.90 3.30 1.00 TMO‑Non TMO‑Non 23.70 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV547‑1.010 +0.20 +0.50 0.10 TMO‑Non 0.20 TMO‑Non TMO‑Non TMO‑Non +291.30 +0.30 TMO‑Non +1.00 TMO‑Non
GRP617‑1 TMO‑Non +1.90 207.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +1.20 +2.80 TMO‑Non TMO‑Non
PLA004‑2 +0.80 +0.00 0.00 10.20 TMO‑Non TMO‑Non 0.30 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL816‑1* +0.90 +0.00 76.80 5.10 1.00 0.80 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN611‑1 +0.00 +4.30 152.40 0.10 87.00 TMO‑Non 1.60 TMO‑Non UNK‑Non GUP‑Non +1.90 TMO‑Non TMO‑Non
SWV568‑1.050 +4.40 +6.50 0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +14.10 TMO‑Non
LDA004‑1 +19.50 +69.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL222‑1 +81.70 +15.80 TMO‑Non TMO‑Non TMO‑Non 201.00 TMO‑Non 15.10 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL793‑1* +0.00 +0.10 0.00 0.40 1.40 24.80 6.30 2.60 +189.40 GUP‑Non +176.60 +138.10 TMO‑Non
SET012‑2 +0.10 +0.00 1.90 10.40 0.50 22.50 4.20 18.50 UNK‑Non +79.00 +1.00 +0.20 TMO‑Non
SWV505‑1.030 +0.90 TMO‑Non 0.20 TMO‑Non TMO‑Non 8.70 TMO‑Non TMO‑Non +45.50 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
COL042‑4 +72.60 +14.50 2.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +60.00 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
RNG004‑3 +83.80 +152.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 259.10 UNK‑Non +2.20 TMO‑Non TMO‑Non TMO‑Non
LCL818‑1* +3.50 +0.40 0.20 0.30 0.80 0.60 TMO‑Non TMO‑Non +153.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ANA002‑2 +0.10 +72.00 90.20 1.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +3.50 TMO‑Non TMO‑Non
COL080‑2 +0.00 +0.00 7.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non +37.30 TMO‑Non
LAT005‑3 +181.70 +61.30 42.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL223‑1 +1.80 +1.00 TMO‑Non 121.70 TMO‑Non 35.30 TMO‑Non 12.80 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GRP040‑3 +1.80 +0.10 0.00 TMO‑Non 250.00 TMO‑Non TMO‑Non 0.90 +7.40 +11.20 TMO‑Non TMO‑Non TMO‑Non
SYN353‑1 +8.70 +0.00 0.00 10.10 TMO‑Non TMO‑Non 0.20 TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GRP071‑1 +0.90 +19.20 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
COL003‑10 +76.00 +16.40 9.50 TMO‑Non 117.40 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
RNG001‑2 +13.10 TMO‑Non TMO‑Non 48.40 TMO‑Non 0.30 125.10 TMO‑Non UNK‑Non TMO‑Non +0.10 TMO‑Non TMO‑Non
LCL784‑1* +0.00 +50.10 0.00 TMO‑Non 0.80 UNK‑Non 160.60 TMO‑Non +56.40 +0.70 TMO‑Non +0.90 TMO‑Non
ANA004‑4 +0.90 +0.10 0.00 10.30 TMO‑Non TMO‑Non 0.20 TMO‑Non +0.70 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV567‑1.015 +15.20 +36.20 19.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +58.80 TMO‑Non
LCL152‑1 +11.40 +0.20 285.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA014‑2 +0.80 +0.00 0.00 10.20 TMO‑Non TMO‑Non 0.30 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL805‑1* +0.00 +0.10 0.10 174.40 2.30 TMO‑Non TMO‑Non TMO‑Non +180.20 GUP‑Non TMO‑Non +2.30 TMO‑Non
FLD009‑1 +1.20 +0.40 0.10 0.60 TMO‑Non TMO‑Non 40.40 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP228‑1 +0.10 +93.60 10.60 TMO‑Non TMO‑Non 5.70 66.10 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT001‑1 +179.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non +123.50 TMO‑Non TMO‑Non
PLA011‑1 +1.00 +0.00 0.00 10.20 TMO‑Non TMO‑Non 0.30 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV346‑1 +0.10 +0.50 176.90 1.40 7.80 9.60 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN802‑1 +177.20 +66.10 6.10 39.20 24.40 TMO‑Non 41.00 84.50 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV527‑1.040 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 23.00 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
HWV003‑1 TMO‑Non +83.60 29.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL368‑1 +90.40 +0.40 4.00 165.80 TMO‑Non 15.50 128.90 79.70 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET027‑3 +0.40 +0.00 0.10 0.80 5.30 0.70 TMO‑Non 19.90 +60.10 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET015‑2 +0.00 +0.10 0.30 40.00 0.60 17.20 1.80 205.80 +8.00 TMO‑Non +12.40 TMO‑Non TMO‑Non
LAT200‑1 TMO‑Non +38.90 22.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL327‑3 +13.10 +1.90 1.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL444‑2 +28.80 +17.80 22.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 92.10 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV348‑2 +0.00 +0.00 0.00 35.00 2.70 0.50 130.30 TMO‑Non UNK‑Non +1.00 TMO‑Non TMO‑Non TMO‑Non
FLD012‑3 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.70 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
REL008‑4 +68.90 TMO‑Non 2.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ROB018‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL227‑1 +41.20 +0.10 0.60 13.30 TMO‑Non TMO‑Non 15.90 TMO‑Non +15.40 GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV280‑1 +0.10 +0.20 2.00 83.50 TMO‑Non 7.00 TMO‑Non 3.80 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
FLD054‑4 TMO‑Non +27.90 TMO‑Non 72.80 20.60 TMO‑Non TMO‑Non 71.70 UNK‑Non +245.50 +232.70 TMO‑Non TMO‑Non
SWV527‑1.030 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 11.40 TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL281‑3 +20.80 +4.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ANA003‑2 +1.90 +63.60 0.10 TMO‑Non TMO‑Non TMO‑Non 1.50 TMO‑Non UNK‑Non GUP‑Non +80.90 TMO‑Non TMO‑Non
ALG428‑1* +0.80 +72.20 0.40 0.50 TMO‑Non 5.90 32.20 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
FLD005‑1 +7.50 +0.70 0.10 31.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT030‑1 +3.10 +2.40 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +41.80 GUP‑Non TMO‑Non TMO‑Non UNK‑Non
COL006‑4 TMO‑Non +30.20 TMO‑Non TMO‑Non 76.30 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non
PUZ050‑1 +172.10 +115.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 38.50 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET851‑1 +0.10 +0.10 0.20 TMO‑Non 1.90 TMO‑Non 51.60 TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SYN314‑1.002.001 +63.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV501‑1.030 +12.10 TMO‑Non 6.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GEO006‑1 +0.00 +0.10 0.00 56.40 0.70 TMO‑Non TMO‑Non TMO‑Non +1.70 +3.90 TMO‑Non TMO‑Non TMO‑Non
COL076‑1 +6.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET837‑2 +2.10 +2.60 0.10 1.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non +16.30 TMO‑Non TMO‑Non
SWV523‑1.030 +11.10 TMO‑Non 26.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL787‑1* +9.70 +56.20 0.60 0.20 58.50 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
RNG029‑3 +35.60 +0.90 154.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non +233.60 TMO‑Non
SWV939‑1* +0.00 +0.10 0.20 TMO‑Non 3.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ALG003‑1 +71.40 +9.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LCL759‑1* +0.00 +0.10 0.20 2.20 TMO‑Non 2.10 TMO‑Non 2.20 UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWC424‑1.005.003* TMO‑Non TMO‑Non TMO‑Non TMO‑Non 10.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ANA022‑2 +11.00 +0.00 1.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV565‑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 TMO‑Non
LCL776‑1* +0.20 +0.20 1.90 TMO‑Non 19.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GRP084‑1 TMO‑Non +32.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET822‑1 +0.10 +0.10 0.30 1.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
GRP197‑1 +205.90 +14.60 TMO‑Non TMO‑Non TMO‑Non 50.50 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV253‑1 +0.10 +0.10 1.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non +6.60 TMO‑Non
GRP198‑1 +207.80 +16.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET860‑2 +0.90 +8.50 7.10 0.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LAT036‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 0.60 TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL794‑1* +1.50 +55.10 0.50 TMO‑Non TMO‑Non 1.30 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV745‑1* +2.20 +47.20 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET031‑4 +0.40 +45.80 0.60 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL093‑2 +9.50 TMO‑Non 9.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET854‑2 +9.40 +7.60 23.40 6.30 69.40 TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SET825‑1 +0.10 +0.10 0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL431‑1 +3.10 +0.20 1.50 TMO‑Non 86.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL746‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SCT022‑1* +10.10 +3.30 210.70 TMO‑Non TMO‑Non 54.50 TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
NUM007‑1 TMO‑Non +219.60 0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV358‑1 +0.70 +13.90 2.40 66.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET016‑3 +0.40 +72.40 0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV344‑1 +0.40 +10.80 2.50 10.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV318‑1 +0.40 +0.50 12.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL790‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL824‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SCT066‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non 25.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SCT059‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL751‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL782‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL766‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL769‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
LCL819‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV989‑1* TMO‑Non +31.30 55.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV683‑1* TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SET837‑1 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV340‑1 +11.20 TMO‑Non 2.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
ANA003‑3 +7.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL088‑2 +7.50 +70.10 2.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
SWV348‑1 TMO‑Non TMO‑Non 82.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non
Solved 170/200 168/200 161/200 92/200 77/200 69/200 66/200 58/200 52/200 42/200 41/200 39/200 1/200
Av. CPU Time 15.05 15.69 14.87 16.40 26.23 20.79 19.78 37.99 54.89 11.21 30.79 27.37 26.40
Solutions 170/200 168/200 0/200 0/200 0/200 0/200 0/200 0/200 52/200 42/200 41/200 39/200 1/200
μEfficiency 546.92 497.75 567.96 273.16 196.02 172.03 181.72 136.73 75.78 158.59 90.54 84.15 0.19
SOTAC 0.22 0.21 0.20 0.15 0.19 0.17 0.14 0.14 0.15 0.14 0.15 0.15 0.09
New Solved 24/37 25/37 24/37 17/37 20/37 16/37 8/37 9/37 9/37 2/37 2/37 5/37 0/37
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for EPR

EPR iProver
 0.8
iProver
 0.7
Darwin
 1.4.5
iProver‑Eq
 0.6
E‑Darwin
 1.3
Paradox
 4.0
Equinox
 5.0
E‑KRHyper
 1.1.4
Geo
 2010C
E
 1.2pre
Vampire
 0.6
Metis
 2.2
Ayane
 2
SYN435‑1 +0.10 0.10 +0.00 1.00 +0.20 +0.20 4.00 0.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV424‑1.450 34.90 48.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +164.00 TMO‑Non TMO‑Non
SYN464‑1 +0.20 0.10 +0.10 1.40 +9.40 +0.20 4.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV424‑1.350 12.10 29.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +156.40 TMO‑Non TMO‑Non
GRP124‑1.005 +0.40 TMO‑Non +0.00 47.20 +0.20 +0.00 2.90 0.10 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV418‑1.300 17.70 15.80 49.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +72.30 TMO‑Non TMO‑Non
GRP124‑8.005 +0.40 0.50 +0.10 6.00 +0.30 +0.10 5.70 0.10 +1.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN846‑1 15.20 TMO‑Non 2.00 3.40 TMO‑Non 25.20 TMO‑Non TMO‑Non TMO‑Non 0.70 +1.00 +28.60 TMO‑Non
GRP124‑3.005 +0.50 0.90 +0.10 50.10 +0.30 +0.10 5.30 0.10 +0.70 55.70 TMO‑Non TMO‑Non TMO‑Non
SYN862‑1 17.90 TMO‑Non 24.40 10.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.60 +5.20 +83.30 TMO‑Non
GRP123‑2.005 +0.20 0.40 +0.00 15.30 +0.20 +0.00 3.30 0.20 +1.60 29.90 TMO‑Non TMO‑Non TMO‑Non
SYN460‑1 0.20 0.10 0.20 0.60 4.60 40.90 6.10 TMO‑Non TMO‑Non TMO‑Non +40.20 TMO‑Non TMO‑Non
SYN854‑1 28.10 TMO‑Non +42.40 43.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 9.00 UNK‑Non +260.20 TMO‑Non
SYN859‑1 12.80 TMO‑Non 1.60 3.20 TMO‑Non 25.00 TMO‑Non TMO‑Non TMO‑Non 0.70 +0.90 +23.50 TMO‑Non
SYN852‑1 28.10 TMO‑Non +173.90 42.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 9.10 UNK‑Non +270.10 TMO‑Non
SWV424‑1.400 14.30 21.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non +158.80 TMO‑Non TMO‑Non
SYN426‑1 +0.80 1.20 +0.10 19.80 +1.00 +0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN457‑1 0.20 0.10 0.20 0.70 TMO‑Non TMO‑Non 9.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP126‑1.005 +0.20 0.40 +0.00 27.90 +0.10 +0.00 1.90 0.00 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.060 10.20 2.50 2.20 265.70 7.70 TMO‑Non 181.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP134‑1.005 +0.40 0.30 +0.00 180.00 +0.10 +0.00 1.30 0.10 +2.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.005 1.10 0.90 60.00 39.60 TMO‑Non 1.10 53.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP127‑4.005 +0.60 0.50 +0.00 138.00 +0.20 +0.00 2.40 0.00 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ037‑3 7.20 TMO‑Non 12.60 4.50 4.70 GUP‑Non 33.10 88.40 TMO‑Non 26.60 +5.80 TMO‑Non TMO‑Non
SYN855‑1 27.90 149.30 +16.50 42.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 8.40 UNK‑Non +245.60 TMO‑Non
SWV423‑1.020 27.40 22.10 1.80 TMO‑Non 7.60 8.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP123‑6.005 +0.40 0.50 +0.10 4.70 +0.30 +0.00 4.10 0.50 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.100 15.80 5.20 17.00 225.00 92.40 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN544‑1 +0.20 0.20 +0.10 2.80 +0.60 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PLA031‑1.004 74.20 232.00 78.30 TMO‑Non TMO‑Non GUP‑Non TMO‑Non 19.50 TMO‑Non 1.40 +21.70 TMO‑Non TMO‑Non
GRP130‑1.005 +0.30 0.20 +0.00 28.60 +0.30 +0.00 1.70 0.10 +2.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.065 12.30 2.30 2.80 TMO‑Non 9.00 TMO‑Non 172.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN424‑1 +0.90 2.70 +0.10 7.40 +0.70 +0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.010 6.70 3.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non 241.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN438‑1 +0.10 0.10 +0.00 0.60 +0.60 +0.10 1.80 2.50 +9.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.105 19.10 7.40 10.10 169.80 27.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP126‑3.005 +0.20 0.30 +0.00 265.00 +0.20 +0.10 3.40 0.00 +3.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.060 11.70 2.10 3.40 TMO‑Non 13.20 TMO‑Non 199.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN420‑1 +0.30 0.50 +0.10 2.70 +1.20 +0.70 34.50 TMO‑Non TMO‑Non 173.90 TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.105 18.90 7.20 19.10 TMO‑Non 110.50 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP129‑4.005 +0.60 0.50 +0.00 TMO‑Non +0.50 +0.00 2.00 0.00 +0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV423‑1.010 5.40 5.60 0.40 194.30 2.40 4.20 UNK‑Non TMO‑Non TMO‑Non TMO‑Non +189.90 TMO‑Non TMO‑Non
GRP126‑4.005 +0.60 0.70 +0.00 129.80 +0.20 +0.00 2.20 0.00 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV423‑1.050 131.30 144.90 19.30 TMO‑Non 49.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN307‑1 +0.00 0.00 +0.00 0.50 +0.00 +0.00 0.00 0.00 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.200 24.80 17.50 142.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP124‑9.005 +0.40 0.30 +0.00 9.30 +0.20 +0.00 4.90 0.20 +6.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV418‑1.580 55.20 167.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non +168.80 TMO‑Non TMO‑Non
SYN853‑1 28.00 TMO‑Non +23.50 41.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 8.90 UNK‑Non +270.10 TMO‑Non
SWV421‑1.205 60.90 15.20 170.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN814‑1 22.10 TMO‑Non +2.90 5.00 TMO‑Non +81.80 TMO‑Non TMO‑Non TMO‑Non 1.40 TMO‑Non TMO‑Non TMO‑Non
SWV419‑1.020 25.60 18.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP132‑2.005 +1.10 1.00 +0.10 12.50 +0.40 +0.00 3.50 0.30 +22.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.035 44.30 54.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP127‑1.005 +0.20 0.20 +0.00 9.60 +0.10 +0.00 1.70 0.00 +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.305 71.10 28.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP124‑6.005 +0.40 0.50 +0.00 5.40 +0.20 +0.00 4.30 0.10 +0.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.505 298.40 98.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MGT066‑1 +0.00 0.00 +0.00 1.20 +0.00 +0.00 0.00 0.00 +0.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.040 47.50 46.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP132‑1.005 +1.20 2.30 +0.00 145.30 +0.40 +0.00 10.50 0.10 +5.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV419‑1.035 61.30 61.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN514‑1 +0.20 0.20 +0.10 52.50 +0.30 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.300 65.70 30.00 249.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP126‑2.005 +0.20 0.40 +0.00 24.10 +0.10 +0.00 2.00 0.10 +0.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.020 49.00 14.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
PUZ018‑2 +0.10 0.10 +0.00 0.40 +0.90 +0.00 0.30 TMO‑Non +4.60 TMO‑Non UNK‑Non TMO‑Non TMO‑Non
SWV419‑1.045 72.70 154.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP129‑1.005 +0.40 0.30 +0.00 73.00 +0.30 +0.00 1.50 0.10 +1.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.505 70.50 140.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN863‑1 16.60 TMO‑Non +6.10 13.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 2.50 UNK‑Non +81.40 TMO‑Non
SWV420‑1.030 29.50 27.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN456‑1 +0.10 0.10 +0.10 0.60 +11.30 +0.10 2.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV419‑1.050 82.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN543‑1 +0.30 0.40 +0.10 2.50 TMO‑Non +0.20 10.20 44.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.360 104.70 61.20 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN437‑1 +0.20 0.10 +0.10 0.80 +5.20 +0.20 4.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV420‑1.050 59.80 106.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP135‑1.005 +0.30 0.30 +0.10 52.00 +3.00 +0.00 2.00 0.50 +3.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.305 57.10 23.60 246.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN821‑1 +6.90 TMO‑Non +4.50 14.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non
MSC015‑1.020 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non 5.10 UNK‑Non 196.80 TMO‑Non TMO‑Non +141.40 TMO‑Non TMO‑Non
SYN520‑1 +1.90 2.00 +0.20 90.10 +3.30 +0.70 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
MSC015‑1.022 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non 32.20 UNK‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN463‑1 +0.10 0.10 +0.10 0.60 +0.80 +0.10 2.40 140.80 TMO‑Non 7.00 TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.365 202.00 50.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP129‑2.005 +0.20 0.30 +0.00 40.80 +0.20 +0.00 1.70 0.30 +1.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.460 36.90 65.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN434‑1 +0.10 0.10 +0.00 0.60 +0.20 +0.20 7.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV419‑1.040 76.70 110.10 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN441‑1 +0.20 0.20 +0.10 1.30 +0.30 +0.30 9.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.405 152.30 47.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN542‑1 +0.50 0.20 +0.00 1.50 +0.30 +0.20 14.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV419‑1.030 44.00 48.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN822‑1 51.10 TMO‑Non +12.70 23.00 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV421‑1.405 TMO‑Non 79.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN453‑1 +0.20 0.20 +0.10 0.80 +44.20 +0.30 7.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV422‑1.500 TMO‑Non 83.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SYN519‑1 +27.00 6.20 +0.50 TMO‑Non +16.80 +0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
SWV418‑1.900 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
Solved 95/100 84/100 72/100 59/100 52/100 51/100 44/100 30/100 25/100 15/100 13/100 8/100 0/100
Av. CPU Time 26.43 27.14 19.41 44.01 8.35 4.53 24.28 16.54 2.76 22.52 86.65 157.85 -
Solutions 43/100 0/100 50/100 0/100 41/100 43/100 0/100 0/100 25/100 0/100 13/100 8/100 0/100
μEfficiency 454.48 443.61 491.82 179.42 363.11 436.06 144.48 244.97 168.83 49.03 24.87 1.17 -
SOTAC 0.24 0.26 0.16 0.15 0.14 0.15 0.13 0.12 0.11 0.16 0.23 0.18 -
New Solved 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0 0/0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for UEQ

UEQ Waldmeister
 710
Waldmeister
 C09a
Vampire
 0.6
E
 1.2pre
Metis
 2.2
Otter
 3.3
omkbTT
 1.0
Equinox
 5.0
Ayane
 2
iProver‑Eq
 0.6
iProver
 0.8
Geo
 2010C
BOO072‑1 +0.30 +0.30 +0.20 0.10 +18.60 +0.80 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL009‑1 +0.30 +0.30 +0.10 0.30 TMO‑Non +0.30 +17.10 TMO‑Non +0.50 TMO‑Non 13.50 TMO‑Non
GRP410‑1 +0.60 +0.60 +4.80 3.00 TMO‑Non GUP‑Non TMO‑Non TMO‑Non +236.80 TMO‑Non TMO‑Non TMO‑Non
GRP453‑1 +0.30 +0.30 +0.20 0.10 +50.80 GUP‑Non +65.90 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP403‑1 +0.30 +0.30 +0.50 2.10 TMO‑Non +0.50 TMO‑Non UNK‑Non +3.60 TMO‑Non TMO‑Non TMO‑Non
BOO014‑4 +0.40 +0.40 +6.20 0.20 +11.40 +0.50 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
ROB005‑1 +0.60 +0.60 +112.10 0.90 +32.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL004‑3 +0.30 +0.30 +0.00 0.00 +0.10 +0.40 +19.90 0.40 UNK‑Non 0.20 TMO‑Non TMO‑Non
ALG236‑1 +0.30 +0.30 +2.00 0.40 TMO‑Non +0.50 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
COL003‑12 +0.30 +0.30 +0.60 0.00 TMO‑Non +0.40 TMO‑Non 5.60 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
LAT013‑1 +0.90 +0.90 +14.30 0.90 +224.50 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non +48.60
BOO026‑1 +0.30 +0.30 +1.20 0.00 TMO‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP421‑1 +0.30 +0.30 +0.40 0.10 +225.20 +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP426‑1 +0.30 +0.30 +89.70 13.40 +176.70 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
ALG005‑1 +0.30 +0.30 +0.20 14.50 +14.90 +0.40 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
BOO007‑4 +0.30 +0.30 +12.90 0.40 +3.40 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
BOO025‑1 +0.30 +0.30 +0.00 0.00 +2.10 GUP‑Non +52.00 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
COL003‑13 +0.30 +0.30 +0.60 0.00 TMO‑Non +0.40 TMO‑Non 3.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP472‑1 +0.40 +0.30 +8.50 0.10 +147.00 +1.00 +116.80 TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRP411‑1 +0.50 +0.50 +5.30 3.10 +51.40 GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
LAT006‑1 +0.30 +0.30 +1.50 0.10 TMO‑Non GUP‑Non TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non +27.50
GRP175‑4 +0.30 +0.30 +0.10 0.10 +1.20 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL003‑14 +0.30 +0.30 +0.50 0.00 TMO‑Non +0.40 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
RNG021‑7 +0.30 +0.30 +8.80 0.00 TMO‑Non +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
COL060‑1 +0.30 +0.30 +0.10 0.00 +0.90 GUP‑Non +54.00 TMO‑Non UNK‑Non 1.10 TMO‑Non TMO‑Non
GRP443‑1 +0.30 +0.30 +2.30 0.70 TMO‑Non +0.90 TMO‑Non TMO‑Non +52.30 TMO‑Non TMO‑Non TMO‑Non
GRP167‑2 +0.60 +0.60 +1.80 1.30 +4.80 GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP442‑1 +0.30 +0.30 +2.40 0.70 TMO‑Non GUP‑Non TMO‑Non TMO‑Non +64.80 TMO‑Non TMO‑Non TMO‑Non
GRP437‑1 +0.30 +0.30 +4.60 0.20 TMO‑Non +0.50 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
GRP699‑1 +0.30 +0.40 +0.30 0.30 +0.90 +0.30 TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP503‑1 +0.30 +0.40 +3.00 1.50 TMO‑Non +0.50 TMO‑Non TMO‑Non UNK‑Non TMO‑Non TMO‑Non TMO‑Non
REL018‑1 +0.30 +0.30 +0.30 0.10 +2.90 GUP‑Non GUP‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non TMO‑Non
GRP479‑1 +0.30 +0.30 +1.90 0.00 TMO‑Non GUP‑Non +26.50 TMO‑Non UNK‑Non