Home	•	Intro	•	Rules	•	Tools	•	Bench	•	Participants	•	Results	•	Org	•	SMT-LIB

AUFLIRA Results

Solver	Score	Time	Unsat	Sat	Unknown	Timeout	Wrong
CVC3	96	0	96	0	11	0	0
Yices 1.0	96	0	96	0	7	4	0

Remarks:

Column Time has the accumulated time (secs) used to solve the unsat and sat instances.
Column Unknown has the number of unknown answers produced.
Column Wrong has the number of wrong answers.

Home	•	Intro	•	Rules	•	Tools	•	Bench	•	Participants	•	Results	•	Org	•	SMT-LIB

Last modified: Fri 26 Jan 2007 11:32 CST