Results for instance 2qbf-5cnf-50var-800cl.2 <br> QBFEVAL'04

qbflib.org

Results for instance 2qbf-5cnf-50var-800cl.2
QBFEVAL'04

Solver	Time	Result
CLearn	0.01	UNSAT
QSAT	0.01	UNSAT
QBFL-JW	0.01	UNSAT
QBFL-BS	0.01	UNSAT
sSolve	0.01	UNSAT
CSBJ	0.02	UNSAT
semprop	0.02	UNSAT
GRL	0.04	UNSAT
yQuaffle	0.07	UNSAT
openQbf	0.28	UNSAT
QUBE-LRN	0.98	UNSAT
QUBE-BJ	0.98	UNSAT
QUANTOR	14.22	FAIL
QMRes	901.01	FAIL
orSAT	901.01	FAIL
WalkQSAT	901.01	FAIL