Results for instance Qq3k2k2k1v80v80v80m2s8
QBFEVAL'06



Solver Time Result
GRL0SAT
SQBF0SAT
Quaffle0SAT
Qbfl0SAT
sKizzo-0.9-grn0SAT
sKizzo-0.9-abs0SAT
sKizzo-0.9-std0SAT
yQuaffle0SAT
QUANTOR0SAT
QUANTOR_hc0.01SAT
WalkQSAT0.01SAT
preQuantor0.01FAIL
semprop0.01FAIL
2clsQ0.01SAT
qube5.00.02SAT
qube4.00.02SAT
qube3.00.02SAT
ssolve-ut0.13SAT
openQbf0.15SAT
ssolve+ut0.17SAT
sSolve0.22SAT