Results for instance Qq2k2k3v40v40m32s3
QBFEVAL'06



Solver Time Result
QUANTOR_hc0SAT
sKizzo-0.9-grn0SAT
Qbfl0SAT
yQuaffle0SAT
WalkQSAT0SAT
qube4.00SAT
semprop0SAT
2clsQ0SAT
preQuantor0SAT
sKizzo-0.9-std0SAT
sKizzo-0.9-abs0.01SAT
GRL0.01SAT
QUANTOR0.01SAT
qube3.00.02SAT
SQBF0.02SAT
qube5.00.02SAT
ssolve+ut0.12SAT
openQbf0.17SAT
sSolve0.19SAT
ssolve-ut0.29SAT
Quaffle506.92FAIL