Results for instance 4qbf-5cnf-80var-640cl.0
QBFEVAL'05



Solver Time Result
sSolve3.4UNSAT
QUANTOR9.64FAIL
skizzo_v0.430.45UNSAT
skizzo_v0.5236.83UNSAT
QChaffLearn855.78FAIL
yQuaffle897.87FAIL
QMRes900.12FAIL
openQbf900.87FAIL
GRL900.96FAIL
WalkQSAT900.99FAIL
semprop901FAIL
QbflHR901FAIL
qbfbdd901FAIL