Results for instance Qq3k1k1k3v40v40v40m32s9
QBFEVAL'06



Solver Time Result
QUANTOR_hc0SAT
preQuantor0SAT
Quaffle0SAT
Qbfl0SAT
sKizzo-0.9-grn0SAT
sKizzo-0.9-abs0SAT
QUANTOR0SAT
WalkQSAT0SAT
semprop0SAT
2clsQ0.01SAT
qube3.00.01SAT
GRL0.01SAT
sKizzo-0.9-std0.01SAT
SQBF0.02SAT
yQuaffle0.02SAT
qube4.00.03SAT
qube5.00.03SAT
ssolve-ut0.13SAT
openQbf0.14SAT
ssolve+ut0.19SAT
sSolve0.23SAT