Results for instance MB3qbf-5cnf-150var-600cl.1 <br> QBFEVAL'04

qbflib.org

Results for instance MB3qbf-5cnf-150var-600cl.1
QBFEVAL'04

Solver	Time	Result
CSBJ	0.01	UNSAT
QUANTOR	0.01	UNSAT
semprop	0.01	UNSAT
sSolve	0.01	UNSAT
QBFL-BS	0.02	FAIL
CLearn	0.02	UNSAT
WalkQSAT	0.02	UNSAT
GRL	0.03	UNSAT
QSAT	0.3	UNSAT
QMRes	0.6	UNSAT
QUBE-BJ	0.98	UNSAT
openQbf	853.41	UNSAT
orSAT	901	FAIL
QBFL-JW	901.01	FAIL
yQuaffle	901.01	FAIL