1. Alexandru Moșoi
  2. gasca

Commits

Alexandru Moșoi  committed b5fd820

bce, luby: better defaults.

  • Participants
  • Parent commits 4ccb073
  • Branches default
  • Tags release.2011-09-19

Comments (0)

Files changed (2)

File lib/bce.go

View file
  • Ignore whitespace
 	"log"
 )
 
-var gbcelimit = flag.Int("gbcelimit", 512, "limits bce on frequent literals")
+var gbcelimit = flag.Int("gbcelimit", 256, "limits bce on frequent literals")
 
 type blockedClause struct {
 	literal Literal

File lib/luby.go

View file
  • Ignore whitespace
 
 import "flag"
 
-var glubyfactor = flag.Int("glubyfactor", 32, "how often to do the restarts")
+var glubyfactor = flag.Int("glubyfactor", 512, "how often to do the restarts")
 
 type LubyRestater struct {
 	count int64