Results for instance x10.6
QBFEVAL'06



Solver Time Result
semprop0.01UNSAT
yQuaffle0.01UNSAT
GRL0.02SAT
SQBF0.02UNSAT
qube4.00.02UNSAT
Quaffle0.02UNSAT
Qbfl0.02UNSAT
QUANTOR_hc0.02UNSAT
qube3.00.03UNSAT
QUANTOR0.03UNSAT
preQuantor0.03UNSAT
WalkQSAT0.03FAIL
qube5.00.04UNSAT
2clsQ0.04UNSAT
sKizzo-0.9-grn0.08UNSAT
sKizzo-0.9-std0.08UNSAT
sSolve0.15UNSAT
ssolve-ut0.17UNSAT
ssolve+ut0.23UNSAT
sKizzo-0.9-abs0.24UNSAT
openQbf0.29UNSAT