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

qbflib.org

Results for instance k_lin_p-1
QBFEVAL'04

Solver	Time	Result
QSAT	0.01	UNSAT
QUANTOR	0.01	UNSAT
semprop	0.01	UNSAT
sSolve	0.01	UNSAT
yQuaffle	0.01	UNSAT
GRL	0.02	UNSAT
CLearn	0.02	UNSAT
QMRes	0.02	UNSAT
CSBJ	0.02	UNSAT
WalkQSAT	0.03	UNSAT
QBFL-BS	0.05	UNSAT
QBFL-JW	0.05	UNSAT
openQbf	0.88	UNSAT
QUBE-BJ	0.97	UNSAT
QUBE-LRN	0.97	UNSAT
orSAT	118.41	FAIL