Results for instance s641_d2_s
QBFEVAL'04



Solver Time Result
sSolve0.02FAIL
WalkQSAT0.03FAIL
orSAT0.03FAIL
openQbf0.22FAIL
QMRes0.39FAIL
yQuaffle282.31FAIL
QUANTOR350.81SAT
QUBE-LRN452.49FAIL
QBFL-JW901FAIL
semprop901FAIL
QSAT901.01FAIL
CSBJ901.01FAIL
CLearn901.01FAIL
QBFL-BS901.02FAIL
GRL901.02FAIL
QUBE-BJ901.03FAIL