Results for instance x220.7
QBFEVAL'06



Solver Time Result
semprop0.13SAT
qube3.051.76UNSAT
QUANTOR97.35FAIL
QUANTOR_hc98.15FAIL
preQuantor144.38FAIL
qube5.0431.81UNSAT
qube4.0434.41UNSAT
Quaffle595.65FAIL
yQuaffle597.08FAIL
WalkQSAT600.9FAIL
GRL600.91FAIL
Qbfl6000.19FAIL
ssolve-ut6000.25FAIL
ssolve+ut6000.29FAIL
sSolve6000.35FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-grn6000.74FAIL
sKizzo-0.9-std6000.75FAIL
openQbf6000.92FAIL
sKizzo-0.9-abs6000.94FAIL