Results for instance k_path_p-12
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.01UNSAT
2clsQ0.03UNSAT
SQBF0.03UNSAT
QUANTOR0.03UNSAT
preQuantor0.03UNSAT
ssolve-ut4.19UNSAT
sSolve4.31UNSAT
ssolve+ut4.75UNSAT
sKizzo-0.9-std9.65UNSAT
sKizzo-0.9-abs11.59UNSAT
sKizzo-0.9-grn28.56UNSAT
semprop294.46UNSAT
Quaffle564.54FAIL
Qbfl595.82FAIL
GRL600.71FAIL
WalkQSAT601FAIL
qube5.02629.15FAIL
qube3.02634.5FAIL
qube4.02804.72FAIL
yQuaffle5998.15FAIL
openQbf6000.78FAIL