Results for instance Qq3k2k2k1v40v40v40m16s0
QBFEVAL'06



Solver Time Result
GRL0SAT
qube5.00SAT
SQBF0SAT
2clsQ0SAT
qube4.00SAT
Qbfl0SAT
sKizzo-0.9-abs0SAT
QUANTOR_hc0SAT
yQuaffle0SAT
sKizzo-0.9-std0.01SAT
sKizzo-0.9-grn0.01SAT
WalkQSAT0.01SAT
semprop0.01SAT
preQuantor0.02SAT
QUANTOR0.02SAT
qube3.00.02SAT
sSolve0.11SAT
ssolve-ut0.15SAT
openQbf0.18SAT
ssolve+ut0.26SAT
Quaffle508.12FAIL