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



Solver Time Result
WalkQSAT0UNSAT
qube3.00.01UNSAT
qube4.00.01UNSAT
yQuaffle0.01UNSAT
qube5.00.02UNSAT
semprop0.02UNSAT
GRL0.03UNSAT
Quaffle0.08UNSAT
sKizzo-0.9-grn0.09UNSAT
ssolve-ut0.19UNSAT
sSolve0.26UNSAT
ssolve+ut0.31UNSAT
openQbf0.89UNSAT
Qbfl2.29UNSAT
sKizzo-0.9-std8.16UNSAT
sKizzo-0.9-abs8.24UNSAT
QUANTOR12.89UNSAT
QUANTOR_hc13.19UNSAT
preQuantor211.17UNSAT
SQBF211.54UNSAT
2clsQ211.55UNSAT