Results for instance CHAIN16v.17
QBFEVAL'04



Solver Time Result
QUANTOR0.01SAT
semprop0.03SAT
sSolve0.62SAT
QMRes0.7SAT
QSAT1.26SAT
CLearn2.98SAT
CSBJ3.01SAT
QBFL-BS13.32SAT
WalkQSAT17.43SAT
QBFL-JW23.84SAT
QUBE-BJ34.61SAT
openQbf43.02SAT
yQuaffle68.03SAT
QUBE-LRN88.85SAT
GRL697.27SAT
orSAT901FAIL