Results for instance lognBWLARGEB0 <br> QBFEVAL'04

qbflib.org

Results for instance lognBWLARGEB0
QBFEVAL'04

Solver	Time	Result
semprop	0	SAT
GRL	0.01	FAIL
QBFL-JW	0.01	UNSAT
QUANTOR	0.01	UNSAT
sSolve	0.01	UNSAT
WalkQSAT	0.01	FAIL
QSAT	0.02	UNSAT
QBFL-BS	0.02	UNSAT
orSAT	0.02	FAIL
CLearn	0.02	FAIL
yQuaffle	0.02	SAT
CSBJ	0.02	FAIL
QMRes	0.05	SAT
openQbf	0.28	UNSAT
QUBE-BJ	0.97	UNSAT
QUBE-LRN	0.98	UNSAT