Sota solver results for family Impl <br> QBFEVAL'05

qbflib.org

Sota solver results for family Impl
QBFEVAL'05

Instance	Solver	Result	Time
impl02	WalkQSAT	SAT	0
impl04	sSolve	SAT	0
impl06	QbflHR	SAT	0
impl08	QUANTOR	SAT	0
impl10	GRL	SAT	0
impl12	semprop	SAT	0
impl14	QUANTOR	SAT	0
impl16	WalkQSAT	SAT	0
impl18	QChaffLearn	SAT	0
impl20	GRL	SAT	0

Contact | Organization | Links | Citing QBFLIB