Results for instance ncf_4_8_8_euad.10
QBFEVAL'05



Solver Time Result
QbflHR3.81UNSAT
sSolve4.82SAT
QUANTOR16.44FAIL
semprop21.42SAT
WalkQSAT101.01SAT
openQbf196.71SAT
QChaffLearn886.15FAIL
yQuaffle888.65FAIL
skizzo_v0.5898.31FAIL
skizzo_v0.4900.83FAIL
GRL900.92FAIL
QMRes900.95FAIL
qbfbdd900.98FAIL