Results for instance ev-pr-8x8-7-7-0-1-2-lg
QBFEVAL'05



Solver Time Result
yQuaffle3.68UNSAT
skizzo_v0.54.41UNSAT
skizzo_v0.44.48UNSAT
sSolve11.02UNSAT
semprop14.11UNSAT
QChaffLearn26.76UNSAT
GRL34.66UNSAT
WalkQSAT122.58UNSAT
QbflHR161.99UNSAT
QUANTOR260.89FAIL
openQbf275.77UNSAT
qbfbdd899.33FAIL
QMRes900.59FAIL