Results for instance cf_4_5x5_d_ <br> QBFEVAL'04

qbflib.org

Results for instance cf_4_5x5_d_
QBFEVAL'04

Solver	Time	Result
QBFL-JW	0.05	UNSAT
QBFL-BS	0.05	UNSAT
QUANTOR	0.07	UNSAT
QSAT	0.09	UNSAT
sSolve	0.11	UNSAT
semprop	0.13	UNSAT
CSBJ	0.15	UNSAT
CLearn	0.15	UNSAT
GRL	0.16	UNSAT
WalkQSAT	0.17	UNSAT
yQuaffle	0.23	UNSAT
orSAT	0.24	UNSAT
openQbf	0.63	UNSAT
QUBE-LRN	1.05	UNSAT
QUBE-BJ	1.06	UNSAT
QMRes	181.7	UNSAT