Results for instance C499.blif_0.10_0.20_0_1_inp_exact
QBFEVAL'04



Solver Time Result
WalkQSAT1.5FAIL
yQuaffle1.79SAT
QUBE-LRN6.84SAT
QUANTOR14.29FAIL
semprop274.67SAT
GRL901FAIL
QSAT901FAIL
QBFL-JW901FAIL
CSBJ901FAIL
QMRes901FAIL
orSAT901.01FAIL
QBFL-BS901.01FAIL
sSolve901.01FAIL
openQbf901.01FAIL
CLearn901.01FAIL
QUBE-BJ901.04FAIL