Results for instance Qq2k1k4v80v80m8s7
QBFEVAL'06



Solver Time Result
GRL0SAT
qube5.00SAT
SQBF0SAT
qube3.00SAT
sKizzo-0.9-grn0SAT
sKizzo-0.9-abs0SAT
sKizzo-0.9-std0SAT
QUANTOR_hc0SAT
QUANTOR0SAT
semprop0SAT
WalkQSAT0.01SAT
preQuantor0.01FAIL
2clsQ0.01SAT
qube4.00.01SAT
yQuaffle0.01SAT
Qbfl0.01SAT
ssolve-ut0.12SAT
openQbf0.16SAT
ssolve+ut0.19SAT
sSolve0.2SAT
Quaffle40.72SAT