SugaR v5.4b 32-64
Additions
ClearRefutedCM+PvRefutationBonus+PvRefut ationPenalty (#386)
[You must be registered and logged in to see this link.]
MobilityArea3Simpl (#385)+MobilityArea3SimplRank
[You must be registered and logged in to see this link.]
Simplify IID depth formula
[You must be registered and logged in to see this link.]
Deletions
Decay history and cmh upon a new search
SRC
[You must be registered and logged in to see this link.]
Download
Additions
ClearRefutedCM+PvRefutationBonus+PvRefut ationPenalty (#386)
[You must be registered and logged in to see this link.]
MobilityArea3Simpl (#385)+MobilityArea3SimplRank
[You must be registered and logged in to see this link.]
Simplify IID depth formula
[You must be registered and logged in to see this link.]
Deletions
Decay history and cmh upon a new search
SRC
[You must be registered and logged in to see this link.]
Download