Results for instance Qq3k1k3k1v40v40v40m2s3
QBFEVAL'06



Solver Time Result
QUANTOR_hc0SAT
sKizzo-0.9-std0SAT
Qbfl0SAT
WalkQSAT0SAT
semprop0FAIL
SQBF0.01SAT
preQuantor0.01SAT
qube4.00.01SAT
qube3.00.01SAT
qube5.00.01SAT
Quaffle0.01SAT
2clsQ0.01SAT
sKizzo-0.9-grn0.01SAT
sKizzo-0.9-abs0.01SAT
QUANTOR0.01SAT
GRL0.01SAT
yQuaffle0.02SAT
openQbf0.14SAT
sSolve0.16SAT
ssolve+ut0.17SAT
ssolve-ut0.19SAT