Results for instance lut4_XOR_f1
QBFEVAL'05



Solver Time Result
sSolve0SAT
skizzo_v0.40SAT
semprop0.01SAT
QUANTOR0.02SAT
yQuaffle0.03SAT
skizzo_v0.50.05SAT
QChaffLearn0.06UNSAT
openQbf1.08SAT
GRL2.79SAT
WalkQSAT15.52FAIL
QbflHR15.97SAT
QMRes65.62SAT
qbfbdd900.8FAIL