func printQuietResults(g *guess.Guess, cdb *db.DB) {
if g == nil {
fmt.Printf("UNSAT\n")
} else if !cdb.Verify(g) {
fmt.Printf("UNKNOWN\n")
} else {
fmt.Printf("SAT\n")
}
}
func printVerboseResults(g *guess.Guess, cdb *db.DB, a *dpll.Adapter) {
if g == nil {
fmt.Printf("s UNSAT\n")
} else if !cdb.Verify(g) {
fmt.Printf("c ERROR: Solution could not be verified\n")
fmt.Printf("s UNKNOWN\n")
fmt.Printf("%s\n", g)
} else {
fmt.Printf("c Solution verified\n")
if adaptive != "" {
fmt.Printf("c Adaptive solver changed strategies %d times.\n", a.NChanges())
}
fmt.Printf("s SAT\n")
fmt.Printf("s %s\n", g)
}
}