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



Solver Time Result
sKizzo-0.9-abs0.09SAT
sKizzo-0.9-std0.09SAT
sKizzo-0.9-grn0.1SAT
preQuantor0.15SAT
SQBF0.15SAT
2clsQ0.15SAT
QUANTOR_hc0.2SAT
QUANTOR0.22SAT
WalkQSAT1.89UNSAT
qube5.012.85SAT
semprop26.45SAT
qube3.043.5SAT
qube4.049.89SAT
GRL124.73UNSAT
ssolve+ut201.06SAT
sSolve201.18SAT
ssolve-ut202.73SAT
Qbfl419.81SAT
yQuaffle446.83SAT
Quaffle5637.87SAT
openQbf6000.94FAIL