Results for instance s713_d4_s
QBFEVAL'05



Solver Time Result
skizzo_v0.5894.17FAIL
QMRes899.51FAIL
skizzo_v0.4899.99FAIL
sSolve900.25FAIL
yQuaffle900.45FAIL
GRL900.46FAIL
QUANTOR900.63FAIL
QChaffLearn900.65FAIL
qbfbdd900.78FAIL
openQbf900.96FAIL
semprop900.99FAIL
QbflHR900.99FAIL
WalkQSAT901FAIL