Results for instance Qq3k1k3k1v40v40v40m2s8
QBFEVAL'06



Solver Time Result
GRL0SAT
sKizzo-0.9-std0SAT
Quaffle0SAT
2clsQ0SAT
yQuaffle0SAT
semprop0FAIL
QUANTOR0SAT
qube5.00SAT
sKizzo-0.9-grn0SAT
SQBF0.01SAT
preQuantor0.01FAIL
Qbfl0.01SAT
sKizzo-0.9-abs0.01SAT
WalkQSAT0.01SAT
QUANTOR_hc0.01SAT
qube3.00.02SAT
qube4.00.02SAT
sSolve0.14SAT
ssolve+ut0.16SAT
openQbf0.16SAT
ssolve-ut0.2SAT