Results for instance x10.8
QBFEVAL'06



Solver Time Result
semprop0UNSAT
yQuaffle0UNSAT
preQuantor0.01FAIL
qube4.00.01UNSAT
qube3.00.01UNSAT
Quaffle0.01UNSAT
GRL0.02SAT
QUANTOR_hc0.02UNSAT
qube5.00.03UNSAT
Qbfl0.03UNSAT
WalkQSAT0.03FAIL
SQBF0.03UNSAT
QUANTOR0.03UNSAT
2clsQ0.04UNSAT
sKizzo-0.9-grn0.05UNSAT
sKizzo-0.9-std0.06UNSAT
ssolve+ut0.1UNSAT
sSolve0.12UNSAT
sKizzo-0.9-abs0.2UNSAT
ssolve-ut0.22UNSAT
openQbf0.27UNSAT