Results for instance Qq2k2k3v40v40m32s4
QBFEVAL'06



Solver Time Result
GRL0SAT
SQBF0SAT
qube4.00SAT
sKizzo-0.9-grn0SAT
sKizzo-0.9-abs0SAT
sKizzo-0.9-std0SAT
yQuaffle0SAT
QUANTOR_hc0SAT
WalkQSAT0SAT
QUANTOR0SAT
qube5.00.01SAT
preQuantor0.01SAT
2clsQ0.01SAT
qube3.00.01SAT
Qbfl0.01SAT
semprop0.01SAT
openQbf0.15SAT
ssolve-ut0.15SAT
sSolve0.2SAT
ssolve+ut0.23SAT
Quaffle508.39FAIL