Results for instance cf_3_9x5_d_ <br> QBFEVAL'04

qbflib.org

Results for instance cf_3_9x5_d_
QBFEVAL'04

Solver	Time	Result
QBFL-JW	0.01	FAIL
QUANTOR	0.3	UNSAT
QBFL-BS	0.31	UNSAT
QSAT	0.48	UNSAT
semprop	0.51	UNSAT
sSolve	0.56	UNSAT
WalkQSAT	0.61	FAIL
CSBJ	0.77	UNSAT
CLearn	0.77	UNSAT
GRL	0.86	UNSAT
orSAT	1.06	UNSAT
openQbf	1.22	UNSAT
yQuaffle	1.27	UNSAT
QUBE-LRN	3.76	FAIL
QUBE-BJ	4.91	FAIL
QMRes	901.01	FAIL