Results for instance ncf_4_8_2_edau.4
QBFEVAL'05



Solver Time Result
yQuaffle0UNSAT
WalkQSAT0UNSAT
sSolve0UNSAT
semprop0UNSAT
QUANTOR0UNSAT
QChaffLearn0.01UNSAT
GRL0.01UNSAT
QbflHR0.02UNSAT
skizzo_v0.40.02UNSAT
skizzo_v0.50.03UNSAT
openQbf0.2UNSAT
QMRes3UNSAT
qbfbdd900.94FAIL