Results for instance test2_quant_squaring2
QBFEVAL'04



Solver Time Result
QUANTOR16.58FAIL
yQuaffle409.55FAIL
QUBE-LRN806.7FAIL
QSAT901FAIL
sSolve901FAIL
QBFL-BS901FAIL
CSBJ901.01FAIL
QBFL-JW901.01FAIL
orSAT901.01FAIL
CLearn901.01FAIL
WalkQSAT901.01FAIL
semprop901.01FAIL
openQbf901.01FAIL
GRL901.02FAIL
QMRes901.03FAIL
QUBE-BJ901.03FAIL