Results for instance BLOCKS4iii.6
QBFEVAL'06



Solver Time Result
ssolve+ut0.21UNSAT
sKizzo-0.9-grn0.96UNSAT
sSolve2.63UNSAT
QUANTOR_hc3.23UNSAT
QUANTOR3.26UNSAT
2clsQ3.27UNSAT
preQuantor3.27UNSAT
SQBF3.28UNSAT
yQuaffle4.66UNSAT
sKizzo-0.9-abs14.13UNSAT
Quaffle49.64UNSAT
WalkQSAT87.96FAIL
GRL116.77FAIL
sKizzo-0.9-std422.53UNSAT
semprop600.99FAIL
Qbfl5979.96FAIL
ssolve-ut6000.26FAIL
qube4.06000.42FAIL
qube5.06000.59FAIL
qube3.06000.61FAIL
openQbf6000.88FAIL