Results for instance szymanski-8-s
QBFEVAL'06



Solver Time Result
WalkQSAT0.27UNSAT
qube3.00.34UNSAT
SQBF0.52UNSAT
2clsQ0.52UNSAT
preQuantor0.55UNSAT
qube4.00.58UNSAT
GRL0.59UNSAT
ssolve-ut0.79UNSAT
qube5.01.06UNSAT
sSolve1.82UNSAT
Qbfl2.5UNSAT
openQbf3.65UNSAT
ssolve+ut4.86UNSAT
sKizzo-0.9-abs30.16UNSAT
sKizzo-0.9-std32.51UNSAT
QUANTOR36.58FAIL
QUANTOR_hc37FAIL
sKizzo-0.9-grn42.64UNSAT
yQuaffle515.19FAIL
Quaffle564.99FAIL
semprop601FAIL