Results for instance test1_quant2
QBFEVAL'05



Solver Time Result
QUANTOR15.86FAIL
QChaffLearn898.99FAIL
QMRes900.26FAIL
yQuaffle900.57FAIL
skizzo_v0.5900.61FAIL
skizzo_v0.4900.62FAIL
GRL900.77FAIL
qbfbdd900.83FAIL
sSolve900.84FAIL
openQbf900.9FAIL
QbflHR901FAIL
semprop901FAIL
WalkQSAT901FAIL