Results for instance s3330_d13_u
QBFEVAL'04



Solver Time Result
QUBE-BJ1.33FAIL
QUBE-LRN1.36FAIL
WalkQSAT3.8FAIL
QMRes20.82FAIL
semprop48.92FAIL
yQuaffle114.82FAIL
QSAT901FAIL
CLearn901FAIL
QUANTOR901FAIL
openQbf901FAIL
QBFL-JW901.01FAIL
orSAT901.01FAIL
CSBJ901.01FAIL
sSolve901.01FAIL
GRL901.02FAIL
QBFL-BS901.03FAIL