Results for instance s1269_d9_s
QBFEVAL'04



Solver Time Result
WalkQSAT0.46FAIL
semprop0.6FAIL
QMRes18.17FAIL
yQuaffle115.85FAIL
QUBE-LRN151.6FAIL
GRL901FAIL
QUANTOR901FAIL
QSAT901.01FAIL
QBFL-JW901.01FAIL
orSAT901.01FAIL
CLearn901.01FAIL
sSolve901.01FAIL
openQbf901.01FAIL
CSBJ901.01FAIL
QBFL-BS901.02FAIL
QUBE-BJ901.03FAIL