Results for instance s499_d14_s
QBFEVAL'04



Solver Time Result
QBFL-JW0.01FAIL
WalkQSAT0.17FAIL
QMRes20.74FAIL
yQuaffle120.36FAIL
QUBE-LRN211.48FAIL
CLearn901FAIL
QSAT901FAIL
semprop901FAIL
openQbf901FAIL
orSAT901FAIL
QBFL-BS901.01FAIL
GRL901.01FAIL
sSolve901.01FAIL
QUANTOR901.01FAIL
CSBJ901.01FAIL
QUBE-BJ901.03FAIL