Results for instance 3qbf-5cnf-20var-160cl.0
QBFEVAL'05



Solver Time Result
WalkQSAT0SAT
QbflHR0SAT
QChaffLearn0UNSAT
GRL0.01SAT
sSolve0.01SAT
semprop0.01SAT
yQuaffle0.03SAT
openQbf0.22SAT
skizzo_v0.429.85SAT
skizzo_v0.5120.88FAIL
QUANTOR376.7FAIL
qbfbdd900.82FAIL
QMRes900.83FAIL