Results for instance Qq2k2k3v40v40m32s1
QBFEVAL'06



Solver Time Result
QUANTOR_hc0SAT
preQuantor0SAT
SQBF0SAT
qube4.00SAT
Qbfl0SAT
sKizzo-0.9-grn0SAT
sKizzo-0.9-abs0SAT
QUANTOR0SAT
GRL0.01SAT
qube5.00.01SAT
semprop0.01SAT
qube3.00.01SAT
WalkQSAT0.01SAT
yQuaffle0.01SAT
sKizzo-0.9-std0.01SAT
2clsQ0.02SAT
openQbf0.16SAT
sSolve0.18SAT
ssolve-ut0.21SAT
ssolve+ut0.22SAT
Quaffle511.5FAIL