Results for instance test4_quant4
QBFEVAL'04



Solver Time Result
QUANTOR28.02FAIL
QMRes529.76FAIL
QSAT901FAIL
semprop901FAIL
QBFL-JW901FAIL
orSAT901FAIL
GRL901.01FAIL
QBFL-BS901.01FAIL
CLearn901.01FAIL
yQuaffle901.01FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
openQbf901.01FAIL
CSBJ901.01FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.03FAIL