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



Solver Time Result
QUANTOR9.19FAIL
sSolve10.51UNSAT
skizzo_v0.414.47UNSAT
skizzo_v0.515.19UNSAT
QMRes800.94FAIL
QChaffLearn888.32FAIL
yQuaffle897.76FAIL
openQbf900.88FAIL
WalkQSAT900.96FAIL
GRL900.97FAIL
qbfbdd900.99FAIL
semprop901FAIL
QbflHR901.01FAIL