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



Solver Time Result
qesto0.04UNSAT
qestos0.04UNSAT
rareqs0.04UNSAT
qsts0.05UNSAT
hiqqer1ldsq0.06UNSAT
hiqqer30.07UNSAT
hiqqer10.07UNSAT
xb-qsts0.29UNSAT
caqe-picosat0.29UNSAT
xb-bid-qsts0.29UNSAT
caqe-minisat0.3UNSAT
iprover-QBF-bloqqer0.32FAIL
depqbf-v20.51UNSAT
AIGSolve0.55UNSAT
ghostq-plain0.57UNSAT
ghostq-cegar0.67UNSAT
iprover-QBF352.16FAIL
depqbf-v1592.62FAIL
squeezebf+struqs599.71FAIL
depqbf-v3599.71FAIL
struqs-10599.71FAIL
aqua-f3v599.87FAIL
aqua-s2v599.89FAIL
aqua-s3o599.91FAIL