Results for instance szymanski-18-s
QBFEVAL'04



Solver Time Result
WalkQSAT0.53FAIL
QMRes3.91FAIL
QUANTOR10.62FAIL
CSBJ12.98UNSAT
CLearn13.07UNSAT
QUBE-LRN13.82UNSAT
QUBE-BJ13.89UNSAT
GRL28.29UNSAT
sSolve50.52UNSAT
QBFL-JW77.74UNSAT
openQbf118.67UNSAT
orSAT901FAIL
QSAT901FAIL
yQuaffle901FAIL
semprop901FAIL
QBFL-BS901.02FAIL