Results for instance 3qbf-5cnf-20var-320cl.9
QBFEVAL'06



Solver Time Result
WalkQSAT0UNSAT
qube5.00.01UNSAT
semprop0.01UNSAT
GRL0.02UNSAT
yQuaffle0.02UNSAT
qube3.00.03UNSAT
qube4.00.04UNSAT
Quaffle0.04UNSAT
sKizzo-0.9-grn0.05UNSAT
ssolve-ut0.16UNSAT
sSolve0.24UNSAT
openQbf0.27UNSAT
ssolve+ut0.29UNSAT
Qbfl0.39UNSAT
sKizzo-0.9-abs8.07UNSAT
sKizzo-0.9-std8.12UNSAT
QUANTOR36.7FAIL
QUANTOR_hc37.53FAIL
SQBF47.5UNSAT
2clsQ47.57UNSAT
preQuantor47.61UNSAT