Results for instance test4_quant2
QBFEVAL'05



Solver Time Result
QUANTOR147.32FAIL
QMRes258.59FAIL
QChaffLearn896FAIL
skizzo_v0.5900.3FAIL
yQuaffle900.65FAIL
sSolve900.77FAIL
skizzo_v0.4900.83FAIL
qbfbdd900.86FAIL
openQbf900.9FAIL
GRL900.94FAIL
semprop901FAIL
QbflHR901.01FAIL
WalkQSAT901.01FAIL