Results for instance x20.4
QBFEVAL'06



Solver Time Result
semprop0.02UNSAT
qube3.00.04UNSAT
qube5.00.05UNSAT
qube4.00.05UNSAT
yQuaffle0.07UNSAT
GRL0.08SAT
sSolve0.18UNSAT
ssolve+ut0.19UNSAT
ssolve-ut0.27UNSAT
WalkQSAT0.39UNSAT
preQuantor0.54UNSAT
2clsQ0.54UNSAT
SQBF0.55UNSAT
Qbfl0.67UNSAT
QUANTOR0.75UNSAT
QUANTOR_hc0.78UNSAT
sKizzo-0.9-abs1.64UNSAT
openQbf1.85UNSAT
sKizzo-0.9-grn25.53UNSAT
sKizzo-0.9-std34.38UNSAT
Quaffle180.88UNSAT