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

qbflib.org

Sota solver results for family Impl
QBFEVAL'04

Instance	Solver	Result	Time
impl02	semprop	SAT	0
impl06	QUANTOR	SAT	0
impl08	CLearn	SAT	0
impl12	WalkQSAT	SAT	0
impl14	WalkQSAT	SAT	0
impl16	QBFL-BS	SAT	0
impl18	semprop	SAT	0
impl20	QBFL-BS	SAT	0

Contact | Organization | Links | Citing QBFLIB