Results for instance k_ph_n-16
QBFEVAL'05



Solver Time Result
QChaffLearn2.93UNSAT
QUANTOR34.52SAT
skizzo_v0.461.88SAT
skizzo_v0.575.82SAT
WalkQSAT158.98SAT
yQuaffle344.51SAT
QMRes900.67FAIL
GRL900.74FAIL
openQbf900.85FAIL
semprop900.94FAIL
qbfbdd900.98FAIL
sSolve900.98FAIL
QbflHR900.99FAIL