Results for instance TOILET10.1.iv.20
QBFEVAL'04



Solver Time Result
CLearn0.01SAT
QBFL-BS0.02SAT
GRL0.02SAT
CSBJ0.02SAT
WalkQSAT0.03SAT
QBFL-JW0.03SAT
QSAT0.12SAT
sSolve0.13SAT
QUANTOR150.75SAT
QMRes293.36SAT
yQuaffle901FAIL
semprop901FAIL
orSAT901FAIL
openQbf901.01FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.03FAIL