Results for instance s713_d4_s
QBFEVAL'04



Solver Time Result
WalkQSAT0.07FAIL
yQuaffle118.33FAIL
QUBE-LRN204.62FAIL
CLearn901FAIL
QBFL-JW901FAIL
sSolve901FAIL
QSAT901.01FAIL
orSAT901.01FAIL
CSBJ901.01FAIL
semprop901.01FAIL
QUANTOR901.01FAIL
openQbf901.01FAIL
QBFL-BS901.02FAIL
QMRes901.02FAIL
QUBE-BJ901.03FAIL
GRL901.03FAIL