Results for instance ev-pr-4x4-5-3-0-0-1-lg
QBFEVAL'05



Solver Time Result
WalkQSAT0.14SAT
QChaffLearn0.15SAT
QbflHR0.18SAT
GRL0.21SAT
yQuaffle0.35SAT
semprop0.46SAT
sSolve0.46SAT
skizzo_v0.40.69SAT
openQbf2.12SAT
QUANTOR4.02SAT
qbfbdd17.33SAT
skizzo_v0.555.57SAT
QMRes900.95FAIL