Results for instance cf_5_5x7_d_ <br> QBFEVAL'04

qbflib.org

Results for instance cf_5_5x7_d_
QBFEVAL'04

Solver	Time	Result
QBFL-JW	0.07	UNSAT
QBFL-BS	0.07	UNSAT
QUANTOR	0.11	UNSAT
QSAT	0.13	UNSAT
sSolve	0.18	UNSAT
semprop	0.19	UNSAT
GRL	0.22	UNSAT
CLearn	0.22	UNSAT
CSBJ	0.22	UNSAT
WalkQSAT	0.26	UNSAT
yQuaffle	0.32	UNSAT
orSAT	0.45	UNSAT
openQbf	0.76	UNSAT
QUBE-BJ	1.07	UNSAT
QUBE-LRN	1.1	UNSAT
QMRes	901.01	FAIL