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



Solver Time Result
QChaffLearn1.33FAIL
QMRes21.6FAIL
skizzo_v0.4156.31FAIL
yQuaffle859.08FAIL
skizzo_v0.5899.13FAIL
QUANTOR900.52FAIL
GRL900.66FAIL
qbfbdd900.7FAIL
semprop900.78FAIL
WalkQSAT900.79FAIL
sSolve900.89FAIL
openQbf900.92FAIL
QbflHR900.94FAIL