id	Summary	Status	Keywords	Owner	Type	Priority
88	compile set of CVC3 problems we want solved	new	smt-lib, examples, non-linear		task	minor