Results for instance z4ml.blif_0.10_1.00_0_1_inp_exact
QBFEVAL'05



Solver Time Result
yQuaffle0SAT
WalkQSAT0SAT
sSolve0SAT
semprop0SAT
QUANTOR0SAT
QbflHR0SAT
QChaffLearn0.01SAT
qbfbdd0.01SAT
GRL0.01SAT
QMRes0.02SAT
skizzo_v0.40.03SAT
skizzo_v0.50.05SAT
openQbf0.23SAT