Results for instance test1_quant2
QBFEVAL'04



Solver Time Result
QUANTOR11.79FAIL
CSBJ901FAIL
QBFL-JW901FAIL
QBFL-BS901FAIL
orSAT901FAIL
CLearn901FAIL
yQuaffle901FAIL
semprop901FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
openQbf901.01FAIL
QSAT901.01FAIL
GRL901.01FAIL
QMRes901.02FAIL
QUBE-LRN901.03FAIL
QUBE-BJ901.04FAIL