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

qbflib.org

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

Solver	Time	Result
sSolve	0.01	UNSAT
CLearn	0.02	UNSAT
semprop	0.02	UNSAT
QSAT	0.03	UNSAT
GRL	0.1	UNSAT
CSBJ	0.3	UNSAT
WalkQSAT	0.32	UNSAT
QUBE-LRN	0.98	UNSAT
QUBE-BJ	1.01	UNSAT
yQuaffle	1.24	UNSAT
QUANTOR	11.89	FAIL
openQbf	671.57	UNSAT
orSAT	901	FAIL
QBFL-JW	901.01	FAIL
QMRes	901.01	FAIL
QBFL-BS	901.01	FAIL