Results for instance k_grz_n-3 <br> QBFEVAL'04

qbflib.org

Results for instance k_grz_n-3
QBFEVAL'04

Solver	Time	Result
QUANTOR	0.15	SAT
QMRes	0.24	SAT
semprop	0.29	SAT
sSolve	0.45	SAT
CLearn	1.88	SAT
QUBE-LRN	2.71	SAT
QUBE-BJ	2.88	SAT
WalkQSAT	5.41	SAT
GRL	16.78	SAT
yQuaffle	52.61	SAT
QSAT	54.44	SAT
CSBJ	255.88	SAT
orSAT	593.87	FAIL
QBFL-JW	901	FAIL
openQbf	901	FAIL
QBFL-BS	901.01	FAIL