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



Solver Time Result
QChaffLearn1.6FAIL
QMRes26.25FAIL
skizzo_v0.4231.27FAIL
yQuaffle855.6FAIL
skizzo_v0.5899.3FAIL
QUANTOR900.45FAIL
GRL900.6FAIL
WalkQSAT900.73FAIL
semprop900.75FAIL
qbfbdd900.77FAIL
openQbf900.85FAIL
QbflHR900.9FAIL
sSolve900.91FAIL