Results for instance cf_3_6x4_w_ <br> QBFEVAL'04

qbflib.org

Results for instance cf_3_6x4_w_
QBFEVAL'04

Solver	Time	Result
QBFL-BS	0.04	UNSAT
QUANTOR	0.05	UNSAT
QBFL-JW	0.06	UNSAT
QSAT	0.09	UNSAT
semprop	0.12	UNSAT
sSolve	0.13	UNSAT
CLearn	0.15	UNSAT
CSBJ	0.16	UNSAT
GRL	0.17	UNSAT
WalkQSAT	0.19	UNSAT
yQuaffle	0.24	UNSAT
openQbf	0.66	UNSAT
QUBE-BJ	1.04	UNSAT
QUBE-LRN	1.07	UNSAT
orSAT	901.01	FAIL
QMRes	901.01	FAIL