Results for instance ncf_4_16_4_d.9
QBFEVAL'05



Solver Time Result
semprop0.06SAT
QUANTOR0.18SAT
skizzo_v0.50.43SAT
skizzo_v0.40.5SAT
WalkQSAT1.56SAT
sSolve2.66SAT
QbflHR12.92SAT
QChaffLearn13.81UNSAT
openQbf101.21SAT
GRL185SAT
yQuaffle889.74FAIL
QMRes900.8FAIL
qbfbdd901.01FAIL