Results for instance s713_d8_u
QBFEVAL'04



Solver Time Result
WalkQSAT0.18FAIL
QMRes18.54FAIL
yQuaffle91.08FAIL
QUBE-LRN144.12FAIL
orSAT901FAIL
QBFL-BS901FAIL
sSolve901FAIL
QBFL-JW901FAIL
QSAT901.01FAIL
GRL901.01FAIL
CLearn901.01FAIL
semprop901.01FAIL
QUANTOR901.01FAIL
openQbf901.01FAIL
CSBJ901.01FAIL
QUBE-BJ901.03FAIL