Results for instance s27_d4_u
QBFEVAL'05



Solver Time Result
QUANTOR0.1UNSAT
skizzo_v0.50.21UNSAT
skizzo_v0.40.37UNSAT
QMRes1.52UNSAT
semprop38.91UNSAT
QChaffLearn891.87FAIL
sSolve900.25FAIL
yQuaffle900.6FAIL
qbfbdd900.82FAIL
openQbf900.87FAIL
GRL900.93FAIL
WalkQSAT901FAIL
QbflHR901.01FAIL