Results for instance test3_quant2
QBFEVAL'04



Solver Time Result
QMRes10.03UNSAT
GRL901FAIL
QSAT901FAIL
QBFL-JW901FAIL
QBFL-BS901FAIL
CLearn901FAIL
yQuaffle901FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
orSAT901.01FAIL
semprop901.01FAIL
openQbf901.01FAIL
CSBJ901.01FAIL
QUANTOR901.03FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.04FAIL