Results for instance cnt09re
QBFEVAL'04



Solver Time Result
openQbf901FAIL
QMRes901FAIL
QSAT901FAIL
QBFL-JW901FAIL
sSolve901FAIL
yQuaffle901FAIL
orSAT901FAIL
GRL901.01FAIL
QBFL-BS901.01FAIL
CLearn901.01FAIL
WalkQSAT901.01FAIL
semprop901.01FAIL
QUANTOR901.01FAIL
CSBJ901.01FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.04FAIL