Results for instance Qq2k3k2v80v80m4s6
QBFEVAL'06



Solver Time Result
GRL0SAT
qube5.00SAT
2clsQ0SAT
qube4.00SAT
Qbfl0SAT
sKizzo-0.9-grn0SAT
sKizzo-0.9-abs0SAT
QUANTOR_hc0SAT
yQuaffle0SAT
WalkQSAT0SAT
QUANTOR0SAT
semprop0SAT
sKizzo-0.9-std0.01SAT
SQBF0.01SAT
preQuantor0.02SAT
qube3.00.02SAT
openQbf0.14SAT
ssolve-ut0.14SAT
ssolve+ut0.16SAT
sSolve0.17SAT
Quaffle508.26FAIL