Results for instance test3_quant4
QBFEVAL'05



Solver Time Result
QUANTOR34.82FAIL
QMRes43.03UNSAT
QChaffLearn896.53FAIL
skizzo_v0.5900.3FAIL
yQuaffle900.59FAIL
skizzo_v0.4900.71FAIL
qbfbdd900.82FAIL
openQbf900.88FAIL
sSolve900.89FAIL
GRL900.89FAIL
semprop900.99FAIL
QbflHR901FAIL
WalkQSAT901FAIL