Results for instance Qq2k2k3v40v40m32s2
QBFEVAL'06



Solver Time Result
GRL0SAT
qube5.00SAT
preQuantor0FAIL
2clsQ0SAT
Qbfl0SAT
QUANTOR_hc0SAT
sKizzo-0.9-std0SAT
QUANTOR0SAT
yQuaffle0SAT
semprop0SAT
sKizzo-0.9-abs0.01SAT
qube3.00.01SAT
sKizzo-0.9-grn0.01SAT
WalkQSAT0.01SAT
qube4.00.02SAT
SQBF0.02SAT
sSolve0.1SAT
openQbf0.16SAT
ssolve+ut0.17SAT
ssolve-ut0.17SAT
Quaffle505.86FAIL