Results for instance k_d4_n-21
QBFEVAL'05



Solver Time Result
QUANTOR9.96FAIL
QMRes12.25SAT
skizzo_v0.5199.45SAT
skizzo_v0.4520.84FAIL
QChaffLearn898.38FAIL
GRL900.23FAIL
yQuaffle900.38FAIL
openQbf900.93FAIL
sSolve900.99FAIL
QbflHR901FAIL
semprop901FAIL
qbfbdd901FAIL
WalkQSAT901FAIL