Results for instance BLOCKS4i.6.4
QBFEVAL'05



Solver Time Result
QUANTOR6.31UNSAT
skizzo_v0.49.36FAIL
QChaffLearn69.83FAIL
WalkQSAT70.84FAIL
GRL83.7FAIL
skizzo_v0.5118FAIL
yQuaffle897.64FAIL
QMRes900.73FAIL
openQbf900.93FAIL
semprop900.99FAIL
qbfbdd900.99FAIL
sSolve901FAIL
QbflHR901.01FAIL