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



Solver Time Result
QSAT0SAT
yQuaffle0SAT
GRL0.01SAT
QBFL-BS0.01SAT
orSAT0.01SAT
CLearn0.01SAT
WalkQSAT0.01SAT
sSolve0.01SAT
semprop0.01SAT
QUANTOR0.01SAT
CSBJ0.01SAT
QMRes0.02SAT
QBFL-JW0.02SAT
openQbf0.19SAT
QUBE-BJ0.97SAT
QUBE-LRN0.98SAT