id	Summary	Status	Keywords	Owner	Type	Priority
232	checkSat	new	prover, CVC3, satisfiable		enhancement	minor