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



Solver Time Result
semprop0.03UNSAT
skizzo_v0.59.86UNSAT
skizzo_v0.49.9UNSAT
QUANTOR13.07FAIL
sSolve34.53UNSAT
yQuaffle897.75FAIL
QChaffLearn898.85FAIL
QMRes900.38FAIL
GRL900.85FAIL
openQbf900.91FAIL
WalkQSAT900.98FAIL
qbfbdd900.99FAIL
QbflHR901.01FAIL