Results for instance BLOCKS4i.6.4
QBFEVAL'06



Solver Time Result
ssolve+ut0.32UNSAT
sSolve0.93UNSAT
sKizzo-0.9-grn1.68UNSAT
preQuantor4.32UNSAT
2clsQ4.36UNSAT
SQBF4.41UNSAT
QUANTOR6.63UNSAT
QUANTOR_hc6.7UNSAT
sKizzo-0.9-abs13.69UNSAT
WalkQSAT70.98FAIL
GRL83.85FAIL
Quaffle143.9UNSAT
yQuaffle597.89FAIL
Qbfl599.17FAIL
semprop601FAIL
sKizzo-0.9-std716.19UNSAT
ssolve-ut6000.29FAIL
qube4.06000.59FAIL
qube3.06000.62FAIL
qube5.06000.7FAIL
openQbf6000.92FAIL