Results for instance 4qbf-5cnf-20var-160cl.9
QBFEVAL'05



Solver Time Result
sSolve0.03SAT
GRL0.55SAT
WalkQSAT1.5SAT
QbflHR18.43UNSAT
QChaffLearn18.61SAT
QUANTOR24.42FAIL
semprop28.61SAT
yQuaffle899.98FAIL
QMRes900.6FAIL
skizzo_v0.4900.77FAIL
skizzo_v0.5900.87FAIL
openQbf900.94FAIL
qbfbdd900.97FAIL