Results for instance sortnetsort9.v.stepl.005
QBFEVAL'06



Solver Time Result
WalkQSAT10.46UNSAT
sKizzo-0.9-grn19.09UNSAT
QUANTOR33.04UNSAT
QUANTOR_hc33.65UNSAT
sKizzo-0.9-abs84.77FAIL
sKizzo-0.9-std87.74FAIL
2clsQ129.78UNSAT
preQuantor129.82UNSAT
SQBF129.85UNSAT
Qbfl597.52FAIL
yQuaffle598.02FAIL
GRL600.68FAIL
semprop601FAIL
qube4.05997.41FAIL
qube3.05998.89FAIL
qube5.05999.4FAIL
Quaffle5999.86FAIL
sSolve6000.24FAIL
ssolve-ut6000.25FAIL
ssolve+ut6000.27FAIL
openQbf6000.91FAIL