Results for instance k_branch_n-8
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.03UNSAT
QUANTOR13.54FAIL
preQuantor20.1FAIL
semprop47.24SAT
sKizzo-0.9-grn120.92FAIL
SQBF170.05FAIL
sKizzo-0.9-std335.56FAIL
qube3.0357.35FAIL
sKizzo-0.9-abs459.38FAIL
Quaffle570.83FAIL
yQuaffle599.58FAIL
GRL600.62FAIL
WalkQSAT600.99FAIL
qube5.0635.06FAIL
qube4.0663.46FAIL
2clsQ5051.96FAIL
Qbfl5984.92FAIL
ssolve+ut6000.27FAIL
ssolve-ut6000.29FAIL
sSolve6000.31FAIL
openQbf6000.94FAIL