Results for instance MB2qbf-5cnf-150var-1800cl.2 <br> QBFEVAL'04

qbflib.org

Results for instance MB2qbf-5cnf-150var-1800cl.2
QBFEVAL'04

Solver	Time	Result
CSBJ	0.01	UNSAT
semprop	0.01	UNSAT
sSolve	0.01	UNSAT
CLearn	0.01	UNSAT
WalkQSAT	0.02	UNSAT
QSAT	0.03	UNSAT
QBFL-JW	0.03	UNSAT
QBFL-BS	0.03	UNSAT
yQuaffle	0.04	UNSAT
GRL	0.04	UNSAT
openQbf	0.49	UNSAT
QUBE-BJ	0.98	UNSAT
QUANTOR	10.66	FAIL
orSAT	901	FAIL
QMRes	901.02	FAIL