Results for instance s641_d11_u
QBFEVAL'04



Solver Time Result
sSolve0.03FAIL
openQbf0.29FAIL
WalkQSAT0.29FAIL
semprop0.36FAIL
orSAT0.41FAIL
QMRes16.63FAIL
yQuaffle92.14FAIL
QUBE-LRN129.13FAIL
CLearn901FAIL
QSAT901.01FAIL
QBFL-BS901.01FAIL
GRL901.01FAIL
QUANTOR901.01FAIL
CSBJ901.01FAIL
QBFL-JW901.02FAIL
QUBE-BJ901.04FAIL