Results for instance ncf_16_32_2_d.9
QBFEVAL'06



Solver Time Result
QUANTOR0UNSAT
semprop0UNSAT
QUANTOR_hc0.01UNSAT
2clsQ0.01UNSAT
SQBF0.01UNSAT
WalkQSAT0.01UNSAT
preQuantor0.01UNSAT
qube5.00.02UNSAT
qube4.00.03UNSAT
qube3.00.03UNSAT
GRL0.07SAT
yQuaffle0.08UNSAT
ssolve+ut0.15UNSAT
sSolve0.17UNSAT
ssolve-ut0.21UNSAT
openQbf0.31UNSAT
sKizzo-0.9-grn0.36UNSAT
sKizzo-0.9-abs0.36UNSAT
sKizzo-0.9-std0.39UNSAT
Qbfl112.18UNSAT
Quaffle514.84FAIL