Results for instance k_dum_p-1 <br> QBFEVAL'04

qbflib.org

Results for instance k_dum_p-1
QBFEVAL'04

Solver	Time	Result
QUANTOR	0.01	UNSAT
semprop	0.02	UNSAT
sSolve	0.02	UNSAT
GRL	0.04	UNSAT
CLearn	0.04	UNSAT
yQuaffle	0.04	UNSAT
QMRes	0.04	UNSAT
QSAT	0.05	UNSAT
WalkQSAT	0.09	UNSAT
QUBE-LRN	0.98	UNSAT
QUBE-BJ	1.02	UNSAT
openQbf	1.84	UNSAT
CSBJ	2.16	UNSAT
QBFL-BS	9.32	UNSAT
QBFL-JW	18.89	UNSAT
orSAT	89.95	FAIL