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

qbflib.org

Results for instance MB3qbf-5cnf-100var-1800cl.2
QBFEVAL'04

Solver	Time	Result
CSBJ	0.01	UNSAT
WalkQSAT	0.01	UNSAT
semprop	0.01	UNSAT
sSolve	0.01	UNSAT
CLearn	0.02	UNSAT
yQuaffle	0.02	UNSAT
orSAT	0.03	UNSAT
GRL	0.04	UNSAT
QBFL-JW	0.06	UNSAT
openQbf	0.27	UNSAT
QSAT	0.51	UNSAT
QUBE-BJ	0.98	UNSAT
QMRes	1.24	UNSAT
QUANTOR	7.27	UNSAT
QBFL-BS	332.24	UNSAT