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



Solver Time Result
QUANTOR9.57FAIL
skizzo_v0.4287.74UNSAT
skizzo_v0.5552.91UNSAT
yQuaffle897.79FAIL
QChaffLearn899.36FAIL
QMRes900.15FAIL
openQbf900.88FAIL
GRL900.88FAIL
sSolve900.96FAIL
qbfbdd900.99FAIL
WalkQSAT900.99FAIL
QbflHR901FAIL
semprop901FAIL