Results for instance BLOCKS4ii.7.2
QBFEVAL'05



Solver Time Result
QUANTOR11.89UNSAT
QChaffLearn102.31FAIL
WalkQSAT102.38FAIL
GRL115.23FAIL
skizzo_v0.4115.47UNSAT
skizzo_v0.5151.81FAIL
yQuaffle173.65UNSAT
QMRes900.43FAIL
openQbf900.9FAIL
QbflHR900.98FAIL
qbfbdd901FAIL
semprop901FAIL
sSolve901FAIL