Results for instance sortnetsort5.AE.stepl.003
QBFEVAL'06



Solver Time Result
yQuaffle0.05SAT
qube3.00.08SAT
qube5.00.09SAT
qube4.00.1SAT
GRL1.16SAT
WalkQSAT5.09SAT
sKizzo-0.9-abs8.14SAT
sSolve12.46SAT
ssolve-ut12.51SAT
ssolve+ut24.61SAT
QUANTOR55.23FAIL
QUANTOR_hc55.97FAIL
semprop58.56SAT
preQuantor76.17FAIL
2clsQ77.59SAT
Quaffle529.98FAIL
Qbfl599.44FAIL
openQbf664.62SAT
SQBF685.97FAIL
sKizzo-0.9-std724.49SAT
sKizzo-0.9-grn2183.04UNSAT