Results for instance x20.1
QBFEVAL'06



Solver Time Result
qube4.00.05UNSAT
semprop0.06UNSAT
qube3.00.08UNSAT
qube5.00.08UNSAT
yQuaffle0.1UNSAT
ssolve-ut0.42UNSAT
sSolve0.44UNSAT
ssolve+ut0.5UNSAT
2clsQ0.96UNSAT
preQuantor0.97UNSAT
SQBF0.99UNSAT
QUANTOR0.99UNSAT
QUANTOR_hc0.99UNSAT
Qbfl1.13UNSAT
WalkQSAT1.15UNSAT
sKizzo-0.9-abs1.54UNSAT
GRL1.65SAT
openQbf3.54UNSAT
sKizzo-0.9-grn80.89UNSAT
sKizzo-0.9-std92.67UNSAT
Quaffle151.01UNSAT