Results for instance k_t4p_p-12
QBFEVAL'05



Solver Time Result
skizzo_v0.51.32UNSAT
QMRes2.53UNSAT
QUANTOR26.34FAIL
skizzo_v0.4179.62FAIL
QChaffLearn894.18FAIL
yQuaffle900.4FAIL
GRL900.54FAIL
openQbf900.96FAIL
sSolve900.97FAIL
qbfbdd900.99FAIL
QbflHR901FAIL
WalkQSAT901FAIL
semprop901.01FAIL