Results for instance cf_6_6x6_d_ <br> QBFEVAL'04

qbflib.org

Results for instance cf_6_6x6_d_
QBFEVAL'04

Solver	Time	Result
QBFL-BS	0.06	UNSAT
QBFL-JW	0.07	UNSAT
QUANTOR	0.1	UNSAT
QSAT	0.12	UNSAT
sSolve	0.18	UNSAT
CSBJ	0.2	UNSAT
CLearn	0.2	UNSAT
semprop	0.2	UNSAT
GRL	0.23	UNSAT
WalkQSAT	0.25	UNSAT
yQuaffle	0.3	UNSAT
orSAT	0.4	UNSAT
openQbf	0.78	UNSAT
QUBE-BJ	1.08	UNSAT
QUBE-LRN	1.08	UNSAT
QMRes	597.09	UNSAT