Results for instance sortnetsort8.v.stepl.003
QBFEVAL'06



Solver Time Result
WalkQSAT0.19UNSAT
sKizzo-0.9-grn0.29UNSAT
2clsQ0.61UNSAT
SQBF0.62UNSAT
preQuantor0.63UNSAT
QUANTOR1.07UNSAT
QUANTOR_hc1.18UNSAT
GRL9.46UNSAT
ssolve+ut31.01UNSAT
ssolve-ut31.01UNSAT
sSolve31.12UNSAT
sKizzo-0.9-std99.24UNSAT
sKizzo-0.9-abs106.64UNSAT
qube4.0138.07UNSAT
semprop192.18UNSAT
qube3.0249.73UNSAT
qube5.0262.41UNSAT
Qbfl595.13FAIL
yQuaffle1589.67UNSAT
Quaffle6000.13FAIL
openQbf6000.85FAIL