Results for instance ev-pr-8x8-17-7-0-1-2-lg
QBFEVAL'05



Solver Time Result
WalkQSAT68.28FAIL
QUANTOR191.45FAIL
skizzo_v0.4369.92FAIL
skizzo_v0.5415.7FAIL
yQuaffle848.91FAIL
QChaffLearn888.08FAIL
qbfbdd900.31FAIL
QMRes900.33FAIL
GRL900.74FAIL
openQbf900.9FAIL
semprop900.92FAIL
QbflHR900.98FAIL
sSolve900.99FAIL