Results for instance test3_quant_squaring2
QBFEVAL'04



Solver Time Result
QMRes7.19UNSAT
GRL901FAIL
QBFL-JW901FAIL
semprop901FAIL
QBFL-BS901FAIL
orSAT901FAIL
QSAT901.01FAIL
CLearn901.01FAIL
yQuaffle901.01FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
openQbf901.01FAIL
CSBJ901.01FAIL
QUANTOR901.02FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.04FAIL