Results for instance BLOCKS4iii.6
QBFEVAL'05



Solver Time Result
skizzo_v0.40.98UNSAT
QUANTOR3.13UNSAT
yQuaffle4.41UNSAT
skizzo_v0.58.61UNSAT
WalkQSAT87.79FAIL
QChaffLearn88.25FAIL
GRL116.49FAIL
openQbf900.91FAIL
QMRes900.91FAIL
QbflHR900.99FAIL
semprop901FAIL
qbfbdd901FAIL
sSolve901.01FAIL