Results for instance 3qbf-5cnf-80var-2560cl.7
QBFEVAL'06



Solver Time Result
WalkQSAT0.01UNSAT
2clsQ0.01UNSAT
preQuantor0.02UNSAT
semprop0.02UNSAT
SQBF0.02UNSAT
yQuaffle0.03UNSAT
GRL0.03UNSAT
qube3.00.04UNSAT
qube4.00.06UNSAT
qube5.00.08UNSAT
Quaffle0.08UNSAT
sKizzo-0.9-grn0.13UNSAT
sKizzo-0.9-abs0.13UNSAT
sKizzo-0.9-std0.15UNSAT
ssolve+ut0.19UNSAT
ssolve-ut0.19UNSAT
sSolve0.24UNSAT
openQbf0.44UNSAT
QUANTOR_hc37.13FAIL
QUANTOR37.22FAIL
Qbfl599.71FAIL