Results for instance ev-pr-6x6-17-5-0-1-2-s
QBFEVAL'05



Solver Time Result
QChaffLearn2.51FAIL
semprop5.47FAIL
QMRes20.95FAIL
yQuaffle854.36FAIL
QUANTOR899.96FAIL
skizzo_v0.5899.99FAIL
skizzo_v0.4900.08FAIL
GRL900.38FAIL
WalkQSAT900.55FAIL
qbfbdd900.62FAIL
QbflHR900.82FAIL
sSolve900.85FAIL
openQbf900.92FAIL