Results for instance cf_7_8x8_w_ <br> QBFEVAL'04

qbflib.org

Results for instance cf_7_8x8_w_
QBFEVAL'04

Solver	Time	Result
QBFL-JW	0.13	UNSAT
QBFL-BS	0.13	UNSAT
QUANTOR	0.4	UNSAT
QSAT	0.45	UNSAT
sSolve	0.58	UNSAT
CSBJ	0.59	UNSAT
CLearn	0.59	UNSAT
semprop	0.73	UNSAT
GRL	0.75	UNSAT
WalkQSAT	0.79	UNSAT
yQuaffle	0.82	UNSAT
QUBE-BJ	1.3	UNSAT
QUBE-LRN	1.31	UNSAT
openQbf	1.32	UNSAT
QMRes	3.71	FAIL
orSAT	901	FAIL