Results for instance k_lin_n-7
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts0.11SAT
rareqs0.14SAT
qesto0.14SAT
qestos0.14SAT
hiqqer1ldsq0.17SAT
hiqqer30.18SAT
hiqqer10.18SAT
aqua-f3v0.2SAT
aqua-s3o0.21SAT
aqua-s2v0.22SAT
xb-bid-qsts0.43SAT
xb-qsts0.43SAT
caqe-minisat0.44SAT
caqe-picosat0.46SAT
iprover-QBF-bloqqer0.48SAT
depqbf-v30.58SAT
depqbf-v20.81SAT
ghostq-plain1.41SAT
depqbf-v11.51SAT
AIGSolve7.03SAT
ghostq-cegar57.19SAT
iprover-QBF395.16SAT
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL