Results for instance k_path_p-2
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
struqs-100UNSAT
rareqs0UNSAT
qestos0UNSAT
qesto0UNSAT
aqua-s3o0UNSAT
aqua-s2v0UNSAT
aqua-f3v0UNSAT
squeezebf+struqs0.01UNSAT
qsts0.01UNSAT
depqbf-v30.01UNSAT
AIGSolve0.01UNSAT
depqbf-v10.02UNSAT
xb-bid-qsts0.02UNSAT
caqe-minisat0.02UNSAT
xb-qsts0.02UNSAT
hiqqer1ldsq0.02UNSAT
caqe-picosat0.02UNSAT
hiqqer10.03UNSAT
hiqqer30.03UNSAT
iprover-QBF-bloqqer0.05FAIL
depqbf-v20.06UNSAT
ghostq-plain0.08UNSAT
ghostq-cegar0.09UNSAT
iprover-QBF0.37UNSAT