Results for instance BLOCKS4ii.7.2
QBFEVAL'06



Solver Time Result
sKizzo-0.9-grn1.82UNSAT
ssolve+ut4.74UNSAT
SQBF7.01UNSAT
2clsQ7.01UNSAT
preQuantor7.03UNSAT
QUANTOR7.42UNSAT
QUANTOR_hc7.47UNSAT
sKizzo-0.9-abs11.47UNSAT
sSolve19.93UNSAT
WalkQSAT102.56FAIL
GRL115.59FAIL
yQuaffle175.03UNSAT
semprop601FAIL
Quaffle960.96UNSAT
sKizzo-0.9-std4822.95UNSAT
Qbfl5981.8FAIL
ssolve-ut6000.34FAIL
qube5.06000.35FAIL
qube3.06000.61FAIL
qube4.06000.74FAIL
openQbf6000.88FAIL