Results for instance 5qbf-5cnf-100var-600cl.2 <br> QBFEVAL'04

qbflib.org

Results for instance 5qbf-5cnf-100var-600cl.2
QBFEVAL'04

Solver	Time	Result
CSBJ	0.01	SAT
QBFL-BS	0.01	SAT
semprop	0.01	SAT
WalkQSAT	0.01	SAT
QBFL-JW	0.02	SAT
CLearn	0.02	SAT
GRL	0.02	SAT
QSAT	0.17	SAT
openQbf	0.34	SAT
QUBE-BJ	0.98	SAT
QUBE-LRN	0.98	SAT
QUANTOR	27.23	FAIL
sSolve	93.77	SAT
orSAT	901	FAIL
yQuaffle	901	FAIL
QMRes	901.02	FAIL